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.
9078 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 | 
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 |
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.)
2008 | Conference Paper | IST-REx-ID: 3874
Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Trading Infinite Memory for Uniform Randomness in Timed Games,” 4981:87–100. Springer, 2008. https://doi.org/10.1007/978-3-540-78929-1_7.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3879
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Quantitative Languages,” 5213:385–400. Springer, 2008. https://doi.org/10.1007/978-3-540-87531-4_28.
View
| DOI
2008 | Book Chapter | IST-REx-ID: 3872
Chatterjee, Krishnendu, and Thomas A Henzinger. “Value Iteration.” In 25 Years in Model Checking, 5000:107–38. Springer, 2008. https://doi.org/10.1007/978-3-540-69850-0_7.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3945
Tripp, Christoph, Bernhard Haid, Vincent Flacher, Michael K Sixt, Hannes Peter, Julia Farkas, Robert Gschwentner, Lydia Sorokin, Nikolaus Romani, and Patrizia Stoitzner. “The Lymph Vessel Network in Mouse Skin Visualised with Antibodies against the Hyaluronan Receptor LYVE-1.” Immunobiology. Elsevier, 2008. https://doi.org/10.1016/j.imbio.2008.07.025.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3942
Frommhold, David, Andreas Ludwig, M Gabriele Bixel, Alexander Zarbock, Inna Babushkina, Melitta Weissinger, Sandra Cauwenberghs, et al. “Sialyltransferase ST3Gal-IV Controls CXCR2-Mediated Firm Leukocyte Arrest during Inflammation.” The Journal of Experimental Medicine. Rockefeller University Press, 2008. https://doi.org/10.1084/jem.20070846.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3943
Kessenbrock, Kai, Leopold Fröhlich, Michael K Sixt, Tim Lämmermann, Heiko Pfister, Andrew Bateman, Azzaq Belaaouaj, et al. “Proteinase 3 and Neutrophil Elastase Enhance Inflammation in Mice by Inactivating Antiinflammatory Progranulin.” The Journal of Clinical Investigation. American Society for Clinical Investigation, 2008. https://doi.org/10.1172/JCI34694.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3941
Lämmermann, Tim, Bernhard Bader, Susan Monkley, Tim Worbs, Roland Wedlich Söldner, Karin Hirsch, Markus Keller, et al. “Rapid Leukocyte Migration by Integrin-Independent Flowing and Squeezing.” Nature. Nature Publishing Group, 2008. https://doi.org/10.1038/nature06887.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3944
Riedl, Julia, Alvaro Crevenna, Kai Kessenbrock, Jerry Yu, Dorothee Neukirchen, Michal Bista, Frank Bradke, et al. “Lifeact: A Versatile Marker to Visualize F-Actin.” Nature Methods. Nature Publishing Group, 2008. https://doi.org/10.1038/nmeth.1220.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3974
Edelsbrunner, Herbert, John Harer, and Amit Patel. “Reeb Spaces of Piecewise Linear Mappings,” 242–50. ACM, 2008. https://doi.org/10.1145/1377676.1377720.
View
| DOI
2008 | Journal Article | IST-REx-ID: 4135
Storch, D., A. Šizling, J. Reif, Jitka Polechova, E. Šizlingová, and K. Gaston. “The Quest for a Null Model for Macroecological Patterns: Geometry of Species Distributions at Multiple Spatial Scales.” Ecology Letters. Wiley-Blackwell, 2008. https://doi.org/3817.
View
| DOI