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.
6384 Publications
2013 | Published | Technical Report | IST-REx-ID: 5399 | 
J. Reiter, I. Bozic, K. Chatterjee, and M. Nowak, TTP: Tool for Tumor Progression. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Published | Technical Report | IST-REx-ID: 5400 |
K. Chatterjee, M. Chmelik, and M. Tracol, What is decidable about partially observable Markov decision processes with ω-regular objectives. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Published | Report | IST-REx-ID: 5401 |
J. Porsche, Initiatives and projects related to RD. IST Austria, 2013.
[Published Version]
View
| Files available
2013 | Published | Technical Report | IST-REx-ID: 5402 |
T. A. Henzinger and A. Sezgin, How free is your linearizable concurrent data structure? IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Published | Technical Report | IST-REx-ID: 5403 |
K. Chatterjee and R. Ibsen-Jensen, Qualitative analysis of concurrent mean-payoff games. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Published | Technical Report | IST-REx-ID: 5405 |
K. Chatterjee, L. Doyen, H. Gimbert, and Y. Oualhadj, Perfect-information stochastic mean-payoff parity games. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Published | Report | IST-REx-ID: 5407 |
J. Porsche, Technical requirements and features. IST Austria, 2013.
[Published Version]
View
| Files available
2013 | Published | Technical Report | IST-REx-ID: 5408 |
K. Chatterjee, L. Doyen, S. Nain, and M. Vardi, The complexity of partial-observation stochastic parity games with finite-memory strategies. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Published | Technical Report | IST-REx-ID: 5410 |
U. Ahmed, K. Chatterjee, and S. Gulwani, Automatic generation of alternative starting positions for traditional board games. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
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 | Journal Article | IST-REx-ID: 595 |
C. Bernecky and P. Cramer, “Struggling to let go: A non-coding RNA directs its own extension and destruction,” EMBO Journal, vol. 32, no. 6. Wiley-Blackwell, pp. 771–772, 2013.
View
| DOI
| Download None (ext.)
2013 | Published | Journal Article | IST-REx-ID: 1759 |
N. Ares et al., “Nature of tunable hole g factors in quantum dots,” Physical Review Letters, vol. 110, no. 4. American Physical Society, 2013.
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 1760 |
N. Ares et al., “SiGe quantum dots for fast hole spin Rabi oscillations,” Applied Physics Letters, vol. 103, no. 26. American Institute of Physics, 2013.
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 17624 |
D. J. D’Orazio, Z. Haiman, and A. MacFadyen, “Accretion into the central cavity of a circumbinary disc,” Monthly Notices of the Royal Astronomical Society, vol. 436, no. 4. Oxford University Press, pp. 2997–3020, 2013.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Journal Article | IST-REx-ID: 17631 |
F. Pacucci, A. Mesinger, and Z. Haiman, “Focusing on warm dark matter with lensed high-redshift galaxies,” Monthly Notices of the Royal Astronomical Society: Letters, vol. 435, no. 1. Oxford University Press, pp. L53–L57, 2013.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Journal Article | IST-REx-ID: 17638 |
T. L. Tanaka and Z. Haiman, “Electromagnetic signatures of supermassive black hole binaries resolved by PTAs,” Classical and Quantum Gravity, vol. 30, no. 22. IOP Publishing, 2013.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Journal Article | IST-REx-ID: 17646 |
R. S. de Souza, A. Mesinger, A. Ferrara, Z. Haiman, R. Perna, and N. Yoshida, “Constraints on warm dark matter models from high-redshift long gamma-ray bursts,” Monthly Notices of the Royal Astronomical Society, vol. 432, no. 4. Oxford University Press, pp. 3218–3227, 2013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 17653 |
T. L. Tanaka, M. Li, and Z. Haiman, “The effect of baryonic streaming motions on the formation of the first supermassive black holes,” Monthly Notices of the Royal Astronomical Society, vol. 435, no. 4. Oxford University Press, pp. 3559–3567, 2013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 17657 |
Rhoads JE, Malhotra S, Stern D, Dickinson M, Pirzkal N, Spinrad H, Reddy N, Hathi N, Grogin N, Koekemoer A, Peth MA, Cohen S, Zheng Z, Budavari T, Ferreras I, Gardner JP, Gronwall C, Haiman Z, Kümmel M, Meurer G, Moustakas L, Panagia N, Pasquali A, Sahu K, di Serego Alighieri S, Somerville R, Straughn A, Walsh J, Windhorst R, Xu C, Yan H. 2013. A Lyman break galaxy in the epoch of reionization from hubble space telescope grism spectroscopy. The Astrophysical Journal. 773(1), 32.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Journal Article | IST-REx-ID: 17670 |
Bard D, Kratochvil JM, Chang C, May M, Kahn SM, AlSayyad Y, Ahmad Z, Bankert J, Connolly A, Gibson RR, Gilmore K, Grace E, Haiman Z, Hannel M, Huffenberger KM, Jernigan JG, Jones L, Krughoff S, Lorenz S, Marshall S, Meert A, Nagarajan S, Peng E, Peterson J, Rasmussen AP, Shmakova M, Sylvestre N, Todd N, Young M. 2013. Effect of measurement errors on predicted cosmological constraints from shear peak statistics with large synoptic survey telescope. The Astrophysical Journal. 774(1), 49.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv