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: 1037 | OA
Knoop S, Mark M, Ferlaino F, Danzl JG, Kraemer T, Nägerl H, Grimm R. 2008. Metastable feshbach molecules in high rotational states. Physical Review Letters. 100(8).
View | DOI | Download None (ext.) | arXiv
 

2008 | Published | Journal Article | IST-REx-ID: 1039 | OA
Danzl JG, Haller E, Gustavsson M, Mark M, Hart R, Bouloufa N, Dulieu O, Ritsch H, Nägerl H. 2008. Quantum gas of deeply bound ground state molecules. Science. 321(5892), 1062–1066.
View | DOI | Download None (ext.) | arXiv
 

2008 | Published | Journal Article | IST-REx-ID: 10392
Šarić A, Vrček V, Bühl M. 2008. Density functional study of protonated formylmetallocenes. Organometallics. 27(3), 394–401.
View | DOI | Download None (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 9457 | OA
Zilberman D, Coleman-Derr D, Ballinger T, Henikoff S. 2008. Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks. Nature. 456(7218), 125–129.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 9537
Zilberman D. 2008. The evolving functions of DNA methylation. Current Opinion in Plant Biology. 11(5), 554–559.
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 965 | OA
Morozov A, Serbyn M. 2008. Nonlinear algebra and Bogoliubov’s recursion. Theoretical and Mathematical Physics. 154(2), 270–293.
View | DOI | Download (ext.)
 

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

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

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

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

2008 | Published | Journal Article | IST-REx-ID: 3826
Doischer D, Hosp J, Yanagawa Y, Obata K, Jonas PM, Vida I, Bartos M. 2008. Postnatal differentiation of basket cells from slow to fast signaling devices. The Journal of Neuroscience. 28(48), 12956–68.
View | DOI | PubMed | Europe PMC
 

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

2008 | Published | Book Chapter | IST-REx-ID: 3872
Chatterjee K, Henzinger TA. 2008.Value iteration. In: 25 Years in Model Checking. LNCS, vol. 5000, 107–138.
View | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 3873
Chatterjee K, Majumdar R, Henzinger TA. 2008. Controller synthesis with budget constraints. 11th Workshop on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 4981, 72–86.
View | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 3874
Chatterjee K, Henzinger TA, Prabhu V. 2008. Trading infinite memory for uniform randomness in timed games. 11th Workshop on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 4981, 87–100.
View | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 3875
Chatterjee K, Henzinger TA, Sen K. 2008. Model-checking omega-regular properties of interval Markov chains. Foundations of Software Science and Computational Structures - 11th International Conference. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 4962, 302–317.
View | DOI
 

earlier version | 2008 | Published | Conference Paper | IST-REx-ID: 3876
Chatterjee K, Henzinger TA, Prabhu V. 2008. Timed parity games: complexity and robustness. Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 5215, 124–140.
View | Files available | DOI | arXiv
 

2008 | Published | Conference Paper | IST-REx-ID: 3877
Chatterjee K, Henzinger TA, Jobstmann B. 2008. Environment assumptions for synthesis. 19th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 5201, 147–161.
[Preprint] View | DOI | arXiv
 

2008 | Published | Conference Paper | IST-REx-ID: 3878 | OA
Chatterjee K, De Alfaro L, Majumdar R. 2008. The complexity of coverage. 6th Asian Symposium on Programming Language and Systems. APLAS: Asian Symposium on Programming Languages and Systems, LNCS, vol. 5356, 91–106.
View | DOI | Download None (ext.) | arXiv
 

2008 | Published | Conference Paper | IST-REx-ID: 3879
Chatterjee K, Doyen L, Henzinger TA. 2008. Quantitative languages. 22nd International Workshop on Computer Science Logic. CSL: Computer Science Logic, LNCS, vol. 5213, 385–400.
View | DOI
 

Filters and Search Terms

year=2008

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed