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.

2644 Publications


2010 | Journal Article | IST-REx-ID: 3842
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Fast Adaptive Uniformization of the Chemical Master Equation.” IET Systems Biology 4, no. 6 (2010): 441–52. https://doi.org/10.1049/iet-syb.2010.0005.
View | Files available | DOI
 

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 | 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: 3861
Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Strategy Logic.” Information and Computation 208, no. 6 (2010): 677–93. https://doi.org/10.1016/j.ic.2009.07.004.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4369   OA
Nickovic, Dejan, and Nir Piterman. “From MTL to Deterministic Timed Automata.” edited by Thomas A. Henzinger and Krishnendu Chatterjee, 6246:152–67. Springer, 2010. https://doi.org/10.1007/978-3-642-15297-9_13.
View | Files available | DOI
 

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: 4390
Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. “Model Checking of Linearizability of Concurrent List Implementations,” 6174:465–79. Springer, 2010. https://doi.org/10.1007/978-3-642-14295-6_41.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388   OA
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. “GIST: A Solver for Probabilistic Games,” 6174:665–69. Springer, 2010. https://doi.org/10.1007/978-3-642-14295-6_57.
View | Files available | DOI | arXiv
 

2010 | Journal Article | IST-REx-ID: 3773   OA
Barton, Nicholas H. “What Role Does Natural Selection Play in Speciation?” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365, no. 1547 (2010): 1825–40. https://doi.org/10.1098/rstb.2010.0001.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3785
Palero, Ferran, Pere Abello, E. Macpherson, C. Matthee, and Marta Pascual. “Genetic Diversity Levels in Fishery-Exploited Spiny Lobsters of the Genus Palinurus (Decapoda: Achelata).” Journal of Crustacean Biology 30, no. 4 (2010): 658–63. https://doi.org/10.1651/09-3192.1 .
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3792
Carvalho, Lara, and Carl-Philipp J Heisenberg. “The Yolk Syncytial Layer in Early, Zebrafish Development.” Trends in Cell Biology 20, no. 10 (2010): 586–92. https://doi.org/10.1016/j.tcb.2010.06.009.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3848
Bendich, Paul, Herbert Edelsbrunner, Dmitriy Morozov, and Amit Patel. “The Robustness of Level Sets,” 6346:1–10. Springer, 2010. https://doi.org/10.1007/978-3-642-15775-2_1.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3850
Berberich, Eric, Dan Halperin, Michael Kerber, and Roza Pogalnikova. “Polygonal Reconstruction from Approximate Offsets,” 12–23. TU Dortmund, 2010.
View
 

2010 | Journal Article | IST-REx-ID: 3901   OA
Bendich, Paul, Herbert Edelsbrunner, and Michael Kerber. “Computing Robustness and Persistence for Images.” IEEE Transactions of Visualization and Computer Graphics 16, no. 6 (2010): 1251–60. https://doi.org/10.1109/TVCG.2010.139.
View | Files available | 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 | Book Chapter | IST-REx-ID: 4339   OA
Bergmann, Julia, and Patrick Danowski. “Ist Bibliothek 2.0 Überhaupt Noch Relevant? – Eine Einleitung in Das Handbuch.” In Handbuch Bibliothek 2.0, edited by Julia Bergmann and Patrick Danowski, 5–20. Bibliotheks- Und Informationspraxis 41. De Gruyter, 2010. https://doi.org/10.1515/9783110232103.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396   OA
Beyer, Dirk, Thomas A Henzinger, Grégory Théoduloz, and Damien Zufferey. “Shape Refinement through Explicit Heap Analysis.” edited by David Rosenblum and Gabriele Taenzer, 6013:263–77. Springer, 2010. https://doi.org/10.1007/978-3-642-12029-9_19.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4389   OA
Doyen, Laurent, Thomas A Henzinger, Axel Legay, and Dejan Nickovic. “Robustness of Sequential Circuits,” 77–84. IEEE, 2010. https://doi.org/10.1109/ACSD.2010.26.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3867
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Expressiveness and Closure Properties for Quantitative Languages.” Logical Methods in Computer Science 6, no. 3 (2010): 1–23. https://doi.org/10.2168/LMCS-6(3:10)2010.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed