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.
9078 Publications
2008 | Journal Article | IST-REx-ID: 3754
Guet, C. C., Bruneaux, L., Min, T., Siegal Gaskins, D., Figueroa, I., Emonet, T., & Cluzel, P. (2008). Minimally invasive determination of mRNA concentration in single living bacteria. Nucleic Acids Research. Oxford University Press. https://doi.org/10.1093/nar/gkn329
View
| DOI
2008 | Journal Article | IST-REx-ID: 3769
Kupczok, A., Von Haeseler, A., & Klaere, S. (2008). An Exact Algorithm for the Geodesic Distance between Phylogenetic Trees. Journal of Computational Biology. Mary Ann Liebert. https://doi.org/4200
View
| DOI
2008 | Journal Article | IST-REx-ID: 3826
Doischer, D., Hosp, J., Yanagawa, Y., Obata, K., Jonas, P. M., Vida, I., & Bartos, M. (2008). Postnatal differentiation of basket cells from slow to fast signaling devices. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.2890-08.2008
View
| DOI
2008 | Journal Article | IST-REx-ID: 3827
Kerr, A., Reisinger, E., & Jonas, P. M. (2008). Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0800621105
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3504 | 
Chatterjee, K., De Alfaro, L., Majumdar, R., & Raman, V. (2008). Algorithms for game metrics (Vol. 2, pp. 107–118). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1745
[Published Version]
View
| Files available
| DOI
2008 | Conference Paper | IST-REx-ID: 3875
Chatterjee, K., Henzinger, T. A., & Sen, K. (2008). Model-checking omega-regular properties of interval Markov chains (Vol. 4962, pp. 302–317). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Springer. https://doi.org/10.1007/978-3-540-78499-9_22
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3873
Chatterjee, K., Majumdar, R., & Henzinger, T. A. (2008). Controller synthesis with budget constraints (Vol. 4981, pp. 72–86). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/DOI: 10.1007/978-3-540-78929-1_6
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3876
Chatterjee, K., Henzinger, T. A., & Prabhu, V. (2008). Timed parity games: complexity and robustness (Vol. 5215, pp. 124–140). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/10.1007/978-3-540-85778-5_10
View
| Files available
| DOI
2008 | Conference Paper | IST-REx-ID: 3877
Chatterjee, K., Henzinger, T. A., & Jobstmann, B. (2008). Environment assumptions for synthesis (Vol. 5201, pp. 147–161). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-85361-9_14
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3878 |
Chatterjee, K., De Alfaro, L., & Majumdar, R. (2008). The complexity of coverage (Vol. 5356, pp. 91–106). Presented at the APLAS: Asian Symposium on Programming Languages and Systems, Springer. https://doi.org/10.1007/978-3-540-89330-1_7
View
| DOI
| Download (ext.)