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.
212 Publications
2008 | Published | Journal Article | IST-REx-ID: 3825 | 
Aponte, Yexica, Josef Bischofberger, and Peter M Jonas. “Efficient Ca(2+) Buffering in Fast-Spiking Basket Cells of Rat Hippocampus.” Journal of Physiology. Wiley-Blackwell, 2008. https://doi.org/10.1113/jphysiol.2007.147298.
View
| DOI
| Download (ext.)
2008 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | Conference Paper | IST-REx-ID: 3880
Berwanger, Dietmar, Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger, and Sangram Raje. “Strategy Construction for Parity Games with Imperfect Information,” 5201:325–39. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008. https://doi.org/10.1007/978-3-540-85361-9.
View
| Files available
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3903
Ugelvig, Line V, Falko Drijfhout, Daniel Kronauer, Jacobus Boomsma, Jes Pedersen, and Sylvia Cremer. “The Introduction History of Invasive Garden Ants in Europe: Integrating Genetic, Chemical and Behavioural Approaches.” BMC Biology. BioMed Central, 2008. https://doi.org/10.1186/1741-7007-6-11.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3905
Cremer, Sylvia, Patrizia D’Ettorre, Falko Drijfhout, Matthew Sledge, Stefano Turillazzi, and Jürgen Heinze. “Imperfect Chemical Female Mimicry in Males of the Ant Cardiocondyla Obscurior.” Naturwissenschaften. Springer, 2008. https://doi.org/10.1007/s00114-008-0430-8.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3906
Cremer, Sylvia, Line V Ugelvig, Falko Drijfhout, Birgit Schlick Steiner, Florian Steiner, Bernhard Seifert, David Hughes, et al. “The Evolution of Invasiveness in Garden Ants.” PLoS One. Public Library of Science, 2008. https://doi.org/10.1371/journal.pone.0003838.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3907
Suefuji, Masaki, Sylvia Cremer, Jan Oettler, and Jürgen Heinze. “Queen Number Influences the Timing of the Sexual Production in Colonies of Cardiocondyla Ants.” Biology Letters. Royal Society, The, 2008. https://doi.org/10.1098/rsbl.2008.0355.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3939
Lämmermann, Tim, and Michael K Sixt. “The Microanatomy of T-Cell Responses.” Immunological Reviews. Wiley-Blackwell, 2008. https://doi.org/10.1111/j.1600-065X.2008.00592.x.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3940
Lokmic, Zerina, Tim Lämmermann, Michael K Sixt, Susanna Cardell, Rupert Hallmann, and Lydia Sorokin. “The Extracellular Matrix of the Spleen as a Potential Organizer of Immune Cell Compartments.” Seminars in Immunology. Academic Press, 2008. https://doi.org/10.1016/j.smim.2007.12.009.
View
| DOI
2008 | Published | 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 | Published | 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