Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2984 Publications
2012 | Conference Paper | IST-REx-ID: 3155 | 
Delahaye B, Fahrenberg U, Henzinger TA, Legay A, Nickovic D. 2012. Synchronous interface theories and time triggered scheduling. FORTE: Formal Techniques for Networked and Distributed Systems & FMOODS: Formal Methods for Open Object-Based Distributed Systems , LNCS, vol. 7273, 203–218.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3157 |
Diaz Jr L, Williams R, Wu J, Kinde I, Hecht J, Berlin J, Allen B, Božić I, Reiter J, Nowak M, Kinzler K, Oliner K, Vogelstein B. 2012. The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers. Nature. 486(7404), 537–540.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 3158 |
Schachtner H, Li A, Stevenson D, Calaminus S, Thomas S, Watson S, Sixt MK, Wedlich Söldner R, Strathdee D, 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.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 3159 |
Mileyko Y, Edelsbrunner H, Price C, Weitz J. 2012. Hierarchical ordering of reticular networks. PLoS One. 7(6), e36715.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3161 |
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), e36044.
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3162 |
Asarin E, Donzé A, Maler O, Nickovic D. 2012. Parametric identification of temporal properties. RV: Runtime Verification, LNCS, vol. 7186, 147–160.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3130 |
Bergmiller T, Ackermann M, Silander O. 2012. Patterns of evolutionary conservation of essential genes correlate with their compensability. PLoS Genetics. 8(6), e1002803.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3131 |
Weissman D, Barton NH. 2012. Limits to the rate of adaptive substitution in sexual populations. PLoS Genetics. 8(6), e1002740.
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3133 |
Edelsbrunner H, Kerber M. 2012. Alexander duality for functions: The persistent behavior of land and water and shore. Proceedings of the twenty-eighth annual symposium on Computational geometry . SCG: Symposium on Computational Geometry, 249–258.
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 3166 |
de Vladar H. 2012. Amino acid fermentation at the origin of the genetic code. Biology Direct. 7, 6.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3167
Weber M. 2012. NextGen speaks 13 . Science. 336(6077), 32–34.
View
| DOI
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 3242 |
Konrad M, Vyleta M, Theis F, Stock M, Tragust S, Klatt M, Drescher V, Marr C, Ugelvig LV, Cremer S. 2012. Social transfer of pathogenic fungus promotes active immunisation in ant colonies. PLoS Biology. 10(4), e1001300.
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.)