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.

2860 Publications


2012 | Conference Paper | IST-REx-ID: 3136
Guet, C. C., Gupta, A., Henzinger, T. A., Mateescu, M., & Sezgin, A. (2012). Delayed continuous time Markov chains for genetic regulatory circuits (Vol. 7358, pp. 294–309). Presented at the CAV: Computer Aided Verification, Berkeley, CA, USA: Springer. https://doi.org/10.1007/978-3-642-31424-7_24
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3155 | OA
Delahaye, B., Fahrenberg, U., Henzinger, T. A., Legay, A., & Nickovic, D. (2012). Synchronous interface theories and time triggered scheduling (Vol. 7273, pp. 203–218). Presented at the FORTE: Formal Techniques for Networked and Distributed Systems & FMOODS: Formal Methods for Open Object-Based Distributed Systems , Stockholm, Sweden: Springer. https://doi.org/10.1007/978-3-642-30793-5_13
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3156
Ugelvig, L. V., Andersen, A., Boomsma, J., & Nash, D. (2012). Dispersal and gene flow in the rare parasitic Large Blue butterfly Maculinea arion. Molecular Ecology, 21(13), 3224–3236. https://doi.org/10.1111/j.1365-294X.2012.05592.x
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3157 | OA
Diaz Jr, L., Williams, R., Wu, J., Kinde, I., Hecht, J., Berlin, J., … Vogelstein, B. (2012). The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers. Nature, 486(7404), 537–540. 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, H., Li, A., Stevenson, D., Calaminus, S., Thomas, S., Watson, S., … Machesky, L. (2012). Tissue inducible Lifeact expression allows visualization of actin dynamics in vivo and ex vivo. European Journal of Cell Biology, 91(11–12), 923–929. 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, Y., Edelsbrunner, H., Price, C., & Weitz, J. (2012). Hierarchical ordering of reticular networks. PLoS One, 7(6). https://doi.org/10.1371/journal.pone.0036715
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 6588 | OA
Pausinger, F. (2012). Elementary solutions of the Bernstein problem on two intervals. Journal of Mathematical Physics, Analysis, Geometry, 8(1), 63–78.
View | Download Published Version (ext.) | WoS
 

2012 | Conference Paper | IST-REx-ID: 1384 | OA
Beyer, D., Henzinger, T. A., Keremoglu, M., & Wendler, P. (2012). 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. Cary, NC, USA: ACM. https://doi.org/10.1145/2393596.2393664
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3160
Pantazis, P., & Bollenbach, T. (2012). Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo. Cell Cycle, 11(11), 2055–2058. https://doi.org/10.4161/cc.20118
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3161 | OA
Vyleta, M., Wong, J., & Magun, B. (2012). Suppression of ribosomal function triggers innate immune signaling through activation of the NLRP3 inflammasome. PLoS One, 7(5). https://doi.org/10.1371/journal.pone.0036044
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3162 | OA
Asarin, E., Donzé, A., Maler, O., & Nickovic, D. (2012). Parametric identification of temporal properties (Vol. 7186, pp. 147–160). Presented at the RV: Runtime Verification, San Francisco, CA, United States: Springer. https://doi.org/10.1007/978-3-642-29860-8_12
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3164
Blaschko, M., & Lampert, C. (2012). Guest editorial: Special issue on structured prediction and inference. International Journal of Computer Vision, 99(3), 257–258. https://doi.org/10.1007/s11263-012-0530-y
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3165
Chatterjee, K., & Henzinger, M. (2012). An O(n2) time algorithm for alternating Büchi games. In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 1386–1399). Kyoto, Japan: SIAM. https://doi.org/10.1137/1.9781611973099.109
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3166 | OA
de Vladar, H. (2012). Amino acid fermentation at the origin of the genetic code. Biology Direct, 7. https://doi.org/10.1186/1745-6150-7-6
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3167
Weber, M. (2012). NextGen speaks 13 . Science, 336(6077), 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., Henzinger, T. A., Koeppl, H., & Petrov, T. (2012). Lumpability abstractions of rule based systems. Theoretical Computer Science, 431, 137–164. https://doi.org/10.1016/j.tcs.2011.12.059
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3242 | OA
Konrad, M., Vyleta, M., Theis, F., Stock, M., Tragust, S., Klatt, M., … Cremer, S. (2012). Social transfer of pathogenic fungus promotes active immunisation in ant colonies. PLoS Biology, 10(4). https://doi.org/10.1371/journal.pbio.1001300
View | Files available | DOI
 

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

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

2012 | Journal Article | IST-REx-ID: 3245
Behrndt, M., & Heisenberg, C.-P. J. (2012). Spurred by resistance mechanosensation in collective migration. Developmental Cell, 22(1), 3–4. https://doi.org/10.1016/j.devcel.2011.12.018
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications