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.

11116 Publications


2024 | Published | Book | IST-REx-ID: 20615
Chen X, Zinger A. 2024. Spin/Pin-structures and real enumerative geometry, World Scientific Publishing,p.
View | DOI
 

2024 | Published | Journal Article | IST-REx-ID: 17219 | OA
Synak P, Kalinov A, Strugaru I-M, Etemadi A, Yang H, Wojtan C. 2024. Multi-material mesh-based surface tracking with implicit topology changes. ACM Transactions on Graphics. 43(4), 54.
[Published Version] View | Files available | DOI | WoS
 

2024 | Published | Thesis | IST-REx-ID: 18301 | OA
Etemadi A. 2024. Filling the holes of non-manifold self-intersecting meshes for implicit topology changes in surface tracking. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2024 | Published | Journal Article | IST-REx-ID: 18554 | OA
Erdös L, Riabov V. 2024. Eigenstate Thermalization Hypothesis for Wigner-type matrices. Communications in Mathematical Physics. 405(12), 282.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2024 | Draft | Preprint | IST-REx-ID: 19547 | OA
Erdös L, Henheik SJ, Riabov V. Cusp universality for correlated random matrices. arXiv, 10.48550/arXiv.2410.06813.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 12846 | OA
Chern A, Ishida S. 2024. Area formula for spherical polygons via prequantization. SIAM Journal on Applied Algebra and Geometry. 8(3), 782–796.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2024 | Draft | Preprint | IST-REx-ID: 17361 | OA
Bauer M, Ishida S, Michor PW. Symplectic structures on the space of space curves. arXiv, 10.48550/arXiv.2407.19908.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 17377 | OA
Wójcikowska B, Friml J, Mazur E. 2024. BiAux, a newly discovered compound triggering auxin signaling. Trends in Plant Science. 29(12), 1279–1281.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 18525 | OA
Ruzickova N, Hledik M, Tkačik G. 2024. Quantitative omnigenic model discovers interpretable genome-wide associations. Proceedings of the National Academy of Sciences of the United States of America. 121(44), e2402340121.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2024 | Draft | Preprint | IST-REx-ID: 17353 | OA
Brigati G, Pedrotti F. Heat flow, log-concavity, and Lipschitz transport maps. arXiv, 2404.15205.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 17146 | OA
Edelsbrunner H, Pach J. 2024. Maximum Betti numbers of Čech complexes. 40th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 293, 53.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 17099 | OA
Asadi A, Chatterjee K, Saona Urmeneta RJ, Svoboda J. 2024. Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms. 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 323, 5.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 15006 | OA
Hirvonen J, Schmid L, Chatterjee K, Schmid S. 2024. On the convergence time in graphical games: A locality-sensitive approach. 27th International Conference on Principles of Distributed Systems. OPODIS: Conference on Principles of Distributed Systems, LIPIcs, vol. 286, 11.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 15007 | OA
Alpos O, Amores-Sesar I, Cachin C, Yeo MX. 2024. Eating sandwiches: Modular and lightweight elimination of transaction reordering attacks. 27th International Conference on Principles of Distributed Systems. OPODIS: Conference on Principles of Distributed Systems, LIPIcs, vol. 286, 12.
[Published Version] View | Files available | DOI | WoS | arXiv
 

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

2024 | Published | Conference Paper | IST-REx-ID: 18066 | OA
Avni G, Goharshady EK, Henzinger TA, Mallik K. 2024. Bidding games with charging. 35th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 311, 8.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 17327 | OA
Cano F, Henzinger TA, Könighofer B, Kueffner K, Mallik K. 2024. Abstraction-based decision making for statistical properties. 9th International Conference on Formal Structures for Computation and Deduction. FSCD: Conference on Formal Structures for Computation and Deduction, LIPIcs, vol. 299, 2.
[Published Version] View | Files available | DOI | WoS
 

2024 | Published | Conference Paper | IST-REx-ID: 18156 | OA
Henzinger M, Sricharan AR, Steiner TA. 2024. Private counting of distinct elements in the turnstile model and extensions. International Conference on Approximation Algorithms for Combinatorial Optimization Problems . APPROX: Conference on Approximation Algorithms for Combinatorial Optimization Problems, LIPIcs, vol. 317, 40.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 18067 | OA
Boker U, Henzinger TA, Lehtinen K, Prakash A. 2024. History-determinism vs fair simulation. 35th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 311, 12.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 18308 | OA
La Tour MD, Henzinger M, Saulpic D. 2024. Fully dynamic k-means coreset in near-optimal update time. 32nd Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms, LIPIcs, vol. 308, 100.
[Published Version] View | Files available | DOI | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed