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.




2356 Publications

2010 | Journal Article | IST-REx-ID: 3834   OA
Wolf, Verena, Rushil Goel, Maria Mateescu, and Thomas A Henzinger. “Solving the Chemical Master Equation Using Sliding Windows.” BMC Systems Biology 4, no. 42 (2010): 1–19. https://doi.org/10.1186/1752-0509-4-42.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3839   OA
Henzinger, Thomas A, Thibaud Hottelier, Laura Kovács, and Andrei Voronkov. “Invariant and Type Inference for Matrices,” 5944:163–79. Springer, 2010. https://doi.org/10.1007/978-3-642-11319-2_14.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3853   OA
Chatterjee, Krishnendu, Laurent Doyen, Herbert Edelsbrunner, Thomas A Henzinger, and Philippe Rannou. “Mean-Payoff Automaton Expressions,” 6269:269–83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.1007/978-3-642-15375-4_19.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3858
Chatterjee, Krishnendu, and Laurent Doyen. “The Complexity of Partial-Observation Parity Games.” edited by Christian Fermüller and Andrei Voronkov, 6397:1–14. Springer, 2010. https://doi.org/10.1007/978-3-642-16242-8_1.
View | DOI
 
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 | Journal Article | IST-REx-ID: 4243   OA
Barton, Nicholas H, Alison Etheridge, and Amandine Véber. “A New Model for Evolution in a Spatial Continuum.” Electronic Journal of Probability 15, no. 7 (2010): 162–216. https://doi.org/10.1214/EJP.v15-741.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4382   OA
Guerraoui, Rachid, Thomas A Henzinger, Michal Kapalka, and Vasu Singh. “Transactions in the Jungle,” 263–72. ACM, 2010. https://doi.org/10.1145/1810479.1810529.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3860   OA
Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Generalized Mean-Payoff and Energy Games,” 8:505–16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505.
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: 3772   OA
Barton, Nicholas H. “Understanding Adaptation in Large Populations.” PLoS Genetics 6, no. 6 (2010): e1000987. https://doi.org/10.1371/journal.pgen.1000987.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3777   OA
Barton, Nicholas H. “Mutation and the Evolution of Recombination.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365, no. 1544 (2010): 1281–94. https://doi.org/10.1098/rstb.2009.0320.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2010 | Conference Paper | IST-REx-ID: 3847   OA
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “SABRE: A Tool for the Stochastic Analysis of Biochemical Reaction Networks,” 193–94. IEEE, 2010. https://doi.org/10.1109/QEST.2010.33.
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 Paper | IST-REx-ID: 3866   OA
Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann. “Robustness in the Presence of Liveness.” edited by Tayssir Touili, Byron Cook, and Paul Jackson, 6174:410–24. Springer, 2010. https://doi.org/10.1007/978-3-642-14295-6_36.
View | Files available | DOI
 
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 | 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 | Thesis | IST-REx-ID: 3962
Pflicke, Holger.   Dendritic Cell Migration across Basement Membranes in the Skin. IST Austria, 2010.
View
 
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: 4388
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 | Download (ext.) | arXiv
 

Filters and Search Terms

type<>research_data

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed