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.
7112 Publications
2009 | Published | Conference Paper | IST-REx-ID: 3837 | 
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
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.
2009 | Published | Conference Paper | IST-REx-ID: 3844 |
Distributed, modular HTL
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
2009 | Published | Conference Paper | IST-REx-ID: 4569 |
Better quality in synthesis through quantitative objectives
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
2008 | Published | Journal Article | IST-REx-ID: 1036 |
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
M. Gustavsson, E. Haller, M. Mark, J.G. Danzl, G. Rojas Kopeinig, H. Nägerl, Physical Review Letters 100 (2008).
2008 | Published | Journal Article | IST-REx-ID: 1037 |
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
S. Knoop, M. Mark, F. Ferlaino, J.G. Danzl, T. Kraemer, H. Nägerl, R. Grimm, Physical Review Letters 100 (2008).
2008 | Published | Journal Article | IST-REx-ID: 1039 |
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
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.
2008 | Published | Journal Article | IST-REx-ID: 1826
Cellular properties and population asymptotics in the population balance equation
T. Friedlander, N. Brenner, Physical Review Letters 101 (2008).
View
| DOI
| Download (ext.)
T. Friedlander, N. Brenner, Physical Review Letters 101 (2008).
2008 | Published | Journal Article | IST-REx-ID: 1967
Chemical and NADH-induced, ROS-dependent, cross-linking between sublimits of complex I from Escherichia coli and Thermus thermophilus
J. Berrisford, C. Thompson, L.A. Sazanov, Biochemistry 47 (2008) 10262–10270.
View
| DOI
J. Berrisford, C. Thompson, L.A. Sazanov, Biochemistry 47 (2008) 10262–10270.
2008 | Published | Journal Article | IST-REx-ID: 1968
Three-dimensional structure of respiratory complex I from Escherichia coli in ice in the presence of nucleotides
D. Morgan, L.A. Sazanov, Biochimica et Biophysica Acta - Bioenergetics 1777 (2008) 711–718.
View
| DOI
D. Morgan, L.A. Sazanov, Biochimica et Biophysica Acta - Bioenergetics 1777 (2008) 711–718.
2008 | Published | Journal Article | IST-REx-ID: 1982
Spatial regulators for bacterial cell division self-organize into surface waves in vitro
M. Loose, E. Fischer Friedrich, J. Ries, K. Kruse, P. Schwille, Science 320 (2008) 789–792.
View
| DOI
M. Loose, E. Fischer Friedrich, J. Ries, K. Kruse, P. Schwille, Science 320 (2008) 789–792.
2008 | Published | Journal Article | IST-REx-ID: 2065
A multispecies approach for comparing sequence evolution of X-linked and autosomal sites in Drosophila
B. Vicoso, P. Haddrill, B. Charlesworth, Genetical Research 90 (2008) 421–431.
View
| DOI
B. Vicoso, P. Haddrill, B. Charlesworth, Genetical Research 90 (2008) 421–431.
2008 | Published | Conference Paper | IST-REx-ID: 2078
Pose-space animation and transfer of facial details
B. Bickel, M. Lang, M. Botsch, M. Otaduy, M. Gross, in:, ACM, 2008, pp. 57–66.
View
| DOI
B. Bickel, M. Lang, M. Botsch, M. Otaduy, M. Gross, in:, ACM, 2008, pp. 57–66.
2008 | Published | Journal Article | IST-REx-ID: 2120 |
On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces
J. Maas, J. Van Neerven, Infinite Dimensional Analysis, Quantum Probability and Related Topics 11 (2008) 603–626.
View
| DOI
| Download (ext.)
J. Maas, J. Van Neerven, Infinite Dimensional Analysis, Quantum Probability and Related Topics 11 (2008) 603–626.
2008 | Published | Journal Article | IST-REx-ID: 2121 |
A Clark-Ocone formula in UMD Banach spaces
J. Van Neerven, J. Maas, Electronic Communications in Probability 13 (2008) 151–164.
View
| Download (ext.)
J. Van Neerven, J. Maas, Electronic Communications in Probability 13 (2008) 151–164.
2008 | Published | Journal Article | IST-REx-ID: 2146 |
An analytic model of rotationally inelastic collisions of polar molecules in electric fields
M. Lemeshko, B. Friedrich, Journal of Chemical Physics 129 (2008).
View
| DOI
| Download (ext.)
M. Lemeshko, B. Friedrich, Journal of Chemical Physics 129 (2008).
2008 | Published | Book Review | IST-REx-ID: 2147
Kvantový Zenonův jev aneb co nesejde z očí, nezestárne
M. Lemeshko, B. Friedrich, Chemicke Listy 102 (2008) 880–883.
View
M. Lemeshko, B. Friedrich, Chemicke Listy 102 (2008) 880–883.
2008 | Published | Journal Article | IST-REx-ID: 2148
In situ X-ray absorption spectroscopy measurement of vapour-brine fractionation of antimony at hydrothermal conditions
G. Pokrovski, J. Roux, J. Hazemann, A. Borisova, A. Gonchar, M. Lemeshko, Mineralogical Magazine 72 (2008) 667–681.
View
| DOI
G. Pokrovski, J. Roux, J. Hazemann, A. Borisova, A. Gonchar, M. Lemeshko, Mineralogical Magazine 72 (2008) 667–681.
2008 | Published | Journal Article | IST-REx-ID: 224
On the representation of integers by quadratic forms
T.D. Browning, R. Dietmann, Proceedings of the London Mathematical Society 96 (2008) 389–416.
View
| DOI
T.D. Browning, R. Dietmann, Proceedings of the London Mathematical Society 96 (2008) 389–416.
2008 | Published | Journal Article | IST-REx-ID: 225
Binary linear forms as sums of two squares
R. De La Bretèche, T.D. Browning, Compositio Mathematica 144 (2008) 1375–1402.
View
| DOI
R. De La Bretèche, T.D. Browning, Compositio Mathematica 144 (2008) 1375–1402.
2008 | Published | Conference Paper | IST-REx-ID: 2331 |
Spectral properties of the BCS gap equation of superfluidity
C. Hainzl, R. Seiringer, in:, World Scientific Publishing, 2008, pp. 117–136.
View
| DOI
| Download (ext.)
C. Hainzl, R. Seiringer, in:, World Scientific Publishing, 2008, pp. 117–136.