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.

233 Publications


2008 | Published | Journal Article | IST-REx-ID: 3906
The evolution of invasiveness in garden ants
S. Cremer, L.V. Ugelvig, F. Drijfhout, B. Schlick Steiner, F. Steiner, B. Seifert, D. Hughes, A. Schulz, K. Petersen, H. Konrad, C. Stauffer, K. Kiran, X. Espadaler, P. D’Ettorre, N. Aktaç, J. Eilenberg, G. Jones, D. Nash, J. Pedersen, J. Boomsma, PLoS One 3 (2008).
View | DOI | PubMed | Europe PMC
 

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 | Journal Article | IST-REx-ID: 3903
The introduction history of invasive garden ants in Europe: integrating genetic, chemical and behavioural approaches
L.V. Ugelvig, F. Drijfhout, D. Kronauer, J. Boomsma, J. Pedersen, S. Cremer, BMC Biology 6 (2008).
View | DOI | PubMed | Europe PMC
 

2008 | Published | Conference Paper | IST-REx-ID: 3878 | OA
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: 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
 

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
 

2008 | Published | Journal Article | IST-REx-ID: 3825 | OA
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 | 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
 

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: 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 | 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: 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 | 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 | 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: 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: 4150 | OA
Quantitative differences in tissue surface tension influence zebrafish germ layer positioning
E. Schötz, R. Burdine, F. Julicher, M. Steinberg, C.-P.J. Heisenberg, R. Foty, HFSP Journal 2 (2008) 42–56.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 3907
Queen number influences the timing of the sexual production in colonies of Cardiocondyla ants
M. Suefuji, S. Cremer, J. Oettler, J. Heinze, Biology Letters 4 (2008) 670–673.
View | DOI | PubMed | Europe PMC
 

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 | 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 | Journal Article | IST-REx-ID: 3822 | OA
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
 

Filters and Search Terms

year=2008

Search

Filter Publications

Display / Sort

Export / Embed