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.
5865 Publications
2013 |Published| Journal Article | IST-REx-ID: 970 | 
M. Serbyn and D. Abanin, “New Dirac points and multiple Landau level crossings in biased trilayer graphene,” Physical Review B - Condensed Matter and Materials Physics, vol. 87, no. 11. American Physical Society, 2013.
View
| DOI
| Download (ext.)
2013 |Published| Journal Article | IST-REx-ID: 973 |
M. Serbyn, Z. Papić, and D. Abanin, “Local conservation laws and the structure of the many body localized states,” Physical Review Letters, vol. 111, no. 12. American Physical Society, 2013.
View
| DOI
| Download (ext.)
2013 |Published| Journal Article | IST-REx-ID: 974 |
M. Serbyn, T. Senthil, and P. Lee, “Overscreened Kondo fixed point in S=1 spin liquid,” Physical Review B - Condensed Matter and Materials Physics, vol. 88, no. 2. American Physical Society, 2013.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Journal Article | IST-REx-ID: 2284 |
S. Tragust, L. V. Ugelvig, M. Chapuisat, J. Heinze, and S. Cremer, “Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies,” BMC Evolutionary Biology, vol. 13, no. 1. BioMed Central, 2013.
[Published Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2277 |
K. Simmons et al., “Transformation of stimulus correlations by the retina,” PLoS Computational Biology, vol. 9, no. 12. Public Library of Science, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Research Data Reference | IST-REx-ID: 9754 |
J. Hearn, G. Stone, N. H. Barton, K. Lohse, and L. Bunnefeld, “Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies.” Dryad, 2013.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 |Published| Journal Article | IST-REx-ID: 976 |
M. Serbyn and P. Lee, “Spinon-phonon interaction in algebraic spin liquids,” Physical Review B - Condensed Matter and Materials Physics, vol. 87, no. 17. American Physical Society, 2013.
View
| DOI
| Download (ext.)
2013 |Published| Journal Article | IST-REx-ID: 12638 |
A. F. Lutz, W. W. Immerzeel, A. Gobiet, F. Pellicciotti, and M. F. P. Bierkens, “Comparison of climate change signals in CMIP3 and CMIP5 multi-model ensembles and implications for Central Asian glaciers,” Hydrology and Earth System Sciences, vol. 17, no. 9. Copernicus GmbH, pp. 3661–3677, 2013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 |Published| Journal Article | IST-REx-ID: 12639 |
S. Ragettli, F. Pellicciotti, R. Bordoy, and W. W. Immerzeel, “Sources of uncertainty in modeling the glaciohydrological response of a Karakoram watershed to climate change,” Water Resources Research, vol. 49, no. 9. American Geophysical Union, pp. 6048–6066, 2013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 |Published| Journal Article | IST-REx-ID: 9520 |
X. Feng, D. Zilberman, and H. Dickinson, “A conversation across generations: Soma-germ cell crosstalk in plants,” Developmental Cell, vol. 24, no. 3. Elsevier, pp. 215–225, 2013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 |Published| Journal Article | IST-REx-ID: 2914 |
G. Stephens, T. Mora, G. Tkačik, and W. Bialek, “Statistical thermodynamics of natural images,” Physical Review Letters, vol. 110, no. 1. American Physical Society, 2013.
[Published Version]
View
| Files available
| DOI
| arXiv
2013 |Published| Book Chapter | IST-REx-ID: 5747 |
C. Dragoi, A. Gupta, and T. A. Henzinger, “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates,” in Computer Aided Verification, vol. 8044, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 174–190.
View
| Files available
| DOI
2013 |Published| Thesis | IST-REx-ID: 1405 |
D. Zufferey, “Analysis of dynamic message passing programs,” Institute of Science and Technology Austria, 2013.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 |Published| Conference Paper | IST-REx-ID: 2847 |
K. Bansal, E. Koskinen, T. Wies, and D. Zufferey, “Structural Counter Abstraction,” vol. 7795. Springer, pp. 62–77, 2013.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2013 |Published| Journal Article | IST-REx-ID: 2247 |
B. Zagorsky, J. Reiter, K. Chatterjee, and M. Nowak, “Forgiver triumphs in alternating prisoner’s dilemma ,” PLoS One, vol. 8, no. 12. Public Library of Science, 2013.
[Published Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2858 |
J. Reiter, I. Božić, B. Allen, K. Chatterjee, and M. Nowak, “The effect of one additional driver mutation on tumor progression,” Evolutionary Applications, vol. 6, no. 1. Wiley-Blackwell, pp. 34–45, 2013.
[Published Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2816 |
I. Božić et al., “Evolutionary dynamics of cancer in response to targeted combination therapy,” eLife, vol. 2. eLife Sciences Publications, 2013.
[Published Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2000 |
J. Reiter, I. Božić, K. Chatterjee, and M. Nowak, “TTP: Tool for tumor progression,” in Proceedings of 25th Int. Conf. on Computer Aided Verification, St. Petersburg, Russia, 2013, vol. 8044, pp. 101–106.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Conference Paper | IST-REx-ID: 2445 |
P. Cerny, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, and T. Tarrach, “Efficient synthesis for concurrency by semantics-preserving transformations,” presented at the CAV: Computer Aided Verification, St. Petersburg, Russia, 2013, vol. 8044, pp. 951–967.
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2305 |
T. Brázdil, K. Chatterjee, V. Forejt, and A. Kučera, “Trading performance for stability in Markov decision processes,” in 28th Annual ACM/IEEE Symposium, New Orleans, LA, United States, 2013, pp. 331–340.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv