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 D, Hosp J, Yanagawa Y, et al. Postnatal differentiation of basket cells from slow to fast signaling devices. Journal of Neuroscience. 2008;28(48):12956-12968. doi:10.1523/JNEUROSCI.2890-08.2008
View
| DOI
2008 | Journal Article | IST-REx-ID: 3827
Kerr A, Reisinger E, Jonas PM. Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses. PNAS. 2008;105(40):15581-15586. doi:10.1073/pnas.0800621105
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3504 | 
Chatterjee K, De Alfaro L, Majumdar R, Raman V. Algorithms for game metrics. In: Vol 2. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:107-118. doi:10.4230/LIPIcs.FSTTCS.2008.1745
[Published Version]
View
| Files available
| DOI
2008 | Conference Paper | IST-REx-ID: 3875
Chatterjee K, Henzinger TA, Sen K. Model-checking omega-regular properties of interval Markov chains. In: Vol 4962. Springer; 2008:302-317. doi:10.1007/978-3-540-78499-9_22
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3873
Chatterjee K, Majumdar R, Henzinger TA. Controller synthesis with budget constraints. In: Vol 4981. Springer; 2008:72-86. doi:DOI: 10.1007/978-3-540-78929-1_6
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3876
Chatterjee K, Henzinger TA, Prabhu V. Timed parity games: complexity and robustness. In: Vol 5215. Springer; 2008:124-140. doi:10.1007/978-3-540-85778-5_10
View
| Files available
| DOI
2008 | Conference Paper | IST-REx-ID: 3877
Chatterjee K, Henzinger TA, Jobstmann B. Environment assumptions for synthesis. In: Vol 5201. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:147-161. doi:10.1007/978-3-540-85361-9_14
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3878 |
Chatterjee K, De Alfaro L, Majumdar R. The complexity of coverage. In: Vol 5356. Springer; 2008:91-106. doi:10.1007/978-3-540-89330-1_7
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3874
Chatterjee K, Henzinger TA, Prabhu V. Trading infinite memory for uniform randomness in timed games. In: Vol 4981. Springer; 2008:87-100. doi:10.1007/978-3-540-78929-1_7
View
| DOI