Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2876 Publications


2012 | Conference Paper | IST-REx-ID: 3135 | OA
Brázdil, Brázdil, Krishnendu Chatterjee, Antonín Kučera, and Petr Novotny. “Efficient Controller Synthesis for Consumption Games with Multiple Resource Types,” 7358:23–38. Springer, 2012. https://doi.org/10.1007/978-3-642-31424-7_8.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3136
Guet, Calin C, Ashutosh Gupta, Thomas A Henzinger, Maria Mateescu, and Ali Sezgin. “Delayed Continuous Time Markov Chains for Genetic Regulatory Circuits,” 7358:294–309. Springer, 2012. https://doi.org/10.1007/978-3-642-31424-7_24.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3155 | OA
Delahaye, Benoît, Uli Fahrenberg, Thomas A Henzinger, Axel Legay, and Dejan Nickovic. “Synchronous Interface Theories and Time Triggered Scheduling,” 7273:203–18. Springer, 2012. https://doi.org/10.1007/978-3-642-30793-5_13.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3156
Ugelvig, Line V, Anne Andersen, Jacobus Boomsma, and David Nash. “Dispersal and Gene Flow in the Rare Parasitic Large Blue Butterfly Maculinea Arion.” Molecular Ecology 21, no. 13 (2012): 3224–36. https://doi.org/10.1111/j.1365-294X.2012.05592.x.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3157 | OA
Diaz Jr, Luis, Richard Williams, Jian Wu, Isaac Kinde, Joel Hecht, Jordan Berlin, Benjamin Allen, et al. “The Molecular Evolution of Acquired Resistance to Targeted EGFR Blockade in Colorectal Cancers.” Nature 486, no. 7404 (2012): 537–40. https://doi.org/10.1038/nature11219.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3158 | OA
Schachtner, Hannah, Ang Li, David Stevenson, Simon Calaminus, Steven Thomas, Steve Watson, Michael K Sixt, Roland Wedlich Söldner, Douglas Strathdee, and Laura Machesky. “Tissue Inducible Lifeact Expression Allows Visualization of Actin Dynamics in Vivo and Ex Vivo.” European Journal of Cell Biology 91, no. 11–12 (2012): 923–29. https://doi.org/10.1016/j.ejcb.2012.04.002.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3159 | OA
Mileyko, Yuriy, Herbert Edelsbrunner, Charles Price, and Joshua Weitz. “Hierarchical Ordering of Reticular Networks.” PLoS One 7, no. 6 (2012). https://doi.org/10.1371/journal.pone.0036715.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 6588 | OA
Pausinger, Florian. “Elementary Solutions of the Bernstein Problem on Two Intervals.” Journal of Mathematical Physics, Analysis, Geometry 8, no. 1 (2012): 63–78.
View | Download Published Version (ext.) | WoS
 

2012 | Conference Paper | IST-REx-ID: 1384 | OA
Beyer, Dirk, Thomas A Henzinger, Mehmet Keremoglu, and Philipp Wendler. “Conditional Model Checking: A Technique to Pass Information between Verifiers.” In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM, 2012. https://doi.org/10.1145/2393596.2393664.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3160
Pantazis, Periklis, and Tobias Bollenbach. “Transcription Factor Kinetics and the Emerging Asymmetry in the Early Mammalian Embryo.” Cell Cycle 11, no. 11 (2012): 2055–58. https://doi.org/10.4161/cc.20118.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3161 | OA
Vyleta, Meghan, John Wong, and Bruce Magun. “Suppression of Ribosomal Function Triggers Innate Immune Signaling through Activation of the NLRP3 Inflammasome.” PLoS One 7, no. 5 (2012). https://doi.org/10.1371/journal.pone.0036044.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3162 | OA
Asarin, Eugene, Alexandre Donzé, Oded Maler, and Dejan Nickovic. “Parametric Identification of Temporal Properties,” 7186:147–60. Springer, 2012. https://doi.org/10.1007/978-3-642-29860-8_12.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3164
Blaschko, Matthew, and Christoph Lampert. “Guest Editorial: Special Issue on Structured Prediction and Inference.” International Journal of Computer Vision 99, no. 3 (2012): 257–58. https://doi.org/10.1007/s11263-012-0530-y.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3165
Chatterjee, Krishnendu, and Monika Henzinger. “An O(N2) Time Algorithm for Alternating Büchi Games.” In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, 1386–99. SIAM, 2012. https://doi.org/10.1137/1.9781611973099.109.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3166 | OA
Vladar, Harold de. “Amino Acid Fermentation at the Origin of the Genetic Code.” Biology Direct 7 (2012). https://doi.org/10.1186/1745-6150-7-6.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3167
Weber, Michele. “NextGen Speaks 13 .” Science 336, no. 6077 (2012): 32–34. https://doi.org/10.1126/science.336.6077.32.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3168
Feret, Jérôme, Thomas A Henzinger, Heinz Koeppl, and Tatjana Petrov. “Lumpability Abstractions of Rule Based Systems.” Theoretical Computer Science 431 (2012): 137–64. https://doi.org/10.1016/j.tcs.2011.12.059.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3242 | OA
Konrad, Matthias, Meghan Vyleta, Fabian Theis, Miriam Stock, Simon Tragust, Martina Klatt, Verena Drescher, Carsten Marr, Line V Ugelvig, and Sylvia Cremer. “Social Transfer of Pathogenic Fungus Promotes Active Immunisation in Ant Colonies.” PLoS Biology 10, no. 4 (2012). https://doi.org/10.1371/journal.pbio.1001300.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3243
Danowski, Patrick. “Zwischen Technologie und Information.” Büchereiperspektiven 1/2012 (2012): 11.
View | Download None (ext.)
 

2012 | Journal Article | IST-REx-ID: 3244
Danowski, Patrick. “Die Zeit des Abwartens ist vorbei!” BuB – Forum Bibliothek und Information 64, no. 4 (2012): 284.
View | Download None (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications