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.
6372 Publications
2013 | Published | Report | IST-REx-ID: 5407 |
Technical requirements and features
J. Porsche, Technical Requirements and Features, IST Austria, 2013.
[Published Version]
View
| Files available
J. Porsche, Technical Requirements and Features, IST Austria, 2013.
2013 | Published | Technical Report | IST-REx-ID: 5408 |
The complexity of partial-observation stochastic parity games with finite-memory strategies
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies, IST Austria, 2013.
2013 | Published | Technical Report | IST-REx-ID: 5409 |
Edit distance for timed automata
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, Edit Distance for Timed Automata, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, Edit Distance for Timed Automata, IST Austria, 2013.
2013 | Published | Technical Report | IST-REx-ID: 5410 |
Automatic generation of alternative starting positions for traditional board games
U. Ahmed, K. Chatterjee, S. Gulwani, Automatic Generation of Alternative Starting Positions for Traditional Board Games, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
U. Ahmed, K. Chatterjee, S. Gulwani, Automatic Generation of Alternative Starting Positions for Traditional Board Games, IST Austria, 2013.
2013 | Published | Book Chapter | IST-REx-ID: 5747 |
Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
C. Dragoi, A. Gupta, T.A. Henzinger, in:, Computer Aided Verification, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 174–190.
View
| Files available
| DOI
C. Dragoi, A. Gupta, T.A. Henzinger, in:, Computer Aided Verification, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 174–190.
2013 | Published | Journal Article | IST-REx-ID: 595 |
Struggling to let go: A non-coding RNA directs its own extension and destruction
C. Bernecky, P. Cramer, EMBO Journal 32 (2013) 771–772.
View
| DOI
| Download None (ext.)
C. Bernecky, P. Cramer, EMBO Journal 32 (2013) 771–772.
2013 | Published | Journal Article | IST-REx-ID: 1759 |
Nature of tunable hole g factors in quantum dots
N. Ares, V. Golovach, G. Katsaros, M. Stoffel, F. Fournel, L. Glazman, O. Schmidt, S. De Franceschi, Physical Review Letters 110 (2013).
View
| DOI
| Download (ext.)
N. Ares, V. Golovach, G. Katsaros, M. Stoffel, F. Fournel, L. Glazman, O. Schmidt, S. De Franceschi, Physical Review Letters 110 (2013).
2013 | Published | Journal Article | IST-REx-ID: 1760 |
SiGe quantum dots for fast hole spin Rabi oscillations
N. Ares, G. Katsaros, V. Golovach, J. Zhang, A. Prager, L. Glazman, O. Schmidt, S. De Franceschi, Applied Physics Letters 103 (2013).
View
| DOI
| Download (ext.)
N. Ares, G. Katsaros, V. Golovach, J. Zhang, A. Prager, L. Glazman, O. Schmidt, S. De Franceschi, Applied Physics Letters 103 (2013).
2013 | Published | Journal Article | IST-REx-ID: 17624 |
Accretion into the central cavity of a circumbinary disc
D.J. D’Orazio, Z. Haiman, A. MacFadyen, Monthly Notices of the Royal Astronomical Society 436 (2013) 2997–3020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D.J. D’Orazio, Z. Haiman, A. MacFadyen, Monthly Notices of the Royal Astronomical Society 436 (2013) 2997–3020.
2013 | Published | Journal Article | IST-REx-ID: 17631 |
Focusing on warm dark matter with lensed high-redshift galaxies
F. Pacucci, A. Mesinger, Z. Haiman, Monthly Notices of the Royal Astronomical Society: Letters 435 (2013) L53–L57.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
F. Pacucci, A. Mesinger, Z. Haiman, Monthly Notices of the Royal Astronomical Society: Letters 435 (2013) L53–L57.
2013 | Published | Journal Article | IST-REx-ID: 17638 |
Electromagnetic signatures of supermassive black hole binaries resolved by PTAs
T.L. Tanaka, Z. Haiman, Classical and Quantum Gravity 30 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.L. Tanaka, Z. Haiman, Classical and Quantum Gravity 30 (2013).
2013 | Published | Journal Article | IST-REx-ID: 17646 |
Constraints on warm dark matter models from high-redshift long gamma-ray bursts
R.S. de Souza, A. Mesinger, A. Ferrara, Z. Haiman, R. Perna, N. Yoshida, Monthly Notices of the Royal Astronomical Society 432 (2013) 3218–3227.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R.S. de Souza, A. Mesinger, A. Ferrara, Z. Haiman, R. Perna, N. Yoshida, Monthly Notices of the Royal Astronomical Society 432 (2013) 3218–3227.
2013 | Published | Journal Article | IST-REx-ID: 17653 |
The effect of baryonic streaming motions on the formation of the first supermassive black holes
T.L. Tanaka, M. Li, Z. Haiman, Monthly Notices of the Royal Astronomical Society 435 (2013) 3559–3567.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T.L. Tanaka, M. Li, Z. Haiman, Monthly Notices of the Royal Astronomical Society 435 (2013) 3559–3567.
2013 | Published | Journal Article | IST-REx-ID: 17657 |
A Lyman break galaxy in the epoch of reionization from hubble space telescope grism spectroscopy
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
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.
2013 | Published | Journal Article | IST-REx-ID: 17670 |
Effect of measurement errors on predicted cosmological constraints from shear peak statistics with large synoptic survey telescope
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
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.
2013 | Published | Journal Article | IST-REx-ID: 17671 |
Gas cloud G2 can illuminate the black hole population near the galactic center
I. Bartos, Z. Haiman, B. Kocsis, S. Márka, Physical Review Letters 110 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
I. Bartos, Z. Haiman, B. Kocsis, S. Márka, Physical Review Letters 110 (2013).
2013 | Published | Journal Article | IST-REx-ID: 17677 |
Baryon impact on weak lensing peaks and power spectrum: Low-bias statistics and self-calibration in future surveys
X. Yang, J.M. Kratochvil, K. Huffenberger, Z. Haiman, M. May, Physical Review D 87 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
X. Yang, J.M. Kratochvil, K. Huffenberger, Z. Haiman, M. May, Physical Review D 87 (2013).
2013 | Published | Journal Article | IST-REx-ID: 17683 |
Ripple effects and oscillations in the broad Fe Kα line as a probe of massive black hole mergers
B. McKernan, K.E.S. Ford, B. Kocsis, Z. Haiman, Monthly Notices of the Royal Astronomical Society 432 (2013) 1468–1482.
[Published Version]
View
| DOI
| Download Published Version (ext.)
B. McKernan, K.E.S. Ford, B. Kocsis, Z. Haiman, Monthly Notices of the Royal Astronomical Society 432 (2013) 1468–1482.
2013 | Published | Journal Article | IST-REx-ID: 17684 |
Gas infall into atomic cooling haloes: On the formation of protogalactic discs and supermassive black holes at z > 10
J. Prieto, R. Jimenez, Z. Haiman, Monthly Notices of the Royal Astronomical Society 436 (2013) 2301–2325.
[Published Version]
View
| DOI
| Download Published Version (ext.)
J. Prieto, R. Jimenez, Z. Haiman, Monthly Notices of the Royal Astronomical Society 436 (2013) 2301–2325.
2013 | Published | Journal Article | IST-REx-ID: 17704 |
Cosmology with Minkowski functionals and moments of the weak lensing convergence field
A. Petri, Z. Haiman, L. Hui, M. May, J.M. Kratochvil, Physical Review D 88 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Petri, Z. Haiman, L. Hui, M. May, J.M. Kratochvil, Physical Review D 88 (2013).