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.
8915 Publications
2008 | Published | Journal Article | IST-REx-ID: 3751 | 
Kinkhabwala, A., & Guet, C. C. (2008). Uncovering cis regulatory codes using synthetic promoter shuffling. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0002030
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2008 | Published | 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 | Published | Journal Article | IST-REx-ID: 3760
Wojtan, C., & Turk, G. (2008). Fast viscoelastic behavior with thin features. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/1360612.1360646
View
| DOI
| Download None (ext.)
2008 | Published | 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 | Published | Journal Article | IST-REx-ID: 3822 |
Schmidt Hieber, C., Jonas, P. M., & Bischofberger, J. (2008). Action potential initiation and propagation in hippocampal mossy fibre axons. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2007.150151
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 3823
Kerr, A., & Jonas, P. M. (2008). The two sides of hippocampal mossy fiber plasticity (Review). Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2007.12.015
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3824
Bucurenciu, I., Kulik, Á., Schwaller, B., Frotscher, M., & Jonas, P. M. (2008). Nanodomain coupling between Ca(2+) channels and Ca2+ sensors promotes fast and efficient transmitter release at a cortical GABAergic synapse. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2007.12.026
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3825 |
Aponte, Y., Bischofberger, J., & Jonas, P. M. (2008). Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2007.147298
View
| DOI
| Download (ext.)
2008 | Published | 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 | Published | 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 | Published | Book Chapter | IST-REx-ID: 3872
Chatterjee, K., & Henzinger, T. A. (2008). Value iteration. In 25 Years in Model Checking (Vol. 5000, pp. 107–138). Springer. https://doi.org/10.1007/978-3-540-69850-0_7
View
| DOI
2008 | Published | 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 | Published | Conference Paper | IST-REx-ID: 3874
Chatterjee, K., Henzinger, T. A., & Prabhu, V. (2008). Trading infinite memory for uniform randomness in timed games (Vol. 4981, pp. 87–100). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/978-3-540-78929-1_7
View
| DOI
2008 | Published | 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 | Published | 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 | Published | 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 | Published | 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.)
2008 | Published | Conference Paper | IST-REx-ID: 3879
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2008). Quantitative languages (Vol. 5213, pp. 385–400). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/978-3-540-87531-4_28
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3880
Berwanger, D., Chatterjee, K., Doyen, L., Henzinger, T. A., & Raje, S. (2008). Strategy construction for parity games with imperfect information (Vol. 5201, pp. 325–339). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-85361-9
View
| Files available
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3903
Ugelvig, L. V., Drijfhout, F., Kronauer, D., Boomsma, J., Pedersen, J., & Cremer, S. (2008). The introduction history of invasive garden ants in Europe: integrating genetic, chemical and behavioural approaches. BMC Biology. BioMed Central. https://doi.org/10.1186/1741-7007-6-11
View
| DOI