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.
253 Publications
2021 |Published| Conference Paper | IST-REx-ID: 10367 |
Recognizing multimodal entailment
C. Ilharco, A. Shirazi, A. Gopalan, A. Nagrani, B. Bratanič, C. Bregler, C. Liu, F. Ferreira, G. Barcik, G. Ilharco, G.F. Osang, J. Bulian, J. Frank, L. Smaira, Q. Cao, R. Marino, R. Patel, T. Leung, V. Imbrasaite, in:, 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Tutorial Abstracts, Association for Computational Linguistics, 2021, pp. 29–30.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
C. Ilharco, A. Shirazi, A. Gopalan, A. Nagrani, B. Bratanič, C. Bregler, C. Liu, F. Ferreira, G. Barcik, G. Ilharco, G.F. Osang, J. Bulian, J. Frank, L. Smaira, Q. Cao, R. Marino, R. Patel, T. Leung, V. Imbrasaite, in:, 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Tutorial Abstracts, Association for Computational Linguistics, 2021, pp. 29–30.
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: 11463 |
M-FAC: Efficient matrix-free approximations of second-order information
E. Frantar, E. Kurtic, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Curran Associates, 2021, pp. 14873–14886.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
E. Frantar, E. Kurtic, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Curran Associates, 2021, pp. 14873–14886.
2021 |Published| Journal Article | IST-REx-ID: 11512 |
Measuring the average molecular gas content of star-forming galaxies at z = 3–4
L.A. Boogaard, R.J. Bouwens, D. Riechers, P. van der Werf, R. Bacon, J.J. Matthee, M. Stefanon, A. Feltre, M. Maseda, H. Inami, M. Aravena, J. Brinchmann, C. Carilli, T. Contini, R. Decarli, J. González-López, T. Nanayakkara, F. Walter, The Astrophysical Journal 916 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L.A. Boogaard, R.J. Bouwens, D. Riechers, P. van der Werf, R. Bacon, J.J. Matthee, M. Stefanon, A. Feltre, M. Maseda, H. Inami, M. Aravena, J. Brinchmann, C. Carilli, T. Contini, R. Decarli, J. González-López, T. Nanayakkara, F. Walter, The Astrophysical Journal 916 (2021).
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).
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 | Book Chapter | IST-REx-ID: 9403 |
The evolution of strategic ignorance in strategic interaction
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.
[Published Version]
View
| Download Published Version (ext.)
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.
2021 |Published| Journal Article | IST-REx-ID: 9572 |
Acyclic subgraphs of tournaments with high chromatic number
J. Fox, M.A. Kwan, B. Sudakov, Bulletin of the London Mathematical Society 53 (2021) 619–630.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Fox, M.A. Kwan, B. Sudakov, Bulletin of the London Mathematical Society 53 (2021) 619–630.
2021 |Published| Journal Article | IST-REx-ID: 12308 |
Primitive divisors of sequences associated to elliptic curves with complex multiplication
M. Verzobio, Research in Number Theory 7 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Verzobio, Research in Number Theory 7 (2021).
2021 |Published| Journal Article | IST-REx-ID: 13357 |
Electrostatic co-assembly of nanoparticles with oppositely charged small molecules into static and dynamic superstructures
T. Bian, A. Gardin, J. Gemen, L. Houben, C. Perego, B. Lee, N. Elad, Z. Chu, G.M. Pavan, R. Klajn, Nature Chemistry 13 (2021) 940–949.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
T. Bian, A. Gardin, J. Gemen, L. Houben, C. Perego, B. Lee, N. Elad, Z. Chu, G.M. Pavan, R. Klajn, Nature Chemistry 13 (2021) 940–949.
2021 |Published| Journal Article | IST-REx-ID: 9246 |
Derivation of the Landau–Pekar equations in a many-body mean-field limit
N.K. Leopold, D.J. Mitrouskas, R. Seiringer, Archive for Rational Mechanics and Analysis 240 (2021) 383–417.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
N.K. Leopold, D.J. Mitrouskas, R. Seiringer, Archive for Rational Mechanics and Analysis 240 (2021) 383–417.
2021 |Published| Journal Article | IST-REx-ID: 9307 |
Finite time extinction for the 1D stochastic porous medium equation with transport noise
S. Hensel, Stochastics and Partial Differential Equations: Analysis and Computations 9 (2021) 892–939.
[Published Version]
View
| Files available
| DOI
| WoS
S. Hensel, Stochastics and Partial Differential Equations: Analysis and Computations 9 (2021) 892–939.
2021 |Published| Journal Article | IST-REx-ID: 9317 |
The multi-cover persistence of Euclidean balls
H. Edelsbrunner, G.F. Osang, Discrete and Computational Geometry 65 (2021) 1296–1313.
[Published Version]
View
| Files available
| DOI
| WoS
H. Edelsbrunner, G.F. Osang, Discrete and Computational Geometry 65 (2021) 1296–1313.
2021 |Published| Journal Article | IST-REx-ID: 9407 |
Discontinuous epidemic transition due to limited testing
D. Scarselli, N.B. Budanur, M. Timme, B. Hof, Nature Communications 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
D. Scarselli, N.B. Budanur, M. Timme, B. Hof, Nature Communications 12 (2021).
2021 |Published| Journal Article | IST-REx-ID: 9877 |
Divergence among rice cultivars reveals roles for transposition and epimutation in ongoing evolution of genomic imprinting
J.A. Rodrigues, P.-H. Hsieh, D. Ruan, T. Nishimura, M.K. Sharma, R. Sharma, X. Ye, N.D. Nguyen, S. Nijjar, P.C. Ronald, R.L. Fischer, D. Zilberman, Proceedings of the National Academy of Sciences 118 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J.A. Rodrigues, P.-H. Hsieh, D. Ruan, T. Nishimura, M.K. Sharma, R. Sharma, X. Ye, N.D. Nguyen, S. Nijjar, P.C. Ronald, R.L. Fischer, D. Zilberman, Proceedings of the National Academy of Sciences 118 (2021).
2021 |Published| Conference Paper | IST-REx-ID: 10108 |
Differential monitoring
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
[Preprint]
View
| Files available
| DOI
| WoS
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
2021 |Published| Journal Article | IST-REx-ID: 10146
Structure and assembly of the mammalian mitochondrial supercomplex CIII2CIV
I. Vercellino, L.A. Sazanov, Nature 598 (2021) 364–367.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
I. Vercellino, L.A. Sazanov, Nature 598 (2021) 364–367.
2021 |Published| Journal Article | IST-REx-ID: 10310 |
Cryo-EM structure of a functional monomeric Photosystem I from Thermosynechococcus elongatus reveals red chlorophyll cluster
M.O. Çoruh, A. Frank, H. Tanaka, A. Kawamoto, E. El-Mohsnawy, T. Kato, K. Namba, C. Gerle, M.M. Nowaczyk, G. Kurisu, Communications Biology 4 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M.O. Çoruh, A. Frank, H. Tanaka, A. Kawamoto, E. El-Mohsnawy, T. Kato, K. Namba, C. Gerle, M.M. Nowaczyk, G. Kurisu, Communications Biology 4 (2021).
2021 |Published| Conference Paper | IST-REx-ID: 10325 |
SoK: Communication across distributed ledgers
A. Zamyatin, M. Al-Bassam, D. Zindros, E. Kokoris Kogias, P. Moreno-Sanchez, A. Kiayias, W.J. Knottenbelt, in:, 25th International Conference on Financial Cryptography and Data Security, Springer Nature, 2021, pp. 3–36.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
A. Zamyatin, M. Al-Bassam, D. Zindros, E. Kokoris Kogias, P. Moreno-Sanchez, A. Kiayias, W.J. Knottenbelt, in:, 25th International Conference on Financial Cryptography and Data Security, Springer Nature, 2021, pp. 3–36.
2021 |Published| Conference Paper | IST-REx-ID: 10324 |
Brick: Asynchronous incentive-compatible payment channels
Z. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, D. Zindros, in:, 25th International Conference on Financial Cryptography and Data Security, Springer Nature, 2021, pp. 209–230.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Z. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, D. Zindros, in:, 25th International Conference on Financial Cryptography and Data Security, Springer Nature, 2021, pp. 209–230.