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.
9087 Publications
2008 | 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 | 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 | Conference Paper | IST-REx-ID: 3504 | 
Chatterjee, Krishnendu, et al. Algorithms for Game Metrics. Vol. 2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 107–18, doi:10.4230/LIPIcs.FSTTCS.2008.1745.
[Published Version]
View
| Files available
| DOI
2008 | 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 | 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 | 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 | 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 | 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 | 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