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.
7467 Publications
2010 | Published | Journal Article | IST-REx-ID: 10391 | 
Šarić, Anđela, et al. “Effective Elasticity of a Flexible Filament Bound to a Deformable Cylindrical Surface.” Physical Review Letters, vol. 104, no. 22, 226101, American Physical Society, 2010, doi:10.1103/physrevlett.104.226101.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 1044 |
Danzl, Johann G., et al. “An Ultracold High-Density Sample of Rovibronic Ground-State Molecules in an Optical Lattice.” Nature Physics, vol. 6, no. 4, Nature Publishing Group, 2010, pp. 265–70, doi:10.1038/nphys1533.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 1045 |
Haller, Elmar, et al. “Confinement-Induced Resonances in Low-Dimensional Quantum Systems.” Physical Review Letters, vol. 104, no. 15, American Physical Society, 2010, doi:10.1103/PhysRevLett.104.153203.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 1047 |
Haller, Elmar, et al. “Inducing Transport in a Dissipation-Free Lattice with Super Bloch Oscillations.” Physical Review Letters, vol. 104, no. 20, American Physical Society, 2010, doi:10.1103/PhysRevLett.104.200403.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 1049 |
Haller, Elmar, et al. “Pinning Quantum Phase Transition for a Luttinger Liquid of Strongly Interacting Bosons.” Nature, vol. 466, no. 7306, Nature Publishing Group, 2010, pp. 597–600, doi:10.1038/nature09259.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 9485 |
Zemach, Assaf, et al. “Local DNA Hypomethylation Activates Genes in Rice Endosperm.” Proceedings of the National Academy of Sciences, vol. 107, no. 43, National Academy of Sciences, 2010, pp. 18729–34, doi:10.1073/pnas.1009695107.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 9489 |
Zemach, Assaf, and Daniel Zilberman. “Evolution of Eukaryotic DNA Methylation and the Pursuit of Safer Sex.” Current Biology, vol. 20, no. 17, Elsevier, 2010, pp. R780–85, doi:10.1016/j.cub.2010.07.007.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 9012 |
Palacci, Jérémie A., et al. “Colloidal Motility and Pattern Formation under Rectified Diffusiophoresis.” Physical Review Letters, vol. 104, no. 13, 138302, American Physical Society, 2010, doi:10.1103/physrevlett.104.138302.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 9013 |
Palacci, Jérémie A., et al. “Sedimentation and Effective Temperature of Active Colloidal Suspensions.” Physical Review Letters, vol. 105, no. 8, 088304, American Physical Society , 2010, doi:10.1103/physrevlett.105.088304.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 9146 |
O’Gorman, P. A., and Caroline 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, 025207, IOP Publishing, 2010, doi:10.1088/1748-9326/5/2/025207.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 3853 |
Chatterjee, Krishnendu, et al. Mean-Payoff Automaton Expressions. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–83, doi:10.1007/978-3-642-15375-4_19.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3855 |
Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. Vol. 6281, Springer, 2010, pp. 258–69, doi:10.1007/978-3-642-15155-2_24.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4369 |
Nickovic, Dejan, and Nir Piterman. From MTL to Deterministic Timed Automata. Edited by Thomas A. Henzinger and Krishnendu Chatterjee, vol. 6246, Springer, 2010, pp. 152–67, doi:10.1007/978-3-642-15297-9_13.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3866 |
Bloem, Roderick, et al. Robustness in the Presence of Liveness. Edited by Tayssir Touili et al., vol. 6174, Springer, 2010, pp. 410–24, doi:10.1007/978-3-642-14295-6_36.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4388 |
Chatterjee, Krishnendu, et al. GIST: A Solver for Probabilistic Games. Vol. 6174, Springer, 2010, pp. 665–69, doi:10.1007/978-3-642-14295-6_57.
[Submitted Version]
View
| Files available
| DOI
| arXiv
2010 | Published | Conference Paper | IST-REx-ID: 4396 |
Beyer, Dirk, et al. Shape Refinement through Explicit Heap Analysis. Edited by David Rosenblum and Gabriele Taenzer, vol. 6013, Springer, 2010, pp. 263–77, doi:10.1007/978-3-642-12029-9_19.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4361 |
Wies, Thomas, et al. Forward Analysis of Depth-Bounded Processes. Edited by Luke Ong, vol. 6014, Springer, 2010, pp. 94–108, doi:10.1007/978-3-642-12032-9_8.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5388 |
Chatterjee, Krishnendu, et al. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010, doi:10.15479/AT:IST-2010-0004.
[Published Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 489 |
Cristau, Julien, et al. “How Do We Remember the Past in Randomised Strategies?” Proceedings of GandALF 2010, vol. 25, Open Publishing Association, 2010, pp. 30–39, doi:10.4204/EPTCS.25.7.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2010 | Published | Book Chapter | IST-REx-ID: 4339 |
Bergmann, Julia, and Patrick Danowski. “Ist Bibliothek 2.0 Überhaupt Noch Relevant? – Eine Einleitung in Das Handbuch.” Handbuch Bibliothek 2.0, edited by Julia Bergmann and Patrick Danowski, De Gruyter, 2010, pp. 5–20, doi:10.1515/9783110232103.
[Published Version]
View
| Files available
| DOI