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.
7604 Publications
2025 |
Draft |
Preprint |
IST-REx-ID: 21050 |
Counting equilibria of the electrostatic potential
H. Edelsbrunner, C.D. Fillmore, G. Olivera, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
H. Edelsbrunner, C.D. Fillmore, G. Olivera, ArXiv (n.d.).
2025 |
Epub ahead of print |
Conference Paper |
IST-REx-ID: 21076 |
Prediction-powered causal inferences
R. Cadei, I. Demirel, P. De Bartolomeis, L. Lindorfer, S. Cremer, C. Schmid, F. Locatello, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
[Published Version]
View
| Files available
R. Cadei, I. Demirel, P. De Bartolomeis, L. Lindorfer, S. Cremer, C. Schmid, F. Locatello, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21089 |
Flavors of quantifiers in hyperlogics
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 20:1-20:18.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 20:1-20:18.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21090 |
Algorithmic fairness: A runtime perspective
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 1–21.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 1–21.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21091 |
Formal verification of neural certificates done dynamically
T.A. Henzinger, K. Kueffner, E. Yu, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 54–72.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.A. Henzinger, K. Kueffner, E. Yu, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 54–72.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21092 |
Alignment monitoring
T.A. Henzinger, K. Kueffner, V. Singh, I. Sun, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 140–159.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.A. Henzinger, K. Kueffner, V. Singh, I. Sun, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 140–159.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21093 |
Monitoring hypernode logic over infinite domains
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 417–437.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 417–437.
2025 |
Published |
Journal Article |
IST-REx-ID: 21136 |
Historical and mechanistic perspective on ABP1-TMK1-mediated cell surface auxin signaling.
A. Monzer, J. Friml, Npj Science of Plants 1 (2025) 2.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Monzer, J. Friml, Npj Science of Plants 1 (2025) 2.
2025 |
Published |
Journal Article |
IST-REx-ID: 21143 |
| 
|
A new notion of commutativity for the algorithmic Lovász Local Lemma
D.G. Harris, F. Iliopoulos, V. Kolmogorov, Theory of Computing 21 (2025) 1–34.
[Published Version]
View
| Files available
| DOI
| arXiv
D.G. Harris, F. Iliopoulos, V. Kolmogorov, Theory of Computing 21 (2025) 1–34.
2025 |
Published |
Journal Article |
IST-REx-ID: 21144 |
Certifying solutions of degenerate semidefinite programs
V. Kolmogorov, S. Naldi, J. Zapata, SIAM Journal on Optimization 35 (2025) 1630–1654.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, S. Naldi, J. Zapata, SIAM Journal on Optimization 35 (2025) 1630–1654.
2025 |
Draft |
Preprint |
IST-REx-ID: 21207 |
Federated learning with unlabeled clients: Personalization can happen in low dimensions
H. Zakerinia, J.A. Scott, C. Lampert, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
H. Zakerinia, J.A. Scott, C. Lampert, ArXiv (n.d.).
2025 |
Published |
Journal Article |
IST-REx-ID: 21244 |
|
|
Paucity of rational points on fibrations with multiple fibres
T.D. Browning, J. Lyczak, A. Smeets, Algebra & Number Theory 19 (2025) 2049–2090.
[Published Version]
View
| Files available
| DOI
| arXiv
T.D. Browning, J. Lyczak, A. Smeets, Algebra & Number Theory 19 (2025) 2049–2090.
2025 |
Published |
Journal Article |
IST-REx-ID: 21245 |
|
|
Exploring neural entrainment and synchrony in response to repeated 60 Hz flickering white light in healthy volunteers
M. Alamalhoda, F. Leesch, F. Giovanetti, E. Dunne, G. Pilloni, M. Caffrey, J. O’Keeffe, A. Venturino, M.T. Ferretti, PLOS One 20 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M. Alamalhoda, F. Leesch, F. Giovanetti, E. Dunne, G. Pilloni, M. Caffrey, J. O’Keeffe, A. Venturino, M.T. Ferretti, PLOS One 20 (2025).
2025 |
Published |
Conference Paper |
IST-REx-ID: 21250 |
An almost-logarithmic lower bound for leader election with bounded value contention
D.-A. Alistarh, F. Ellen, A. Fedorov, in:, 39th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 3:1-3:16.
[Published Version]
View
| Files available
| DOI
D.-A. Alistarh, F. Ellen, A. Fedorov, in:, 39th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 3:1-3:16.
2025 |
Published |
Book Chapter |
IST-REx-ID: 21255
Nucleotidyl cyclase activities of TIR1/AFB auxin receptors: new insights into the mechanism of auxin signaling
L. Qi, J. Friml, in:, H. Irving, C. Gehring, A. Wong (Eds.), Cryptic Enzymes and Moonlighting Proteins, Elsevier, 2025, pp. 299–322.
View
| DOI
L. Qi, J. Friml, in:, H. Irving, C. Gehring, A. Wong (Eds.), Cryptic Enzymes and Moonlighting Proteins, Elsevier, 2025, pp. 299–322.
2025 |
Published |
Book Chapter |
IST-REx-ID: 21257 |
Sparse Fine-Tuning for Inference Acceleration of Large Language Models
E. Kurtic, D. Kuznedelev, E. Frantar, M. Goinv, S. Pandit, A. Agarwalla, T. Nguyen, A. Marques, M. Kurtz, D.-A. Alistarh, in:, P. Passban, A. Way, M. Rezagholizadeh (Eds.), Enhancing LLM Performance. Efficacy, Fine-Tuning, and Inference Techniques, Springer Nature, 2025, pp. 83–97.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Kurtic, D. Kuznedelev, E. Frantar, M. Goinv, S. Pandit, A. Agarwalla, T. Nguyen, A. Marques, M. Kurtz, D.-A. Alistarh, in:, P. Passban, A. Way, M. Rezagholizadeh (Eds.), Enhancing LLM Performance. Efficacy, Fine-Tuning, and Inference Techniques, Springer Nature, 2025, pp. 83–97.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21262 |
Continuous group-key agreement: Concurrent updates without pruning
B. Auerbach, M. Cueto Noval, B. Erol, K.Z. Pietrzak, in:, 45th Annual International Cryptology Conference, Springer Nature, 2025, pp. 141–172.
[Preprint]
View
| DOI
| Download Preprint (ext.)
B. Auerbach, M. Cueto Noval, B. Erol, K.Z. Pietrzak, in:, 45th Annual International Cryptology Conference, Springer Nature, 2025, pp. 141–172.
2025 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 21266 |
Almost all quadratic twists of an elliptic curve have no integral points
T.D. Browning, S. Chan, Journal of the European Mathematical Society (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
T.D. Browning, S. Chan, Journal of the European Mathematical Society (2025).
2025 |
Published |
Conference Paper |
IST-REx-ID: 21268 |
The value problem for multiple-environment MDPs with parity objective
K. Chatterjee, L. Doyen, J.-F. Raskin, O. Sankur, in:, 52nd International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, L. Doyen, J.-F. Raskin, O. Sankur, in:, 52nd International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 21270 |
Bound excited states of Fröhlich polarons in one dimension
J. Taylor, M. Čufar, D.J. Mitrouskas, R. Seiringer, E. Pahl, J. Brand, Physical Review B 112 (2025).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Taylor, M. Čufar, D.J. Mitrouskas, R. Seiringer, E. Pahl, J. Brand, Physical Review B 112 (2025).