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