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.
6086 Publications
2024 | Published | Conference Paper | IST-REx-ID: 18067 | 
History-determinism vs fair simulation
U. Boker, T.A. Henzinger, K. Lehtinen, A. Prakash, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
U. Boker, T.A. Henzinger, K. Lehtinen, A. Prakash, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 18308 |
Fully dynamic k-means coreset in near-optimal update time
M.D. La Tour, M. Henzinger, D. Saulpic, in:, 32nd Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M.D. La Tour, M. Henzinger, D. Saulpic, in:, 32nd Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 18068 |
Strategic dominance: A new preorder for nondeterministic processes
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 18556 |
The Euclidean MST-ratio for bi-colored lattices
S. Cultrera di Montesano, O. Draganov, H. Edelsbrunner, M. Saghafian, in:, 32nd International Symposium on Graph Drawing and Network Visualization, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Cultrera di Montesano, O. Draganov, H. Edelsbrunner, M. Saghafian, in:, 32nd International Symposium on Graph Drawing and Network Visualization, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 18309 |
Connectivity oracles for predictable vertex failures
B. Hu, E. Kosinas, A. Polak, in:, 32nd Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
B. Hu, E. Kosinas, A. Polak, in:, 32nd Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 18557 |
Broadcast and Consensus in stochastic dynamic networks with Byzantine nodes and adversarial edges
A. El-Hayek, M. Henzinger, S. Schmid, in:, 38th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. El-Hayek, M. Henzinger, S. Schmid, in:, 38th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 18758 |
Linear-time MaxCut in multigraphs parameterized above the Poljak-Turzík bound
J. Lill, K.H. Petrova, S. Weber, in:, 19th International Symposium on Parameterized and Exact Computation, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
J. Lill, K.H. Petrova, S. Weber, in:, 19th International Symposium on Parameterized and Exact Computation, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Journal Article | IST-REx-ID: 18583 |
Partitioning problems via random processes
M. Anastos, O. Cooley, M. Kang, M.A. Kwan, Journal of the London Mathematical Society 110 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Anastos, O. Cooley, M. Kang, M.A. Kwan, Journal of the London Mathematical Society 110 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18175 |
The fault in our stars: Designing reproducible large-scale code analysis experiments
P. Maj, S. Muroya Lei, K. Siek, L. Di Grazia, J. Vitek, in:, 38th European Conference on Object-Oriented Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
P. Maj, S. Muroya Lei, K. Siek, L. Di Grazia, J. Vitek, in:, 38th European Conference on Object-Oriented Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 18702 |
The cost of maintaining keys in dynamic groups with applications to multicast encryption and group messaging
M. Anastos, B. Auerbach, M.A. Baig, M. Cueto Noval, M.A. Kwan, G. Pascual Perez, K.Z. Pietrzak, in:, 22nd International Conference on Theory of Cryptography, Springer Nature, 2024, pp. 413–443.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
M. Anastos, B. Auerbach, M.A. Baig, M. Cueto Noval, M.A. Kwan, G. Pascual Perez, K.Z. Pietrzak, in:, 22nd International Conference on Theory of Cryptography, Springer Nature, 2024, pp. 413–443.
2024 | Published | Journal Article | IST-REx-ID: 14820 |
Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation
S. Schmid, J. Svoboda, M.X. Yeo, Theoretical Computer Science 989 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
S. Schmid, J. Svoboda, M.X. Yeo, Theoretical Computer Science 989 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 19028 |
A statistical approach to Monte Carlo denoising
H. Sakai, C. Freude, T. Auzinger, D. Hahn, M. Wimmer, in:, Proceedings - SIGGRAPH Asia 2024 Conference Papers, Association for Computing Machinery, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
H. Sakai, C. Freude, T. Auzinger, D. Hahn, M. Wimmer, in:, Proceedings - SIGGRAPH Asia 2024 Conference Papers, Association for Computing Machinery, 2024.
2024 | Published | Journal Article | IST-REx-ID: 14687 |
To DISP or not? The far‐reaching reaction mechanisms underpinning Lithium‐air batteries
R.B. Jethwa, S. Mondal, B. Pant, S.A. Freunberger, Angewandte Chemie International Edition 63 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
R.B. Jethwa, S. Mondal, B. Pant, S.A. Freunberger, Angewandte Chemie International Edition 63 (2024).
2024 | Published | Journal Article | IST-REx-ID: 13044 |
Singlet oxygen in non-aqueous oxygen redox: Direct spectroscopic evidence for formation pathways and reliability of chemical probes
S. Mondal, R.B. Jethwa, B. Pant, R. Hauschild, S.A. Freunberger, Faraday Discussions 248 (2024) 175–189.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Mondal, R.B. Jethwa, B. Pant, R. Hauschild, S.A. Freunberger, Faraday Discussions 248 (2024) 175–189.
2024 | Published | Journal Article | IST-REx-ID: 18930 |
| 
|
Sumsets in the set of squares
C. Elsholtz, L. Wurzinger, The Quarterly Journal of Mathematics 75 (2024) 1243–1254.
[Published Version]
View
| Files available
| DOI
| WoS
C. Elsholtz, L. Wurzinger, The Quarterly Journal of Mathematics 75 (2024) 1243–1254.
2024 | Published | Journal Article | IST-REx-ID: 14796 |
The genetic basis of a recent transition to live-bearing in marine snails
S. Stankowski, Z.B. Zagrodzka, M.D. Garlovsky, A. Pal, D. Shipilina, D.F. Garcia Castillo, H. Lifchitz, A. Le Moan, E. Leder, J. Reeve, K. Johannesson, A.M. Westram, R.K. Butlin, Science 383 (2024) 114–119.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
S. Stankowski, Z.B. Zagrodzka, M.D. Garlovsky, A. Pal, D. Shipilina, D.F. Garcia Castillo, H. Lifchitz, A. Le Moan, E. Leder, J. Reeve, K. Johannesson, A.M. Westram, R.K. Butlin, Science 383 (2024) 114–119.
2024 | Published | Journal Article | IST-REx-ID: 18307 |
Complex vaccination strategies prevent the emergence of vaccine resistance
S. Rella, Y.A. Kulikova, A. Minnegalieva, F. Kondrashov, Evolution: International Journal of Organic Evolution 78 (2024) 1722–1738.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Rella, Y.A. Kulikova, A. Minnegalieva, F. Kondrashov, Evolution: International Journal of Organic Evolution 78 (2024) 1722–1738.
2024 | Published | Journal Article | IST-REx-ID: 15118
Proteins containing photosynthetic reaction centre domains modulate FtsZ-based archaeal cell division
P. Nußbaum, D. Kureisaite-Ciziene, D. Bellini, C. Van Der Does, M. Kojic, N. Taib, A. Yeates, M. Tourte, S. Gribaldo, M. Loose, J. Löwe, S.V. Albers, Nature Microbiology 9 (2024) 698–711.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
P. Nußbaum, D. Kureisaite-Ciziene, D. Bellini, C. Van Der Does, M. Kojic, N. Taib, A. Yeates, M. Tourte, S. Gribaldo, M. Loose, J. Löwe, S.V. Albers, Nature Microbiology 9 (2024) 698–711.
2024 | Published | Thesis | IST-REx-ID: 17206 |
Novel approaches to studying alternative splicing in Drosophila Melanogaster : Insights into sex-specific gene expression and the evolution of sex determination
J. Raices, Novel Approaches to Studying Alternative Splicing in Drosophila Melanogaster : Insights into Sex-Specific Gene Expression and the Evolution of Sex Determination, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
J. Raices, Novel Approaches to Studying Alternative Splicing in Drosophila Melanogaster : Insights into Sex-Specific Gene Expression and the Evolution of Sex Determination, Institute of Science and Technology Austria, 2024.
2024 | Published | Journal Article | IST-REx-ID: 17148 |
Mouse neural tube organoids self-organize floorplate through BMP-mediated cluster competition
T. Krammer, H.T. Stuart, E. Gromberg, K. Ishihara, D. Cislo, M. Melchionda, F. Becerril Perez, J. Wang, E. Costantini, S. Rus, L. Arbanas, A. Hörmann, R.A. Neumüller, N. Elvassore, E. Siggia, J. Briscoe, A. Kicheva, E.M. Tanaka, Developmental Cell 59 (2024) 1940–1953.e10.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
T. Krammer, H.T. Stuart, E. Gromberg, K. Ishihara, D. Cislo, M. Melchionda, F. Becerril Perez, J. Wang, E. Costantini, S. Rus, L. Arbanas, A. Hörmann, R.A. Neumüller, N. Elvassore, E. Siggia, J. Briscoe, A. Kicheva, E.M. Tanaka, Developmental Cell 59 (2024) 1940–1953.e10.