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
Arboleda Estudillo, Y., Krieg, M., Stuehmer, J., Licata, N., Mueller, D., & Heisenberg, C.-P. J. (2010). Movement directionality in collective migration of germ layer progenitors. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2009.11.036
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 4389 | 
Doyen, L., Henzinger, T. A., Legay, A., & Nickovic, D. (2010). Robustness of sequential circuits (pp. 77–84). Presented at the ACSD: Application of Concurrency to System Design, IEEE. https://doi.org/10.1109/ACSD.2010.26
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 4396 |
Beyer, D., Henzinger, T. A., Théoduloz, G., & Zufferey, D. (2010). Shape refinement through explicit heap analysis. In D. Rosenblum & G. Taenzer (Eds.) (Vol. 6013, pp. 263–277). Presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-12029-9_19
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 4395
Burckhardt, S., Musuvathi, M., & Singh, V. (2010). Verifying local transformations on relaxed memory models. In R. Gupta (Ed.) (Vol. 6011, pp. 104–123). Presented at the CC: Compiler Construction, Pahos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-11970-5_7
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3867 |
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2010). Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-6(3:10)2010
[Published Version]
View
| Files available
| DOI
2010 |Published| Technical Report | IST-REx-ID: 5388 |
Chatterjee, K., Cerny, P., Henzinger, T. A., Radhakrishna, A., & Singh, R. (2010). Quantitative synthesis for concurrent programs. IST Austria. https://doi.org/10.15479/AT:IST-2010-0004
[Published Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 7078 |
Salje, E. K. H., Safarik, D. J., Modic, K. A., Gubernatis, J. E., Cooley, J. C., Taylor, R. D., … Lashley, J. C. (2010). Tin telluride: A weakly co-elastic metal. Physical Review B. APS. https://doi.org/10.1103/physrevb.82.184112
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 |Published| Conference Paper | IST-REx-ID: 758
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Travers, C. (2010). Brief announcement: New bounds for partially synchronous set agreement (Vol. 6343 LNCS, pp. 404–405). Presented at the DISC: Distributed Computing, Springer. https://doi.org/10.1007/978-3-642-15763-9_40
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 9145
Canuto, V. M., Howard, A. M., Cheng, Y., Muller, C. J., Leboissetier, A., & Jayne, S. R. (2010). Ocean turbulence, III: New GISS vertical mixing scheme. Ocean Modelling. Elsevier. https://doi.org/10.1016/j.ocemod.2010.04.006
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 9146 |
O’Gorman, P. A., & Muller, C. J. (2010). How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations? Environmental Research Letters. IOP Publishing. https://doi.org/10.1088/1748-9326/5/2/025207
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 |Published| Journal Article | IST-REx-ID: 862
Meer, M., Kondrashov, A., Artzy Randrup, Y., & Kondrashov, F. (2010). Compensatory evolution in mitochondrial tRNAs navigates valleys of low fitness. Nature. Nature Publishing Group. https://doi.org/10.1038/nature08691
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3779 |
Rosas, U., Barton, N. H., Copsey, L., Barbier De Reuille, P., & Coen, E. (2010). Cryptic variation between species and the basis of hybrid performance. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1000429
[Published Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 13410
Coskun, A., Wesson, P. J., Klajn, R., Trabolsi, A., Fang, L., Olson, M. A., … Stoddart, J. F. (2010). Molecular-mechanical switching at the nanoparticle−solvent interface: Practice and theory. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja9102327
View
| DOI
| PubMed | Europe PMC
2009 |Published| Journal Article | IST-REx-ID: 1038 |
Mark, M., Danzl, J. G., Haller, E., Gustavsson, M., Bouloufa, N., Dulieu, O., … Nägerl, H. (2009). Dark resonances for ground-state transfer of molecular quantum gases. Applied Physics B: Lasers and Optics. Springer. https://doi.org/10.1007/s00340-009-3407-1
View
| DOI
| Download None (ext.)
| arXiv
2009 |Published| Journal Article | IST-REx-ID: 1041 |
Danzl, J. G., Mark, M., Haller, E., Gustavsson, M., Hart, R., Liem, A., … Nägerl, H. (2009). Deeply bound ultracold molecules in an optical lattice. New Journal of Physics. IOP Publishing Ltd. https://doi.org/10.1088/1367-2630/11/5/055036
View
| DOI
| Download None (ext.)
| arXiv
2009 |Published| Journal Article | IST-REx-ID: 110
Des Jardins, A., Canfield, R., Longcope, D., Fordyce, C., & Waitukaitis, S. R. (2009). Reconnection in three dimensions: The role of spines in three eruptive flares. The Astrophysical Journal. IOP Publishing Ltd. https://doi.org/10.1088/0004-637X/693/2/1628
View
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 11906
Abdel Hamid, O., Behzadi, B., Christoph, S., & Henzinger, M. H. (2009). Detecting the origin of text segments efficiently. In 18th International World Wide Web Conference (pp. 61–70). Madrid, Spain: Association for Computing Machinery. https://doi.org/10.1145/1526709.1526719
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 12654 |
Carenzo, M., Pellicciotti, F., Rimkus, S., & Burlando, P. (2009). Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model. Journal of Glaciology. Cambridge University Press. https://doi.org/10.3189/002214309788608804
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 |Published| Journal Article | IST-REx-ID: 2119 |
Maas, J., & Van Neerven, J. (2009). Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces. Journal of Functional Analysis. Academic Press. https://doi.org/10.1016/j.jfa.2009.07.001
View
| DOI
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 2149 |
Lemeshko, M., & Friedrich, B. (2009). 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. American Physical Society. https://doi.org/10.1103/PhysRevA.79.012718
View
| DOI
| Download (ext.)