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.

5611 Publications


2009 | Published | Journal Article | IST-REx-ID: 1040 | OA
Haller E, Gustavsson M, Mark M, Danzl JG, Hart R, Pupillo G, Nägerl H. 2009. Realization of an excited, strongly correlated quantum gas Phase. Science. 325(5945), 1224–1227.
View | DOI | Download None (ext.) | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 1041 | OA
Danzl JG, Mark M, Haller E, Gustavsson M, Hart R, Liem A, Zellmer H, Nägerl H. 2009. Deeply bound ultracold molecules in an optical lattice. New Journal of Physics. 11.
View | DOI | Download None (ext.) | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 1043 | OA
Danzl JG, Mark M, Haller E, Gustavsson M, Bouloufa N, Dulieu O, Ritsch H, Hart R, Nägerl H. 2009. Precision molecular spectroscopy for ground state transfer of molecular quantum gases. Faraday Discussions. 142, 283–295.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Conference Paper | IST-REx-ID: 11912 | OA
Baykan Eda, Henzinger MH, Keller SF, de Castelberg S, Kinzler M. 2009. A comparison of techniques for sampling web pages. 26th International Symposium on Theoretical Aspects of Computer Science. STACS: Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 3, 13–30.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 12654 | OA
Carenzo M, Pellicciotti F, Rimkus S, Burlando P. 2009. Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model. Journal of Glaciology. 55(190), 258–274.
[Published Version] View | DOI | Download Published Version (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 12655 | OA
Pellicciotti F, Carenzo M, Helbing J, Rimkus S, Burlando P. 2009. On the role of subsurface heat conduction in glacier energy-balance modelling. Annals of Glaciology. 50(50), 16–24.
[Published Version] View | DOI | Download Published Version (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 3503 | OA
Chatterjee K, Henzinger TA. 2009. Probabilistic systems with limsup and liminf objectives. ILC: Infinity in Logic and Computation, LNCS, vol. 5489, 32–45.
View | DOI | Download (ext.)
 

2009 | Published | Preprint | IST-REx-ID: 3732 | OA
Tkačik G, Schneidman E, Berry M, Bialek W. 2009. Spin glass models for a network of real neurons. ArXiv, q-NC, .
View | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 3775 | OA
Barton NH, Coe J. 2009. On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. 259(2), 317–324.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 3780 | OA
Davison A, Barton NH, Clarke B. 2009. The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails. Journal of Evolutionary Biology. 22(8), 1624–1635.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3837 | OA
Tripakis S, Lickly B, Henzinger TA, Lee E. 2009. On relational interfaces. EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software. EMSOFT: Embedded Software , 67–76.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3841 | OA
Henzinger TA, Jobstmann B, Wolf V. 2009. Formalisms for specifying Markovian population models. RP: Reachability Problems, LNCS, vol. 5797, 3–23.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3843 | OA
Didier F, Henzinger TA, Mateescu M, Wolf V. 2009. Fast adaptive uniformization of the chemical master equation. HIBI: High-Performance Computational Systems Biology vol. 4, 118–127.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger TA, Kirsch C, Marques E, Sokolova A. 2009. Distributed, modular HTL. RTSS: Real-Time Systems Symposium, 171–180.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee K, Henzinger TA, Horn F. 2009. Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). 11(1), 1.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee K, Doyen L, Henzinger TA. 2009. Probabilistic weighted automata. CONCUR: Concurrency Theory, LNCS, vol. 5710, 244–258.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3946 | OA
Cremer S, Sixt MK. 2009. Analogies in the evolution of individual and social immunity. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 364(1513), 129–142.
View | DOI | Download None (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 3968 | OA
Edelsbrunner H, Harer J. 2009. The persistent Morse complex segmentation of a 3-manifold. 3DPH: Modelling the Physiological Human, LNCS, vol. 5903, 36–50.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 4136 | OA
Polechova J, Barton NH, Marion G. 2009. Species’ range: Adaptation in space and time. American Naturalist. 174(5), E186–E204.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Published | Journal Article | IST-REx-ID: 4242 | OA
Barton NH, De Cara M. 2009. The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. 63(5), 1171–1190.
[Submitted Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed