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.
576 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 | Conference Paper | IST-REx-ID: 10666 |
Adversarial training is not ready for robot learning
M. Lechner, R. Hasani, R. Grosu, D. Rus, T.A. Henzinger, in:, 2021 IEEE International Conference on Robotics and Automation, 2021, pp. 4140–4147.
View
| Files available
| DOI
| Download None (ext.)
| WoS
| arXiv
M. Lechner, R. Hasani, R. Grosu, D. Rus, T.A. Henzinger, in:, 2021 IEEE International Conference on Robotics and Automation, 2021, pp. 4140–4147.
2021 | Published | Journal Article | IST-REx-ID: 9121 |
The BCS energy gap at low density
A.B. Lauritsen, Letters in Mathematical Physics 111 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
A.B. Lauritsen, Letters in Mathematical Physics 111 (2021).
2021 | Published | Journal Article | IST-REx-ID: 17516 |
κTNG: effect of baryonic processes on weak lensing with IllustrisTNG simulations
K. Osato, J. Liu, Z. Haiman, Monthly Notices of the Royal Astronomical Society 502 (2021) 5593–5602.
[Published Version]
View
| DOI
| Download Published Version (ext.)
K. Osato, J. Liu, Z. Haiman, Monthly Notices of the Royal Astronomical Society 502 (2021) 5593–5602.
2021 | Published | Journal Article | IST-REx-ID: 17574 |
The impact of baryons on cosmological inference from weak lensing statistics
T. Lu, Z. Haiman, Monthly Notices of the Royal Astronomical Society 506 (2021) 3406–3417.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T. Lu, Z. Haiman, Monthly Notices of the Royal Astronomical Society 506 (2021) 3406–3417.
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: 17583 |
Eccentric black hole mergers in active galactic nuclei
H. Tagawa, B. Kocsis, Z. Haiman, I. Bartos, K. Omukai, J. Samsing, The Astrophysical Journal Letters 907 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Tagawa, B. Kocsis, Z. Haiman, I. Bartos, K. Omukai, J. Samsing, The Astrophysical Journal Letters 907 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9101 |
Early life differences in behavioral predispositions in two Alligatoridae species
S.A. Reber, J. Oh, J. Janisch, C. Stevenson, S. Foggett, A. Wilkinson, Animal Cognition 24 (2021) 753–764.
[Published Version]
View
| Files available
| DOI
| WoS
S.A. Reber, J. Oh, J. Janisch, C. Stevenson, S. Foggett, A. Wilkinson, Animal Cognition 24 (2021) 753–764.
2021 | Published | Journal Article | IST-REx-ID: 9225 |
Persistence of the spectral gap for the Landau–Pekar equations
D. Feliciangeli, S.A.E. Rademacher, R. Seiringer, Letters in Mathematical Physics 111 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
D. Feliciangeli, S.A.E. Rademacher, R. Seiringer, Letters in Mathematical Physics 111 (2021).
2021 | Published | Book Chapter | IST-REx-ID: 9245
Quantifying tissue tension in the granulosa layer after laser surgery
P. Xia, C.-P.J. Heisenberg, in:, R. Dosch (Ed.), Germline Development in the Zebrafish, Humana, 2021, pp. 117–128.
View
| DOI
| PubMed | Europe PMC
P. Xia, C.-P.J. Heisenberg, in:, R. Dosch (Ed.), Germline Development in the Zebrafish, Humana, 2021, pp. 117–128.
2021 | Published | Journal Article | IST-REx-ID: 9380 |
High rates of genome rearrangements and pathogenicity of Shigella spp
Z. Seferbekova, A. Zabelkin, Y. Yakovleva, R. Afasizhev, N.O. Dranenko, N. Alexeev, M.S. Gelfand, O. Bochkareva, Frontiers in Microbiology 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
Z. Seferbekova, A. Zabelkin, Y. Yakovleva, R. Afasizhev, N.O. Dranenko, N. Alexeev, M.S. Gelfand, O. Bochkareva, Frontiers in Microbiology 12 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9393 |
Faster algorithms for quantitative verification in bounded treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Formal Methods in System Design 57 (2021) 401–428.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Formal Methods in System Design 57 (2021) 401–428.
2021 | Published | Conference Paper | IST-REx-ID: 9678 |
Efficient load-balancing through distributed token dropping
S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2021, pp. 129–139.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2021, pp. 129–139.
2021 | Published | Journal Article | IST-REx-ID: 7901 |
Correlation energy of a weakly interacting Fermi gas
N.P. Benedikter, P.T. Nam, M. Porta, B. Schlein, R. Seiringer, Inventiones Mathematicae 225 (2021) 885–979.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
N.P. Benedikter, P.T. Nam, M. Porta, B. Schlein, R. Seiringer, Inventiones Mathematicae 225 (2021) 885–979.
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 | Journal Article | IST-REx-ID: 12587 |
Using climate reanalysis data in conjunction with multi-temporal satellite thermal imagery to derive supraglacial debris thickness changes from energy-balance modelling
R.L. Stewart, M. Westoby, F. Pellicciotti, A. Rowan, D. Swift, B. Brock, J. Woodward, Journal of Glaciology 67 (2021) 366–384.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R.L. Stewart, M. Westoby, F. Pellicciotti, A. Rowan, D. Swift, B. Brock, J. Woodward, Journal of Glaciology 67 (2021) 366–384.
2021 | Published | Journal Article | IST-REx-ID: 12591 |
Anisotropy parameterization development and evaluation for glacier surface albedo retrieval from satellite observations
S. Ren, E.S. Miles, L. Jia, M. Menenti, M. Kneib, P. Buri, M.J. McCarthy, T.E. Shaw, W. Yang, F. Pellicciotti, Remote Sensing 13 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Ren, E.S. Miles, L. Jia, M. Menenti, M. Kneib, P. Buri, M.J. McCarthy, T.E. Shaw, W. Yang, F. Pellicciotti, Remote Sensing 13 (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: 11525 |
Constraining the cosmic UV background at z > 3 with MUSE Lyman-α emission observations
S.G. Gallego, S. Cantalupo, S. Sarpas, B. Duboeuf, S. Lilly, G. Pezzulli, R.A. Marino, J.J. Matthee, L. Wisotzki, J. Schaye, J. Richard, H. Kusakabe, V. Mauerhofer, Monthly Notices of the Royal Astronomical Society 504 (2021) 16–32.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S.G. Gallego, S. Cantalupo, S. Sarpas, B. Duboeuf, S. Lilly, G. Pezzulli, R.A. Marino, J.J. Matthee, L. Wisotzki, J. Schaye, J. Richard, H. Kusakabe, V. Mauerhofer, Monthly Notices of the Royal Astronomical Society 504 (2021) 16–32.
2021 | Published | Journal Article | IST-REx-ID: 11663 |
A deamortization approach for dynamic spanner and dynamic maximal matching
A. Bernstein, S. Forster, M.H. Henzinger, ACM Transactions on Algorithms 17 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Bernstein, S. Forster, M.H. Henzinger, ACM Transactions on Algorithms 17 (2021).