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 | OA
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
 

2021 | Published | Conference Paper | IST-REx-ID: 10666 | OA
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
 

2021 | Published | Journal Article | IST-REx-ID: 9121 | OA
The BCS energy gap at low density
A.B. Lauritsen, Letters in Mathematical Physics 111 (2021).
[Published Version] View | Files available | DOI | WoS
 

2021 | Published | Journal Article | IST-REx-ID: 17516 | OA
κ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.)
 

2021 | Published | Journal Article | IST-REx-ID: 17574 | OA
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.)
 

2021 | Published | Journal Article | IST-REx-ID: 17577 | OA
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.)
 

2021 | Published | Journal Article | IST-REx-ID: 17583 | OA
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.)
 

2021 | Published | Journal Article | IST-REx-ID: 9101 | OA
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
 

2021 | Published | Journal Article | IST-REx-ID: 9225 | OA
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
 

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
 

2021 | Published | Journal Article | IST-REx-ID: 9380 | OA
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
 

2021 | Published | Journal Article | IST-REx-ID: 9393 | OA
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
 

2021 | Published | Conference Paper | IST-REx-ID: 9678 | OA
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
 

2021 | Published | Journal Article | IST-REx-ID: 7901 | OA
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
 

2021 | Published | Journal Article | IST-REx-ID: 7939 | OA
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
 

2021 | Published | Journal Article | IST-REx-ID: 12587 | OA
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.)
 

2021 | Published | Journal Article | IST-REx-ID: 12591 | OA
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.)
 

2021 | Published | Journal Article | IST-REx-ID: 11500 | OA
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
 

2021 | Published | Journal Article | IST-REx-ID: 11525 | OA
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
 

2021 | Published | Journal Article | IST-REx-ID: 11663 | OA
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
 

Filters and Search Terms

isbn%3D978-973-703-602-5

Search

Filter Publications

Display / Sort

Export / Embed