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.

6623 Publications


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

2009 | Published | Journal Article | IST-REx-ID: 3780 | OA [Submitted Version] View | Files available | DOI
 

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

2009 | Published | Conference Paper | IST-REx-ID: 3841 | OA
Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3843 | OA
Fast adaptive uniformization of the chemical master equation
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2009, pp. 118–127.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3844 | OA
Distributed, modular HTL
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
[Submitted Version] View | Files available | DOI
 

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

2009 | Published | Conference Paper | IST-REx-ID: 3871 | OA
Probabilistic weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
[Submitted Version] View | Files available | DOI
 

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

2009 | Published | Conference Paper | IST-REx-ID: 3968 | OA
The persistent Morse complex segmentation of a 3-manifold
H. Edelsbrunner, J. Harer, in:, Springer, 2009, pp. 36–50.
[Submitted Version] View | Files available | DOI
 

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

2009 | Published | Journal Article | IST-REx-ID: 18438 | OA
Partial similarity of shapes using a statistical significance measure
A.M. Bronstein, M.M. Bronstein, Y. Carmon, R. Kimmel, IPSJ Transactions on Computer Vision and Applications 1 (2009) 105–114.
[Published Version] View | DOI | Download Published Version (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 18031 | OA
Mechanically controlled binary conductance switching of a single-molecule junction
S.Y. Quek, M. Kamenetska, M.L. Steigerwald, H.J. Choi, S.G. Louie, M.S. Hybertsen, J.B. Neaton, L. Venkataraman, Nature Nanotechnology 4 (2009) 230–234.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 18030 | OA
Formation and evolution of single-molecule junctions
M. Kamenetska, M. Koentopp, A.C. Whalley, Y.S. Park, M.L. Steigerwald, C. Nuckolls, M.S. Hybertsen, L. Venkataraman, Physical Review Letters 102 (2009).
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2009 | Published | Conference Paper | IST-REx-ID: 18726 | OA
Observing the first stars and black holes
Z. Haiman, in:, Astrophysics and Space Science Proceedings, Springer Nature, Dordrecht, 2009, pp. 385–418.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Book Chapter | IST-REx-ID: 18735 | OA
Observing the First Stars and Black Holes
Z. Haiman, in:, H.A. Thronson, M. Stiavelli, A. Tielens (Eds.), Astrophysics in the Next Decade, Springer Nature, 2009, pp. 385–418.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2008 | Published | Journal Article | IST-REx-ID: 1036 | OA
Control of interaction-induced dephasing of bloch oscillations
M. Gustavsson, E. Haller, M. Mark, J.G. Danzl, G. Rojas Kopeinig, H. Nägerl, Physical Review Letters 100 (2008).
View | DOI | Download None (ext.) | arXiv
 

2008 | Published | Journal Article | IST-REx-ID: 1037 | OA
Metastable feshbach molecules in high rotational states
S. Knoop, M. Mark, F. Ferlaino, J.G. Danzl, T. Kraemer, H. Nägerl, R. Grimm, Physical Review Letters 100 (2008).
View | DOI | Download None (ext.) | arXiv
 

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

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

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed