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, et al. “Efficient Ca(2+) Buffering in Fast-Spiking Basket Cells of Rat Hippocampus.” Journal of Physiology, vol. 586, no. 8, Wiley-Blackwell, 2008, pp. 2061–75, doi:10.1113/jphysiol.2007.147298.
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 3826
Doischer, Daniel, et al. “Postnatal Differentiation of Basket Cells from Slow to Fast Signaling Devices.” Journal of Neuroscience, vol. 28, no. 48, Society for Neuroscience, 2008, pp. 12956–68, doi:10.1523/JNEUROSCI.2890-08.2008.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3827
Kerr, Angharad, et al. “Differential Dependence of Phasic Transmitter Release on Synaptotagmin 1 at GABAergic and Glutamatergic Hippocampal Synapses.” PNAS, vol. 105, no. 40, National Academy of Sciences, 2008, pp. 15581–86, doi:10.1073/pnas.0800621105.
View
| DOI
2008 | Published | Book Chapter | IST-REx-ID: 3872
Chatterjee, Krishnendu, and Thomas A. Henzinger. “Value Iteration.” 25 Years in Model Checking, vol. 5000, Springer, 2008, pp. 107–38, doi:10.1007/978-3-540-69850-0_7.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3873
Chatterjee, Krishnendu, et al. Controller Synthesis with Budget Constraints. Vol. 4981, Springer, 2008, pp. 72–86, doi:DOI: 10.1007/978-3-540-78929-1_6.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3874
Chatterjee, Krishnendu, et al. Trading Infinite Memory for Uniform Randomness in Timed Games. Vol. 4981, Springer, 2008, pp. 87–100, doi:10.1007/978-3-540-78929-1_7.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3875
Chatterjee, Krishnendu, et al. Model-Checking Omega-Regular Properties of Interval Markov Chains. Vol. 4962, Springer, 2008, pp. 302–17, doi:10.1007/978-3-540-78499-9_22.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3876
Chatterjee, Krishnendu, et al. Timed Parity Games: Complexity and Robustness. Vol. 5215, Springer, 2008, pp. 124–40, doi:10.1007/978-3-540-85778-5_10.
View
| Files available
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3877
Chatterjee, Krishnendu, et al. Environment Assumptions for Synthesis. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–61, doi:10.1007/978-3-540-85361-9_14.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3878 |
Chatterjee, Krishnendu, et al. The Complexity of Coverage. Vol. 5356, Springer, 2008, pp. 91–106, doi:10.1007/978-3-540-89330-1_7.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 3879
Chatterjee, Krishnendu, et al. Quantitative Languages. Vol. 5213, Springer, 2008, pp. 385–400, doi:10.1007/978-3-540-87531-4_28.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3880
Berwanger, Dietmar, et al. Strategy Construction for Parity Games with Imperfect Information. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–39, doi:10.1007/978-3-540-85361-9.
View
| Files available
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3903
Ugelvig, Line V., et al. “The Introduction History of Invasive Garden Ants in Europe: Integrating Genetic, Chemical and Behavioural Approaches.” BMC Biology, vol. 6, no. 11, BioMed Central, 2008, doi:10.1186/1741-7007-6-11.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3905
Cremer, Sylvia, et al. “Imperfect Chemical Female Mimicry in Males of the Ant Cardiocondyla Obscurior.” Naturwissenschaften, vol. 95, no. 11, Springer, 2008, pp. 1101–05, doi:10.1007/s00114-008-0430-8.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3906
Cremer, Sylvia, et al. “The Evolution of Invasiveness in Garden Ants.” PLoS One, vol. 3, no. 12, Public Library of Science, 2008, doi:10.1371/journal.pone.0003838.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3907
Suefuji, Masaki, et al. “Queen Number Influences the Timing of the Sexual Production in Colonies of Cardiocondyla Ants.” Biology Letters, vol. 4, no. 6, Royal Society, The, 2008, pp. 670–73, doi: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, vol. 221, no. 1, Wiley-Blackwell, 2008, pp. 26–43, doi:10.1111/j.1600-065X.2008.00592.x.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3940
Lokmic, Zerina, et al. “The Extracellular Matrix of the Spleen as a Potential Organizer of Immune Cell Compartments.” Seminars in Immunology, vol. 20, no. 1, Academic Press, 2008, pp. 4–13, doi:10.1016/j.smim.2007.12.009.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3941
Lämmermann, Tim, et al. “Rapid Leukocyte Migration by Integrin-Independent Flowing and Squeezing.” Nature, vol. 453, no. 7191, Nature Publishing Group, 2008, pp. 51–55, doi:10.1038/nature06887.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3942
Frommhold, David, et al. “Sialyltransferase ST3Gal-IV Controls CXCR2-Mediated Firm Leukocyte Arrest during Inflammation.” The Journal of Experimental Medicine, vol. 205, no. 6, Rockefeller University Press, 2008, pp. 1435–46, doi:10.1084/jem.20070846.
View
| DOI