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.
11380 Publications
2008 |
Published |
Journal Article |
IST-REx-ID: 3760
Wojtan, Chris, and Greg Turk. “Fast Viscoelastic Behavior with Thin Features.” ACM Transactions on Graphics. ACM, 2008. https://doi.org/10.1145/1360612.1360646.
View
| DOI
| Download None (ext.)
2008 |
Published |
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 |
Published |
Journal Article |
IST-REx-ID: 3822 |
Schmidt Hieber, Christoph, Peter M Jonas, and Josef Bischofberger. “Action Potential Initiation and Propagation in Hippocampal Mossy Fibre Axons.” Journal of Physiology. Wiley-Blackwell, 2008. https://doi.org/10.1113/jphysiol.2007.150151 .
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 3823
Kerr, Angharad, and Peter M Jonas. “The Two Sides of Hippocampal Mossy Fiber Plasticity (Review).” Neuron. Elsevier, 2008. https://doi.org/10.1016/j.neuron.2007.12.015.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 3824
Bucurenciu, Iancu, Ákos Kulik, Beat Schwaller, Michael Frotscher, and Peter M Jonas. “Nanodomain Coupling between Ca(2+) Channels and Ca2+ Sensors Promotes Fast and Efficient Transmitter Release at a Cortical GABAergic Synapse.” Neuron. Elsevier, 2008. https://doi.org/10.1016/j.neuron.2007.12.026.
View
| DOI
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