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.
435 Publications
2021 | Published | Conference Paper | IST-REx-ID: 10688 | 
The Civl verifier
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
[Published Version]
View
| Files available
| DOI
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
2021 | Published | Journal Article | IST-REx-ID: 17577 |
Ultra-short-period massive black hole binary candidates in LSST as LISA ‘verification binaries’
C. Xin, Z. Haiman, Monthly Notices of the Royal Astronomical Society 506 (2021) 2408–2417.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Xin, Z. Haiman, Monthly Notices of the Royal Astronomical Society 506 (2021) 2408–2417.
2021 | Published | Journal Article | IST-REx-ID: 17578 |
Nucleosynthetic signatures of primordial origin around supermassive black holes
P.U. Sanderbeck, S. Bird, Z. Haiman, Physical Review D 104 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
P.U. Sanderbeck, S. Bird, Z. Haiman, Physical Review D 104 (2021).
2021 | Published | Journal Article | IST-REx-ID: 17593 |
The effect of mission duration on LISA science objectives
Amaro Seoane P, Arca Sedda M, Babak S, Berry CPL, Berti E, Bertone G, Blas D, Bogdanović T, Bonetti M, Breivik K, Brito R, Caldwell R, Capelo PR, Caprini C, Cardoso V, Carson Z, Chen H-Y, Chua AJK, Dvorkin I, Haiman Z, Heisenberg L, Isi M, Karnesis N, Kavanagh BJ, Littenberg TB, Mangiagli A, Marcoccia P, Maselli A, Nardini G, Pani P, Peloso M, Pieroni M, Ricciardone A, Sesana A, Tamanini N, Toubiana A, Valiante R, Vretinaris S, Weir DJ, Yagi K, Zimmerman A. 2021. The effect of mission duration on LISA science objectives. General Relativity and Gravitation. 54(1), 3.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Amaro Seoane P, Arca Sedda M, Babak S, Berry CPL, Berti E, Bertone G, Blas D, Bogdanović T, Bonetti M, Breivik K, Brito R, Caldwell R, Capelo PR, Caprini C, Cardoso V, Carson Z, Chen H-Y, Chua AJK, Dvorkin I, Haiman Z, Heisenberg L, Isi M, Karnesis N, Kavanagh BJ, Littenberg TB, Mangiagli A, Marcoccia P, Maselli A, Nardini G, Pani P, Peloso M, Pieroni M, Ricciardone A, Sesana A, Tamanini N, Toubiana A, Valiante R, Vretinaris S, Weir DJ, Yagi K, Zimmerman A. 2021. The effect of mission duration on LISA science objectives. General Relativity and Gravitation. 54(1), 3.
2021 | Published | Journal Article | IST-REx-ID: 17610 |
Forming massive seed black holes in high-redshift quasar host progenitors
A. Lupi, Z. Haiman, M. Volonteri, Monthly Notices of the Royal Astronomical Society 503 (2021) 5046–5060.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Lupi, Z. Haiman, M. Volonteri, Monthly Notices of the Royal Astronomical Society 503 (2021) 5046–5060.
2021 | Published | Journal Article | IST-REx-ID: 18193 |
Bosonic Pfaffian state in the Hofstadter-Bose-Hubbard model
F.A. Palm, M. Buser, J. Leonard, M. Aidelsburger, U. Schollwöck, F. Grusdt, Physical Review B 103 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
F.A. Palm, M. Buser, J. Leonard, M. Aidelsburger, U. Schollwöck, F. Grusdt, Physical Review B 103 (2021).
2021 | Published | Journal Article | IST-REx-ID: 8757 |
Talking science, online
P. Bozelos, T.P. Vogels, Nature Reviews Neuroscience 22 (2021) 1–2.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
P. Bozelos, T.P. Vogels, Nature Reviews Neuroscience 22 (2021) 1–2.
2021 | Published | Journal Article | IST-REx-ID: 9258 |
Pycro-Manager: Open-source software for customized and reproducible microscope control
Pinkard H, Stuurman N, Ivanov IE, Anthony NM, Ouyang W, Li B, Yang B, Tsuchida MA, Chhun B, Zhang G, Mei R, Anderson M, Shepherd DP, Hunt-Isaak I, Dunn RL, Jahr W, Kato S, Royer LA, Thiagarajah JR, Eliceiri KW, Lundberg E, Mehta SB, Waller L. 2021. Pycro-Manager: Open-source software for customized and reproducible microscope control. Nature Methods. 18(3), 226–228.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
Pinkard H, Stuurman N, Ivanov IE, Anthony NM, Ouyang W, Li B, Yang B, Tsuchida MA, Chhun B, Zhang G, Mei R, Anderson M, Shepherd DP, Hunt-Isaak I, Dunn RL, Jahr W, Kato S, Royer LA, Thiagarajah JR, Eliceiri KW, Lundberg E, Mehta SB, Waller L. 2021. Pycro-Manager: Open-source software for customized and reproducible microscope control. Nature Methods. 18(3), 226–228.
2021 | Published | Journal Article | IST-REx-ID: 7939 |
Fast approximate shortest paths in the congested clique
K. Censor-Hillel, M. Dory, J. Korhonen, D. Leitersdorf, Distributed Computing 34 (2021) 463–487.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
K. Censor-Hillel, M. Dory, J. Korhonen, D. Leitersdorf, Distributed Computing 34 (2021) 463–487.
2021 | Published | Book Chapter | IST-REx-ID: 7941
Simple multi-color super-resolution by X10 microscopy
S.M. Truckenbrodt, S.O. Rizzoli, in:, Methods in Cell Biology, Elsevier, 2021, pp. 33–56.
View
| DOI
| PubMed | Europe PMC
S.M. Truckenbrodt, S.O. Rizzoli, in:, Methods in Cell Biology, Elsevier, 2021, pp. 33–56.
2021 | Research Data Reference | IST-REx-ID: 13072 |
Blood-based epigenome-wide analyses of cognitive abilities
McCartney DL, Hillary RF, Conole EL, Trejo Banos D, Gadd DA, Walker RM, Nangle C, Flaig R, Campbell A, Murray AD, Munoz Maniega S, del C Valdes-Hernandez M, Harris MA, Bastin ME, Wardlaw JM, Harris SE, Porteous DJ, Tucker-Drob EM, McIntosh AM, Evans KL, Deary IJ, Cox SR, Robinson MR, Marioni RE. 2021. Blood-based epigenome-wide analyses of cognitive abilities, Zenodo, 10.5281/ZENODO.5794028.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
McCartney DL, Hillary RF, Conole EL, Trejo Banos D, Gadd DA, Walker RM, Nangle C, Flaig R, Campbell A, Murray AD, Munoz Maniega S, del C Valdes-Hernandez M, Harris MA, Bastin ME, Wardlaw JM, Harris SE, Porteous DJ, Tucker-Drob EM, McIntosh AM, Evans KL, Deary IJ, Cox SR, Robinson MR, Marioni RE. 2021. Blood-based epigenome-wide analyses of cognitive abilities, Zenodo, 10.5281/ZENODO.5794028.
2021 | Published | Journal Article | IST-REx-ID: 11498 |
Recovery and analysis of rest-frame UV emission lines in 2052 galaxies observed with MUSE at 1.5 < z < 6.4
K.B. Schmidt, J. Kerutt, L. Wisotzki, T. Urrutia, A. Feltre, M.V. Maseda, T. Nanayakkara, R. Bacon, L.A. Boogaard, S. Conseil, T. Contini, E.C. Herenz, W. Kollatschny, M. Krumpe, F. Leclercq, G. Mahler, J.J. Matthee, V. Mauerhofer, J. Richard, J. Schaye, Astronomy & Astrophysics 654 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
K.B. Schmidt, J. Kerutt, L. Wisotzki, T. Urrutia, A. Feltre, M.V. Maseda, T. Nanayakkara, R. Bacon, L.A. Boogaard, S. Conseil, T. Contini, E.C. Herenz, W. Kollatschny, M. Krumpe, F. Leclercq, G. Mahler, J.J. Matthee, V. Mauerhofer, J. Richard, J. Schaye, Astronomy & Astrophysics 654 (2021).
2021 | Published | Journal Article | IST-REx-ID: 11500 |
The MUSE Extremely Deep Field: The cosmic web in emission at high redshift
Bacon R, Mary D, Garel T, Blaizot J, Maseda M, Schaye J, Wisotzki L, Conseil S, Brinchmann J, Leclercq F, Abril-Melgarejo V, Boogaard L, Bouché NF, Contini T, Feltre A, Guiderdoni B, Herenz C, Kollatschny W, Kusakabe H, Matthee JJ, Michel-Dansac L, Nanayakkara T, Richard J, Roth M, Schmidt KB, Steinmetz M, Tresse L, Urrutia T, Verhamme A, Weilbacher PM, Zabl J, Zoutendijk SL. 2021. The MUSE Extremely Deep Field: The cosmic web in emission at high redshift. Astronomy & Astrophysics. 647, A107.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
Bacon R, Mary D, Garel T, Blaizot J, Maseda M, Schaye J, Wisotzki L, Conseil S, Brinchmann J, Leclercq F, Abril-Melgarejo V, Boogaard L, Bouché NF, Contini T, Feltre A, Guiderdoni B, Herenz C, Kollatschny W, Kusakabe H, Matthee JJ, Michel-Dansac L, Nanayakkara T, Richard J, Roth M, Schmidt KB, Steinmetz M, Tresse L, Urrutia T, Verhamme A, Weilbacher PM, Zabl J, Zoutendijk SL. 2021. The MUSE Extremely Deep Field: The cosmic web in emission at high redshift. Astronomy & Astrophysics. 647, A107.
2021 | Published | Journal Article | IST-REx-ID: 11522 |
Lyman-α transmission properties of the intergalactic medium in the CoDaII simulation
M. Gronke, P. Ocvirk, C. Mason, J.J. Matthee, S.E.I. Bosman, J.G. Sorce, J. Lewis, K. Ahn, D. Aubert, T. Dawoodbhoy, I.T. Iliev, P.R. Shapiro, G. Yepes, Monthly Notices of the Royal Astronomical Society 508 (2021) 3697–3709.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Gronke, P. Ocvirk, C. Mason, J.J. Matthee, S.E.I. Bosman, J.G. Sorce, J. Lewis, K. Ahn, D. Aubert, T. Dawoodbhoy, I.T. Iliev, P.R. Shapiro, G. Yepes, Monthly Notices of the Royal Astronomical Society 508 (2021) 3697–3709.
2021 | Published | Journal Article | IST-REx-ID: 11524 |
The evolution of the UV luminosity and stellar mass functions of Lyman-α emitters from z ∼ 2 to z ∼ 6
S. Santos, D. Sobral, J. Butterworth, A. Paulino-Afonso, B. Ribeiro, E. da Cunha, J. Calhau, A.A. Khostovan, J.J. Matthee, P. Arrabal Haro, Monthly Notices of the Royal Astronomical Society 505 (2021) 1117–1134.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Santos, D. Sobral, J. Butterworth, A. Paulino-Afonso, B. Ribeiro, E. da Cunha, J. Calhau, A.A. Khostovan, J.J. Matthee, P. Arrabal Haro, Monthly Notices of the Royal Astronomical Society 505 (2021) 1117–1134.
2021 | Published | Journal Article | IST-REx-ID: 11756 |
Constant-time dynamic weight approximation for minimum spanning forest
M.H. Henzinger, P. Peng, Information and Computation 281 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.H. Henzinger, P. Peng, Information and Computation 281 (2021).
2021 | Published | Journal Article | IST-REx-ID: 11886 |
A deterministic almost-tight distributed algorithm for approximating single-source shortest paths
M.H. Henzinger, S. Krinninger, D. Nanongkai, SIAM Journal on Computing 50 (2021) STOC16-98-STOC16-137.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.H. Henzinger, S. Krinninger, D. Nanongkai, SIAM Journal on Computing 50 (2021) STOC16-98-STOC16-137.
2021 | Published | Journal Article | IST-REx-ID: 15219 |
Massive white dwarfs in young star clusters
H.B. Richer, I. Caiazzo, H. Du, S. Grondin, J. Hegarty, J. Heyl, R. Kerr, D.R. Miller, S. Thiele, The Astrophysical Journal 912 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
H.B. Richer, I. Caiazzo, H. Du, S. Grondin, J. Hegarty, J. Heyl, R. Kerr, D.R. Miller, S. Thiele, The Astrophysical Journal 912 (2021).
2020 | Published | Conference Paper | IST-REx-ID: 9040 |
Formal methods with a touch of magic
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.
[Published Version]
View
| Files available
| DOI
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.
2020 | Published | Journal Article | IST-REx-ID: 11979 |
Overcoming limitations in dual photoredox/nickel-catalysed C–N cross-couplings due to catalyst deactivation
S. Gisbertz, S. Reischauer, B. Pieber, Nature Catalysis 3 (2020) 611–620.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Gisbertz, S. Reischauer, B. Pieber, Nature Catalysis 3 (2020) 611–620.