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, Ali, and Calin C. Guet. “Uncovering Cis Regulatory Codes Using Synthetic Promoter Shuffling.” PLoS One, vol. 3, no. 4, e2030, Public Library of Science, 2008, doi:10.1371/journal.pone.0002030.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 3754
Guet, Calin C., et al. “Minimally Invasive Determination of MRNA Concentration in Single Living Bacteria.” Nucleic Acids Research, vol. 36, no. 12, Oxford University Press, 2008, doi:10.1093/nar/gkn329.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3760
Wojtan, Chris, and Greg Turk. “Fast Viscoelastic Behavior with Thin Features.” ACM Transactions on Graphics, vol. 27, no. 3, ACM, 2008, doi:10.1145/1360612.1360646.
View
| DOI
| Download None (ext.)
2008 | Published | Journal Article | IST-REx-ID: 3822 |
Schmidt Hieber, Christoph, et al. “Action Potential Initiation and Propagation in Hippocampal Mossy Fibre Axons.” Journal of Physiology, vol. 586, no. 7, Wiley-Blackwell, 2008, pp. 1849–57, doi:10.1113/jphysiol.2007.150151 .
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 3823
Kerr, Angharad, and Peter M. Jonas. “The Two Sides of Hippocampal Mossy Fiber Plasticity (Review).” Neuron, vol. 57, no. 1, Elsevier, 2008, pp. 5–7, doi:10.1016/j.neuron.2007.12.015.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3824
Bucurenciu, Iancu, et al. “Nanodomain Coupling between Ca(2+) Channels and Ca2+ Sensors Promotes Fast and Efficient Transmitter Release at a Cortical GABAergic Synapse.” Neuron, vol. 57, no. 4, Elsevier, 2008, pp. 536–45, doi:10.1016/j.neuron.2007.12.026.
View
| DOI
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