Please note that IST 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.

3229 Publications


2009 | Journal Article | IST-REx-ID: 1043 | OA
Danzl JG, Mark M, Haller E, et al. Precision molecular spectroscopy for ground state transfer of molecular quantum gases. Faraday Discussions. 2009;142:283-295. doi:10.1039/b820542f
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 9147 | OA
MULLER CJ, Bühler O. Saturation of the internal tides and induced mixing in the abyssal ocean. Journal of Physical Oceanography. 2009;39(9):2077-2096. doi:10.1175/2009jpo4141.1
View | DOI | Download Published Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 9148 | OA
MULLER CJ, Back LE, O’Gorman PA, Emanuel KA. A model for the relationship between tropical precipitation and column water vapor. Geophysical Research Letters. 2009;36(16). doi:10.1029/2009gl039667
View | DOI | Download Published Version (ext.)
 

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

2009 | Journal Article | IST-REx-ID: 3775 | OA
Barton NH, Coe J. On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. 2009;259(2):317-324. doi:10.1016/j.jtbi.2009.03.019
View | DOI | Download Submitted Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 3780 | OA
Davison A, Barton NH, Clarke B. 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. 2009;22(8):1624-1635. doi:10.1111/j.1420-9101.2009.01770.x
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3837 | OA
Tripakis S, Lickly B, Henzinger TA, Lee E. On relational interfaces. In: EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software. ACM; 2009:67-76. doi:10.1145/1629335.1629346
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3841 | OA
Henzinger TA, Jobstmann B, Wolf V. Formalisms for specifying Markovian population models. In: Vol 5797. Springer; 2009:3-23. doi:10.1007/978-3-642-04420-5_2
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
Didier F, Henzinger TA, Mateescu M, Wolf V. Fast adaptive uniformization of the chemical master equation. In: Vol 4. IEEE; 2009:118-127. doi:10.1109/HiBi.2009.23
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger TA, Kirsch C, Marques E, Sokolova A. Distributed, modular HTL. In: IEEE; 2009:171-180. doi:10.1109/RTSS.2009.9
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee K, Henzinger TA, Horn F. Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). 2009;11(1). doi:10.1145/1614431.1614432
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee K, Doyen L, Henzinger TA. Probabilistic weighted automata. In: Vol 5710. Springer; 2009:244-258. doi:10.1007/978-3-642-04081-8_17
View | Files available | DOI
 

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

2009 | Conference Paper | IST-REx-ID: 3968 | OA
Edelsbrunner H, Harer J. The persistent Morse complex segmentation of a 3-manifold. In: Vol 5903. Springer; 2009:36-50. doi:10.1007/978-3-642-10470-1_4
View | Files available | DOI
 

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

2009 | Journal Article | IST-REx-ID: 4242 | OA
Barton NH, De Cara M. The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. 2009;63(5):1171-1190. doi:10.1111/j.1558-5646.2009.00622.x
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4383 | OA
Guerraoui R, Henzinger TA, Singh V. Software transactional memory on relaxed memory models. In: Vol 5643. Springer; 2009:321-336. doi:10.1007/978-3-642-02658-4_26
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
Alur R, Cerny P, Weinstein S. Algorithmic analysis of array-accessing programs. In: Vol 5771. Springer; 2009:86-101. doi:10.1007/978-3-642-04027-6_9
View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4453 | OA
Henzinger TA, Mateescu M, Wolf V. Sliding-window abstraction for infinite Markov chains. In: Vol 5643. Springer; 2009:337-352. doi:10.1007/978-3-642-02658-4_27
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4542 | OA
Chatterjee K, Doyen L, Henzinger TA. Alternating weighted automata. In: Vol 5699. Springer; 2009:3-13. doi:10.1007/978-3-642-03409-1_2
View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications