Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




6746 Publications

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18951 | OA
Hartarsky I, Lichev L, Toninelli FL. 2024. Local dimer dynamics in higher dimensions. Annales de l’Institut Henri Poincaré D, Combinatorics, Physics and their Interactions.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
earlier version | 2024 | Published | Conference Paper | IST-REx-ID: 18917 | OA
Aronov B, Basit A, Ramesh I, Tasinato G, Wagner U. 2024. Eight-partitioning points in 3D, and efficiently too. 40th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry vol. 293, 8:1-8:15.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18557 | OA
El-Hayek A, Henzinger M, Schmid S. 2024. Broadcast and Consensus in stochastic dynamic networks with Byzantine nodes and adversarial edges. 38th International Symposium on Distributed Computing. DISC: Symposium on Distributed Computing, LIPIcs, vol. 319, 21.
[Published Version] View | Files available | DOI | WoS | arXiv
 
earlier version | 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: 17426 | OA
Prach B, Brau F, Buttazzo G, Lampert C. 2024. 1-Lipschitz layers compared: Memory, speed, and certifiable robustness. Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition, 24574–24583.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
earlier version | 2024 | Draft | Preprint | IST-REx-ID: 18874 | OA
Prach B, Lampert C. Intriguing properties of robust classification. arXiv, 2412.04245.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 17634 | OA
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. 2024. QuAK: Quantitative Automata Kit. 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. ISoLA: International Symposium on Leveraging Applications, LNCS, vol. 15222, 3–20.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18121 | OA
Moakhar AS, Iofinova EB, Frantar E, Alistarh D-A. 2024. SPADE: Sparsity-guided debugging for deep neural networks. Proceedings of the 41st International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 235, 45955–45987.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 15297 | OA
Svoboda J, Joshi SS, Tkadlec J, Chatterjee K. 2024. Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating. PLoS Computational Biology. 20(3), e1012008.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18703 | OA
Svoboda J, Chatterjee K. 2024. Density amplifiers of cooperation for spatial games. Proceedings of the National Academy of Sciences of the United States of America. 121(50), e2405605121.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
earlier version | 2024 | Draft | Preprint | IST-REx-ID: 18689 | OA
Gallei MC, Truckenbrodt SM, Kreuzinger C, Inumella S, Vistunou V, Sommer CM, Tavakoli M, Agudelo Duenas N, Vorlaufer J, Jahr W, Randuch M, Johnson AJ, Benková E, Friml J, Danzl JG. Super-resolution expansion microscopy in plant roots. bioRxiv, 10.1101/2024.02.21.581330.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
earlier version | 2024 | Draft | Preprint | IST-REx-ID: 18688 | OA
Watson JF, Vargas-Barroso V, Morse-Mora RJ, Navas-Olive A, Tavakoli M, Danzl JG, Tomschik M, Rössler K, Jonas PM. Human hippocampal CA3 uses specific functional connectivity rules for efficient associative memory. bioRxiv, 10.1101/2024.05.02.592169.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2024 | Published | Thesis | PhD | IST-REx-ID: 18681
Tavakoli M. 2024. Developing molecular and structural tools for studying brain architecture with super resolution expansion microscopy. LICONN: Molecularly-informed connectomics reconstruction with light microscopy. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
earlier version | 2024 | Draft | Preprint | IST-REx-ID: 18677 | OA
Tavakoli M, Lyudchik J, Januszewski M, Vistunou V, Agudelo Duenas N, Vorlaufer J, Sommer CM, Kreuzinger C, Oliveira B, Cenameri A, Novarino G, Jain V, Danzl JG. Light-microscopy based dense connectomic reconstruction of mammalian brain tissue. bioRxiv, 10.1101/2024.03.01.582884.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2024 | Published | Journal Article | IST-REx-ID: 14793 | OA
Valentini M, Sagi O, Baghumyan L, de Gijsel T, Jung J, Calcaterra S, Ballabio A, Aguilera Servin JL, Aggarwal K, Janik M, Adletzberger T, Seoane Souto R, Leijnse M, Danon J, Schrade C, Bakkers E, Chrastina D, Isella G, Katsaros G. 2024. Parity-conserving Cooper-pair transport and ideal superconducting diode in planar germanium. Nature Communications. 15, 169.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 12312 | OA
Lombardo D, Verzobio M. 2024. On the local-global principle for isogenies of abelian surfaces. Selecta Mathematica. 30(2), 18.
[Published Version] View | Files available | DOI | WoS | arXiv
 
earlier version | 2024 | Draft | Preprint | IST-REx-ID: 19425 | OA
Karle V, Lemeshko M, Bouhon A, Slager R-J, Ünal FN. Anomalous multi-gap topological phases in periodically driven quantum  rotors. arXiv, 2408.16848.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 17127 | OA
Wang V, Xu MW. 2024. Paucity phenomena for polynomial products. Bulletin of the London Mathematical Society. 56(8), 2718–2726.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 15338 | OA
Browning TD, Pierce LB, Schindler D. 2024. Generalised quadratic forms over totally real number fields. Journal of the Institute of Mathematics of Jussieu. 23(6), 2859–2912.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 15337 | OA
Bonolis D, Browning TD, Huang Z. 2024. Density of rational points on some quadric bundle threefolds. Mathematische Annalen. 390, 4123–4207.
[Published Version] View | Files available | DOI | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed