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.
6171 Publications
2024 | Published | Journal Article | IST-REx-ID: 12846 | 
Area formula for spherical polygons via prequantization
A. Chern, S. Ishida, SIAM Journal on Applied Algebra and Geometry 8 (2024) 782–796.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Chern, S. Ishida, SIAM Journal on Applied Algebra and Geometry 8 (2024) 782–796.
2024 | Draft | Preprint | IST-REx-ID: 17361 |
Symplectic structures on the space of space curves
M. Bauer, S. Ishida, P.W. Michor, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Bauer, S. Ishida, P.W. Michor, ArXiv (n.d.).
2024 | Published | Journal Article | IST-REx-ID: 17377 |
BiAux, a newly discovered compound triggering auxin signaling
B. Wójcikowska, J. Friml, E. Mazur, Trends in Plant Science 29 (2024) 1279–1281.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B. Wójcikowska, J. Friml, E. Mazur, Trends in Plant Science 29 (2024) 1279–1281.
2024 | Published | Journal Article | IST-REx-ID: 18525 |
Quantitative omnigenic model discovers interpretable genome-wide associations
N. Ruzickova, M. Hledik, G. Tkačik, Proceedings of the National Academy of Sciences of the United States of America 121 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
N. Ruzickova, M. Hledik, G. Tkačik, Proceedings of the National Academy of Sciences of the United States of America 121 (2024).
2024 | Draft | Preprint | IST-REx-ID: 20701 |
Practical batch proofs of exponentiation
C. Hoffmann, P. Hubáček, S. Ivanova, Cryptology EPrint Archive (n.d.).
[Preprint]
View
| Files available
| Download Preprint (ext.)
C. Hoffmann, P. Hubáček, S. Ivanova, Cryptology EPrint Archive (n.d.).
2024 | Draft | Preprint | IST-REx-ID: 17353 |
Heat flow, log-concavity, and Lipschitz transport maps
G. Brigati, F. Pedrotti, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
G. Brigati, F. Pedrotti, ArXiv (n.d.).
2024 | Published | Conference Paper | IST-REx-ID: 17146 |
Maximum Betti numbers of Čech complexes
H. Edelsbrunner, J. Pach, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
H. Edelsbrunner, J. Pach, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 17099 |
Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, J. Svoboda, in:, 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, J. Svoboda, in:, 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 15006 |
On the convergence time in graphical games: A locality-sensitive approach
J. Hirvonen, L. Schmid, K. Chatterjee, S. Schmid, in:, 27th International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
J. Hirvonen, L. Schmid, K. Chatterjee, S. Schmid, in:, 27th International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 15007 |
Eating sandwiches: Modular and lightweight elimination of transaction reordering attacks
O. Alpos, I. Amores-Sesar, C. Cachin, M.X. Yeo, in:, 27th International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
O. Alpos, I. Amores-Sesar, C. Cachin, M.X. Yeo, in:, 27th International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Journal Article | IST-REx-ID: 17302 |
Cryosphere–groundwater connectivity is a missing link in the mountain water cycle
van Tiel M, Aubry-Wake C, Somers L, Andermann C, Avanzi F, Baraer M, Chiogna G, Daigre C, Das S, Drenkhan F, Farinotti D, Fyffe CL, de Graaf I, Hanus S, Immerzeel W, Koch F, McKenzie JM, Müller T, Popp AL, Saidaliyeva Z, Schaefli B, Schilling OS, Teagai K, Thornton JM, Yapiyev V. 2024. Cryosphere–groundwater connectivity is a missing link in the mountain water cycle. Nature Water. 2, 624–637.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
van Tiel M, Aubry-Wake C, Somers L, Andermann C, Avanzi F, Baraer M, Chiogna G, Daigre C, Das S, Drenkhan F, Farinotti D, Fyffe CL, de Graaf I, Hanus S, Immerzeel W, Koch F, McKenzie JM, Müller T, Popp AL, Saidaliyeva Z, Schaefli B, Schilling OS, Teagai K, Thornton JM, Yapiyev V. 2024. Cryosphere–groundwater connectivity is a missing link in the mountain water cycle. Nature Water. 2, 624–637.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18706 |
Discrete-to-continuum limits of optimal transport with linear growth on periodic graphs
L. Portinale, F. Quattrocchi, European Journal of Applied Mathematics (2024) 1–29.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
L. Portinale, F. Quattrocchi, European Journal of Applied Mathematics (2024) 1–29.
2024 | Draft | Preprint | IST-REx-ID: 20571 |
Variational structures for the Fokker-Planck equation with general Dirichlet boundary conditions
F. Quattrocchi, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
F. Quattrocchi, ArXiv (n.d.).
2024 | Draft | Preprint | IST-REx-ID: 20570 |
Asymptotics for optimal empirical quantization of measures
F. Quattrocchi, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
F. Quattrocchi, ArXiv (n.d.).
2024 | Published | Conference Paper | IST-REx-ID: 18066 |
Bidding games with charging
G. Avni, E.K. Goharshady, T.A. Henzinger, K. Mallik, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Avni, E.K. Goharshady, T.A. Henzinger, K. Mallik, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 17327 |
Abstraction-based decision making for statistical properties
F. Cano, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, 9th International Conference on Formal Structures for Computation and Deduction, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
F. Cano, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, 9th International Conference on Formal Structures for Computation and Deduction, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 18156 |
Private counting of distinct elements in the turnstile model and extensions
M. Henzinger, A.R. Sricharan, T.A. Steiner, in:, International Conference on Approximation Algorithms for Combinatorial Optimization Problems , Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Henzinger, A.R. Sricharan, T.A. Steiner, in:, International Conference on Approximation Algorithms for Combinatorial Optimization Problems , Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
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.