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.

11725 Publications


2008 | Published | Journal Article | IST-REx-ID: 3822 | OA
Schmidt Hieber C, Jonas PM, Bischofberger J. Action potential initiation and propagation in hippocampal mossy fibre axons. The Journal of Physiology. 2008;586(7):1849-1857. doi:10.1113/jphysiol.2007.150151
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 3823
Kerr A, Jonas PM. The two sides of hippocampal mossy fiber plasticity (Review). Neuron. 2008;57(1):5-7. doi:10.1016/j.neuron.2007.12.015
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 3824
Bucurenciu I, Kulik Á, Schwaller B, Frotscher M, Jonas PM. Nanodomain coupling between Ca(2+) channels and Ca2+ sensors promotes fast and efficient transmitter release at a cortical GABAergic synapse. Neuron. 2008;57(4):536-545. doi:10.1016/j.neuron.2007.12.026
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 3825 | OA
Aponte Y, Bischofberger J, Jonas PM. Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus. The Journal of Physiology. 2008;586(8):2061-2075. doi:10.1113/jphysiol.2007.147298
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 3826
Doischer D, Hosp J, Yanagawa Y, et al. Postnatal differentiation of basket cells from slow to fast signaling devices. The Journal of Neuroscience. 2008;28(48):12956-12968. doi:10.1523/JNEUROSCI.2890-08.2008
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 3827
Kerr A, Reisinger E, Jonas PM. Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses. Proceedings of the National Academy of Sciences. 2008;105(40):15581-15586. doi:10.1073/pnas.0800621105
View | DOI | PubMed | Europe PMC
 

2008 | Published | Book Chapter | IST-REx-ID: 3872
Chatterjee K, Henzinger TA. Value iteration. In: 25 Years in Model Checking. Vol 5000. Springer Nature; 2008:107-138. doi:10.1007/978-3-540-69850-0_7
View | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 3873
Chatterjee K, Majumdar R, Henzinger TA. Controller synthesis with budget constraints. In: 11th Workshop on Hybrid Systems: Computation and Control. Vol 4981. Springer Nature; 2008:72-86. doi:DOI: 10.1007/978-3-540-78929-1_6
View | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 3874
Chatterjee K, Henzinger TA, Prabhu V. Trading infinite memory for uniform randomness in timed games. In: 11th Workshop on Hybrid Systems: Computation and Control. Vol 4981. Springer Nature; 2008:87-100. doi:10.1007/978-3-540-78929-1_7
View | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 3875
Chatterjee K, Henzinger TA, Sen K. Model-checking omega-regular properties of interval Markov chains. In: Foundations of Software Science and Computational Structures - 11th International Conference. Vol 4962. Springer Nature; 2008:302-317. doi:10.1007/978-3-540-78499-9_22
View | DOI
 

earlier version | 2008 | Published | Conference Paper | IST-REx-ID: 3876
Chatterjee K, Henzinger TA, Prabhu V. Timed parity games: complexity and robustness. In: Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 5215. Springer Nature; 2008:124-140. doi:10.1007/978-3-540-85778-5_10
View | Files available | DOI | arXiv
 

2008 | Published | Conference Paper | IST-REx-ID: 3877
Chatterjee K, Henzinger TA, Jobstmann B. Environment assumptions for synthesis. In: 19th International Conference on Concurrency Theory. Vol 5201. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:147-161. doi:10.1007/978-3-540-85361-9_14
[Preprint] View | DOI | arXiv
 

2008 | Published | Conference Paper | IST-REx-ID: 3878 | OA
Chatterjee K, De Alfaro L, Majumdar R. The complexity of coverage. In: 6th Asian Symposium on Programming Language and Systems. Vol 5356. Springer Nature; 2008:91-106. doi:10.1007/978-3-540-89330-1_7
View | DOI | Download None (ext.) | arXiv
 

2008 | Published | Conference Paper | IST-REx-ID: 3879
Chatterjee K, Doyen L, Henzinger TA. Quantitative languages. In: 22nd International Workshop on Computer Science Logic. Vol 5213. Springer Nature; 2008:385-400. doi:10.1007/978-3-540-87531-4_28
View | DOI
 

earlier version | 2008 | Published | Conference Paper | IST-REx-ID: 3880
Berwanger D, Chatterjee K, Doyen L, Henzinger TA, Raje S. Strategy construction for parity games with imperfect information. In: 19th International Conference, CONCUR 2008. Vol 5201. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:325-339. doi:10.1007/978-3-540-85361-9
View | Files available | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 3903
Ugelvig LV, Drijfhout F, Kronauer D, Boomsma J, Pedersen J, Cremer S. The introduction history of invasive garden ants in Europe: integrating genetic, chemical and behavioural approaches. BMC Biology. 2008;6(11). doi:10.1186/1741-7007-6-11
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 3905
Cremer S, D’Ettorre P, Drijfhout F, Sledge M, Turillazzi S, Heinze J. Imperfect chemical female mimicry in males of the ant Cardiocondyla obscurior. Naturwissenschaften. 2008;95(11):1101-1105. doi:10.1007/s00114-008-0430-8
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 3906
Cremer S, Ugelvig LV, Drijfhout F, et al. The evolution of invasiveness in garden ants. PLoS One. 2008;3(12). doi:10.1371/journal.pone.0003838
View | DOI | PubMed | Europe PMC
 

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

2008 | Published | Journal Article | IST-REx-ID: 3939
Lämmermann T, Sixt MK. The microanatomy of T-cell responses. Immunological Reviews. 2008;221(1):26-43. doi:10.1111/j.1600-065X.2008.00592.x
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed