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| Journal Article | IST-REx-ID: 4221
Movement directionality in collective migration of germ layer progenitors
Y. Arboleda Estudillo, M. Krieg, J. Stuehmer, N. Licata, D. Mueller, C.-P.J. Heisenberg, Current Biology 20 (2010) 161–169.
View
| DOI
Y. Arboleda Estudillo, M. Krieg, J. Stuehmer, N. Licata, D. Mueller, C.-P.J. Heisenberg, Current Biology 20 (2010) 161–169.
2010 |Published| Conference Paper | IST-REx-ID: 4389 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Robustness of sequential circuits
L. Doyen, T.A. Henzinger, A. Legay, D. Nickovic, in:, IEEE, 2010, pp. 77–84.
[Submitted Version]
View
| Files available
| DOI
L. Doyen, T.A. Henzinger, A. Legay, D. Nickovic, in:, IEEE, 2010, pp. 77–84.
2010 |Published| Conference Paper | IST-REx-ID: 4396 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Shape refinement through explicit heap analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.
[Submitted Version]
View
| Files available
| DOI
D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.
2010 |Published| Conference Paper | IST-REx-ID: 4395
Verifying local transformations on relaxed memory models
S. Burckhardt, M. Musuvathi, V. Singh, in:, R. Gupta (Ed.), Springer, 2010, pp. 104–123.
View
| DOI
S. Burckhardt, M. Musuvathi, V. Singh, in:, R. Gupta (Ed.), Springer, 2010, pp. 104–123.
2010 |Published| Journal Article | IST-REx-ID: 3867 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Expressiveness and closure properties for quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, Logical Methods in Computer Science 6 (2010) 1–23.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, Logical Methods in Computer Science 6 (2010) 1–23.
2010 |Published| Technical Report | IST-REx-ID: 5388 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Quantitative synthesis for concurrent programs
K. Chatterjee, P. Cerny, T.A. Henzinger, A. Radhakrishna, R. Singh, Quantitative Synthesis for Concurrent Programs, IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, P. Cerny, T.A. Henzinger, A. Radhakrishna, R. Singh, Quantitative Synthesis for Concurrent Programs, IST Austria, 2010.
2010 |Published| Journal Article | IST-REx-ID: 7078 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tin telluride: A weakly co-elastic metal
E.K.H. Salje, D.J. Safarik, K.A. Modic, J.E. Gubernatis, J.C. Cooley, R.D. Taylor, B. Mihaila, A. Saxena, T. Lookman, J.L. Smith, R.A. Fisher, M. Pasternak, C.P. Opeil, T. Siegrist, P.B. Littlewood, J.C. Lashley, Physical Review B 82 (2010).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E.K.H. Salje, D.J. Safarik, K.A. Modic, J.E. Gubernatis, J.C. Cooley, R.D. Taylor, B. Mihaila, A. Saxena, T. Lookman, J.L. Smith, R.A. Fisher, M. Pasternak, C.P. Opeil, T. Siegrist, P.B. Littlewood, J.C. Lashley, Physical Review B 82 (2010).
2010 |Published| Conference Paper | IST-REx-ID: 758
Brief announcement: New bounds for partially synchronous set agreement
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2010, pp. 404–405.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2010, pp. 404–405.
2010 |Published| Journal Article | IST-REx-ID: 9145
Ocean turbulence, III: New GISS vertical mixing scheme
V.M. Canuto, A.M. Howard, Y. Cheng, C.J. Muller, A. Leboissetier, S.R. Jayne, Ocean Modelling 34 (2010) 70–91.
View
| DOI
V.M. Canuto, A.M. Howard, Y. Cheng, C.J. Muller, A. Leboissetier, S.R. Jayne, Ocean Modelling 34 (2010) 70–91.
2010 |Published| Journal Article | IST-REx-ID: 9146 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations?
P.A. O’Gorman, C.J. Muller, Environmental Research Letters 5 (2010).
[Published Version]
View
| DOI
| Download Published Version (ext.)
P.A. O’Gorman, C.J. Muller, Environmental Research Letters 5 (2010).
2010 |Published| Journal Article | IST-REx-ID: 862
Compensatory evolution in mitochondrial tRNAs navigates valleys of low fitness
M. Meer, A. Kondrashov, Y. Artzy Randrup, F. Kondrashov, Nature 464 (2010) 279–282.
View
| DOI
M. Meer, A. Kondrashov, Y. Artzy Randrup, F. Kondrashov, Nature 464 (2010) 279–282.
2010 |Published| Journal Article | IST-REx-ID: 3779 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cryptic variation between species and the basis of hybrid performance
U. Rosas, N.H. Barton, L. Copsey, P. Barbier De Reuille, E. Coen, PLoS Biology 8 (2010).
[Published Version]
View
| Files available
| DOI
U. Rosas, N.H. Barton, L. Copsey, P. Barbier De Reuille, E. Coen, PLoS Biology 8 (2010).
2010 |Published| Journal Article | IST-REx-ID: 13410
Molecular-mechanical switching at the nanoparticle−solvent interface: Practice and theory
A. Coskun, P.J. Wesson, R. Klajn, A. Trabolsi, L. Fang, M.A. Olson, S.K. Dey, B.A. Grzybowski, J.F. Stoddart, Journal of the American Chemical Society 132 (2010) 4310–4320.
View
| DOI
| PubMed | Europe PMC
A. Coskun, P.J. Wesson, R. Klajn, A. Trabolsi, L. Fang, M.A. Olson, S.K. Dey, B.A. Grzybowski, J.F. Stoddart, Journal of the American Chemical Society 132 (2010) 4310–4320.
2009 |Published| Journal Article | IST-REx-ID: 1038 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dark resonances for ground-state transfer of molecular quantum gases
M. Mark, J.G. Danzl, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Salami, T. Bergeman, H. Ritsch, R. Hart, H. Nägerl, Applied Physics B: Lasers and Optics 95 (2009) 219–225.
View
| DOI
| Download None (ext.)
| arXiv
M. Mark, J.G. Danzl, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Salami, T. Bergeman, H. Ritsch, R. Hart, H. Nägerl, Applied Physics B: Lasers and Optics 95 (2009) 219–225.
2009 |Published| Journal Article | IST-REx-ID: 1041 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Deeply bound ultracold molecules in an optical lattice
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, A. Liem, H. Zellmer, H. Nägerl, New Journal of Physics 11 (2009).
View
| DOI
| Download None (ext.)
| arXiv
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, A. Liem, H. Zellmer, H. Nägerl, New Journal of Physics 11 (2009).
2009 |Published| Journal Article | IST-REx-ID: 110
Reconnection in three dimensions: The role of spines in three eruptive flares
A. Des Jardins, R. Canfield, D. Longcope, C. Fordyce, S.R. Waitukaitis, The Astrophysical Journal 693 (2009) 1628–1636.
View
| DOI
A. Des Jardins, R. Canfield, D. Longcope, C. Fordyce, S.R. Waitukaitis, The Astrophysical Journal 693 (2009) 1628–1636.
2009 |Published| Conference Paper | IST-REx-ID: 11906
Detecting the origin of text segments efficiently
O. Abdel Hamid, B. Behzadi, S. Christoph, M.H. Henzinger, in:, 18th International World Wide Web Conference, Association for Computing Machinery, 2009, pp. 61–70.
View
| DOI
O. Abdel Hamid, B. Behzadi, S. Christoph, M.H. Henzinger, in:, 18th International World Wide Web Conference, Association for Computing Machinery, 2009, pp. 61–70.
2009 |Published| Journal Article | IST-REx-ID: 12654 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model
M. Carenzo, F. Pellicciotti, S. Rimkus, P. Burlando, Journal of Glaciology 55 (2009) 258–274.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Carenzo, F. Pellicciotti, S. Rimkus, P. Burlando, Journal of Glaciology 55 (2009) 258–274.
2009 |Published| Journal Article | IST-REx-ID: 2119 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces
J. Maas, J. Van Neerven, Journal of Functional Analysis 257 (2009) 2410–2475.
View
| DOI
| Download (ext.)
J. Maas, J. Van Neerven, Journal of Functional Analysis 257 (2009) 2410–2475.
2009 |Published| Journal Article | IST-REx-ID: 2149 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Collisions of paramagnetic molecules in magnetic fields: An analytic model based on Fraunhofer diffraction of matter waves
M. Lemeshko, B. Friedrich, Physical Review A - Atomic, Molecular, and Optical Physics 79 (2009).
View
| DOI
| Download (ext.)
M. Lemeshko, B. Friedrich, Physical Review A - Atomic, Molecular, and Optical Physics 79 (2009).