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.
1481 Publications
2010 |Published| Conference Paper | IST-REx-ID: 4389 | 
L. Doyen, T. A. Henzinger, A. Legay, and D. Nickovic, “Robustness of sequential circuits,” presented at the ACSD: Application of Concurrency to System Design, 2010, pp. 77–84.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 4396 |
D. Beyer, T. A. Henzinger, G. Théoduloz, and D. Zufferey, “Shape refinement through explicit heap analysis,” presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus, 2010, vol. 6013, pp. 263–277.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3867 |
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Expressiveness and closure properties for quantitative languages,” Logical Methods in Computer Science, vol. 6, no. 3. International Federation of Computational Logic, pp. 1–23, 2010.
[Published Version]
View
| Files available
| DOI
2010 |Published| Technical Report | IST-REx-ID: 5388 |
K. Chatterjee, P. Cerny, T. A. Henzinger, A. Radhakrishna, and R. Singh, Quantitative synthesis for concurrent programs. IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 7078 |
E. K. H. Salje et al., “Tin telluride: A weakly co-elastic metal,” Physical Review B, vol. 82, no. 18. APS, 2010.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 |Published| Journal Article | IST-REx-ID: 9146 |
P. A. O’Gorman and C. J. Muller, “How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations?,” Environmental Research Letters, vol. 5, no. 2. IOP Publishing, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 |Published| Journal Article | IST-REx-ID: 3779 |
U. Rosas, N. H. Barton, L. Copsey, P. Barbier De Reuille, and E. Coen, “Cryptic variation between species and the basis of hybrid performance,” PLoS Biology, vol. 8, no. 7. Public Library of Science, 2010.
[Published Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 13410
A. Coskun et al., “Molecular-mechanical switching at the nanoparticle−solvent interface: Practice and theory,” Journal of the American Chemical Society, vol. 132, no. 12. American Chemical Society, pp. 4310–4320, 2010.
View
| DOI
| PubMed | Europe PMC
2009 |Published| Journal Article | IST-REx-ID: 1038 |
M. Mark et al., “Dark resonances for ground-state transfer of molecular quantum gases,” Applied Physics B: Lasers and Optics, vol. 95, no. 2. Springer, pp. 219–225, 2009.
View
| DOI
| Download None (ext.)
| arXiv
2009 |Published| Journal Article | IST-REx-ID: 1041 |
J. G. Danzl et al., “Deeply bound ultracold molecules in an optical lattice,” New Journal of Physics, vol. 11. IOP Publishing Ltd., 2009.
View
| DOI
| Download None (ext.)
| arXiv
2009 |Published| Journal Article | IST-REx-ID: 110
A. Des Jardins, R. Canfield, D. Longcope, C. Fordyce, and S. R. Waitukaitis, “Reconnection in three dimensions: The role of spines in three eruptive flares,” The Astrophysical Journal, vol. 693, no. 2. IOP Publishing Ltd., pp. 1628–1636, 2009.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 12654 |
M. Carenzo, F. Pellicciotti, S. Rimkus, and P. Burlando, “Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model,” Journal of Glaciology, vol. 55, no. 190. Cambridge University Press, pp. 258–274, 2009.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 |Published| Journal Article | IST-REx-ID: 2119 |
J. Maas and J. Van Neerven, “Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces,” Journal of Functional Analysis, vol. 257, no. 8. Academic Press, pp. 2410–2475, 2009.
View
| DOI
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 2149 |
M. Lemeshko and B. Friedrich, “Collisions of paramagnetic molecules in magnetic fields: An analytic model based on Fraunhofer diffraction of matter waves,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 79, no. 1. American Physical Society, 2009.
View
| DOI
| Download (ext.)