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.




2742 Publications

2010 | Conference Paper | IST-REx-ID: 3854
Chatterjee, Krishnendu, Florian Horn, and Christof Löding. “Obliging Games,” 6269:284–96. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.1007/978-3-642-15375-4_20.
View | DOI
 
2010 | Conference (Editor) | IST-REx-ID: 3859
Chatterjee, Krishnendu, and Thomas A Henzinger, eds. Formal Modeling and Analysis of Timed Systems. Vol. 6246. Springer, 2010. https://doi.org/10.1007/978-3-642-15297-9.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3856 | OA
Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Thomas A Henzinger. “Randomness for Free,” 6281:246–57. Springer, 2010. https://doi.org/10.1007/978-3-642-15155-2_23.
View | Files available | DOI | Download (ext.)
 
2010 | Conference Paper | IST-REx-ID: 3864 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “Measuring and Synthesizing Systems in Probabilistic Environments,” 6174:380–95. Springer, 2010. https://doi.org/10.1007/978-3-642-14295-6_34.
View | Files available | DOI | Download (ext.)
 
2010 | Conference Paper | IST-REx-ID: 3865
Chatterjee, Krishnendu, Luca De Alfaro, Vishwanath Raman, and César Sánchez. “Analyzing the Impact of Change in Multi-Threaded Programs.” edited by David Rosenblum and Gabriele Taenzer, 6013:293–307. Springer, 2010. https://doi.org/10.1007/978-3-642-12029-9_21.
View | DOI
 
2010 | Thesis | IST-REx-ID: 3962
Pflicke, Holger.   Dendritic Cell Migration across Basement Membranes in the Skin. IST Austria, 2010.
View
 
2010 | Journal Article | IST-REx-ID: 4134
Bridle, Jon, Jitka Polechova, Masakado Kawata, and Roger Butlin. “Why Is Adaptation Prevented at Ecological Margins? New Insights from Individual-Based Simulations.” Ecology Letters 13, no. 4 (2010): 485–94. https://doi.org/10.1111/j.1461-0248.2010.01442.x.
View | DOI
 
2010 | Journal Article | IST-REx-ID: 4157 | OA
Papusheva, Ekaterina, and Carl-Philipp J Heisenberg. “Spatial Organization of Adhesion: Force-Dependent Regulation and Function in Tissue Morphogenesis.” EMBO Journal 29, no. 16 (2010): 2753–68. https://doi.org/10.1038/emboj.2010.182.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2010 | Book Chapter | IST-REx-ID: 4392
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Simulation Games.” In Time For Verification: Essays in Memory of Amir Pnueli, edited by Zohar Manna and Doron Peled, 6200:42–60. Essays in Memory of Amir Pnueli. Springer, 2010. https://doi.org/10.1007/978-3-642-13754-9_3.
View | DOI
 
2010 | Journal Article | IST-REx-ID: 533
Hoenicke, Jochen, Kari Leino, Andreas Podelski, Martin Schäf, and Thomas Wies. “Doomed Program Points.” Formal Methods in System Design 37, no. 2–3 (2010): 171–99. https://doi.org/10.1007/s10703-010-0102-0.
View | DOI
 
2010 | Book | IST-REx-ID: 4346 | OA
Danowski, Patrick, and Julia Bergmann. Handbuch Bibliothek 2.0. Bibliotheks- Und Informationspraxis 41. De Gruyter, 2010.
View | Download (ext.)
 
2010 | Conference Paper | IST-REx-ID: 4362
Singh, Vasu. “Runtime Verification for Software Transactional Memories.” edited by Oleg Sokolsky, Grigore Rosu, Nikolai Tilmann, Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, and Gordon Pace, 6418:421–35. Springer, 2010. https://doi.org/10.1007/978-3-642-16612-9_32.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 4378 | OA
Kuncak, Viktor, Ruzica Piskac, Philippe Suter, and Thomas Wies. “Building a Calculus of Data Structures.” edited by Gilles Barthe and Manuel Hermenegildo, 5944:26–44. Springer, 2010. https://doi.org/10.1007/978-3-642-11319-2_6.
View | DOI | Download (ext.)
 
2010 | Journal Article | IST-REx-ID: 474
Barton, Nicholas H, Jerome Kelleher, and Alison Etheridge. “A New Model for Extinction and Recolonization in Two Dimensions: Quantifying Phylogeography.” Evolution 64, no. 9 (2010): 2701–15. https://doi.org/10.1111/j.1558-5646.2010.01019.x.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 489 | OA
Cristau, Julien, Claire David, and Florian Horn. “How Do We Remember the Past in Randomised Strategies? .” In Proceedings of GandALF 2010, 25:30–39. Open Publishing Association, 2010. https://doi.org/10.4204/EPTCS.25.7.
View | DOI | Download (ext.)
 
2010 | Journal Article | IST-REx-ID: 3779 | OA
Rosas, Ulises, Nicholas H Barton, Lucy Copsey, Pierre Barbier De Reuille, and Enrico Coen. “Cryptic Variation between Species and the Basis of Hybrid Performance.” PLoS Biology 8, no. 7 (2010). https://doi.org/10.1371/journal.pbio.1000429.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3719 | OA
Feret, Jérôme, Thomas A Henzinger, Heinz Koeppl, and Tatjana Petrov. “Lumpability Abstractions of Rule-Based Systems,” 40:142–61. Open Publishing Association, 2010.
View | Files available | arXiv
 
2010 | Journal Article | IST-REx-ID: 3776 | OA
Barton, Nicholas H. “Genetic Linkage and Natural Selection.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365, no. 1552 (2010): 2559–69. https://doi.org/10.1098/rstb.2010.0106.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3772 | OA
Barton, Nicholas H. “Understanding Adaptation in Large Populations.” PLoS Genetics 6, no. 6 (2010). https://doi.org/10.1371/journal.pgen.1000987.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3852 | OA
Chatterjee, Krishnendu, and Ritankar Majumdar. “Discounting in Games across Time Scales,” 25:22–29. EPTCS, 2010. https://doi.org/10.4204/EPTCS.25.6.
View | Files available | DOI | arXiv
 

Search

Filter Publications