Please note that ISTA 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.

8978 Publications


2008 | Journal Article | IST-REx-ID: 3754
Guet, Calin C, Luke Bruneaux, Taejin Min, Dan Siegal Gaskins, Israel Figueroa, Thierry Emonet, and Philippe Cluzel. “Minimally Invasive Determination of MRNA Concentration in Single Living Bacteria.” Nucleic Acids Research. Oxford University Press, 2008. https://doi.org/10.1093/nar/gkn329.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3769
Kupczok, Anne, Arndt Von Haeseler, and Steffen Klaere. “An Exact Algorithm for the Geodesic Distance between Phylogenetic Trees.” Journal of Computational Biology. Mary Ann Liebert, 2008. https://doi.org/4200.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3826
Doischer, Daniel, Jonas Hosp, Yuchio Yanagawa, Kunihiko Obata, Peter M Jonas, Imre Vida, and Marlene Bartos. “Postnatal Differentiation of Basket Cells from Slow to Fast Signaling Devices.” Journal of Neuroscience. Society for Neuroscience, 2008. https://doi.org/10.1523/JNEUROSCI.2890-08.2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3827
Kerr, Angharad, Ellen Reisinger, and Peter M Jonas. “Differential Dependence of Phasic Transmitter Release on Synaptotagmin 1 at GABAergic and Glutamatergic Hippocampal Synapses.” PNAS. National Academy of Sciences, 2008. https://doi.org/10.1073/pnas.0800621105.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3504 | OA
Chatterjee, Krishnendu, Luca De Alfaro, Ritankar Majumdar, and Vishwanath Raman. “Algorithms for Game Metrics,” 2:107–18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008. https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1745.
[Published Version] View | Files available | DOI
 

2008 | Conference Paper | IST-REx-ID: 3875
Chatterjee, Krishnendu, Thomas A Henzinger, and Koushik Sen. “Model-Checking Omega-Regular Properties of Interval Markov Chains,” 4962:302–17. Springer, 2008. https://doi.org/10.1007/978-3-540-78499-9_22.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3873
Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Controller Synthesis with Budget Constraints,” 4981:72–86. Springer, 2008. https://doi.org/DOI: 10.1007/978-3-540-78929-1_6.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3876
Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Timed Parity Games: Complexity and Robustness,” 5215:124–40. Springer, 2008. https://doi.org/10.1007/978-3-540-85778-5_10.
View | Files available | DOI
 

2008 | Conference Paper | IST-REx-ID: 3877
Chatterjee, Krishnendu, Thomas A Henzinger, and Barbara Jobstmann. “Environment Assumptions for Synthesis,” 5201:147–61. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008. https://doi.org/10.1007/978-3-540-85361-9_14.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3878 | OA
Chatterjee, Krishnendu, Luca De Alfaro, and Ritankar Majumdar. “The Complexity of Coverage,” 5356:91–106. Springer, 2008. https://doi.org/10.1007/978-3-540-89330-1_7.
View | DOI | Download (ext.)
 

Search

Filter Publications