ISTA Research Explorer

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.

11784 Publications

Search / Filter

2008 | Published | Journal Article | IST-REx-ID: 3744 |

Decoding spike timing: The differential reverse-correlation method
G. Tkačik, M. Magnasco, Biosystems 93 (2008) 90–100.

View | DOI | Download None (ext.) | PubMed | Europe PMC

2008 | Published | Journal Article | IST-REx-ID: 3751 |

Uncovering cis regulatory codes using synthetic promoter shuffling
A. Kinkhabwala, C.C. Guet, PLoS One 3 (2008).

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2008 | Published | Journal Article | IST-REx-ID: 3754

Minimally invasive determination of mRNA concentration in single living bacteria
C.C. Guet, L. Bruneaux, T. Min, D. Siegal Gaskins, I. Figueroa, T. Emonet, P. Cluzel, Nucleic Acids Research 36 (2008).

[Published Version] View | DOI | PubMed | Europe PMC

2008 | Published | Journal Article | IST-REx-ID: 3760

Fast viscoelastic behavior with thin features
C. Wojtan, G. Turk, ACM Transactions on Graphics 27 (2008).

View | DOI | Download None (ext.)

2008 | Published | Journal Article | IST-REx-ID: 3769

An Exact Algorithm for the Geodesic Distance between Phylogenetic Trees.
A. Kupczok, A. Von Haeseler, S. Klaere, Journal of Computational Biology 15 (2008) 577–591.

View | DOI | PubMed | Europe PMC

2008 | Published | Journal Article | IST-REx-ID: 3822 |

Action potential initiation and propagation in hippocampal mossy fibre axons
C. Schmidt Hieber, P.M. Jonas, J. Bischofberger, The Journal of Physiology 586 (2008) 1849–57.

View | DOI | Download None (ext.) | PubMed | Europe PMC

2008 | Published | Journal Article | IST-REx-ID: 3823

The two sides of hippocampal mossy fiber plasticity (Review)
A. Kerr, P.M. Jonas, Neuron 57 (2008) 5–7.

View | DOI | PubMed | Europe PMC

2008 | Published | Journal Article | IST-REx-ID: 3824

Nanodomain coupling between Ca(2+) channels and Ca2+ sensors promotes fast and efficient transmitter release at a cortical GABAergic synapse
I. Bucurenciu, Á. Kulik, B. Schwaller, M. Frotscher, P.M. Jonas, Neuron 57 (2008) 536–45.

View | DOI | PubMed | Europe PMC

2008 | Published | Journal Article | IST-REx-ID: 3825 |

Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus
Y. Aponte, J. Bischofberger, P.M. Jonas, The Journal of Physiology 586 (2008) 2061–75.

View | DOI | Download None (ext.) | PubMed | Europe PMC

2008 | Published | Journal Article | IST-REx-ID: 3826

Postnatal differentiation of basket cells from slow to fast signaling devices
D. Doischer, J. Hosp, Y. Yanagawa, K. Obata, P.M. Jonas, I. Vida, M. Bartos, The Journal of Neuroscience 28 (2008) 12956–68.

View | DOI | PubMed | Europe PMC

2008 | Published | Journal Article | IST-REx-ID: 3827

Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses
A. Kerr, E. Reisinger, P.M. Jonas, Proceedings of the National Academy of Sciences 105 (2008) 15581–6.

View | DOI | PubMed | Europe PMC

2008 | Published | Book Chapter | IST-REx-ID: 3872

Value iteration
K. Chatterjee, T.A. Henzinger, in:, 25 Years in Model Checking, Springer Nature, 2008, pp. 107–138.

View | DOI

2008 | Published | Conference Paper | IST-REx-ID: 3873

Controller synthesis with budget constraints
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, 11th Workshop on Hybrid Systems: Computation and Control, Springer Nature, 2008, pp. 72–86.

View | DOI

2008 | Published | Conference Paper | IST-REx-ID: 3874

Trading infinite memory for uniform randomness in timed games
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, 11th Workshop on Hybrid Systems: Computation and Control, Springer Nature, 2008, pp. 87–100.

View | DOI

2008 | Published | Conference Paper | IST-REx-ID: 3875

Model-checking omega-regular properties of interval Markov chains
K. Chatterjee, T.A. Henzinger, K. Sen, in:, Foundations of Software Science and Computational Structures - 11th International Conference, Springer Nature, 2008, pp. 302–317.

View | DOI

earlier version | 2008 | Published | Conference Paper | IST-REx-ID: 3876

Timed parity games: complexity and robustness
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2008, pp. 124–140.

View | Files available | DOI | arXiv

2008 | Published | Conference Paper | IST-REx-ID: 3877

Environment assumptions for synthesis
K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, 19th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–161.

[Preprint] View | DOI | arXiv

2008 | Published | Conference Paper | IST-REx-ID: 3878 |

The complexity of coverage
K. Chatterjee, L. De Alfaro, R. Majumdar, in:, 6th Asian Symposium on Programming Language and Systems, Springer Nature, 2008, pp. 91–106.

View | DOI | Download None (ext.) | arXiv

2008 | Published | Conference Paper | IST-REx-ID: 3879

Quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, 22nd International Workshop on Computer Science Logic, Springer Nature, 2008, pp. 385–400.

View | DOI

earlier version | 2008 | Published | Conference Paper | IST-REx-ID: 3880

Strategy construction for parity games with imperfect information
D. Berwanger, K. Chatterjee, L. Doyen, T.A. Henzinger, S. Raje, in:, 19th International Conference, CONCUR 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–339.

View | Files available | DOI