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.
6713 Publications
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.
2024 |
Published |
Journal Article |
IST-REx-ID: 18930 |
|
|
Sumsets in the set of squares
C. Elsholtz, L. Wurzinger, The Quarterly Journal of Mathematics 75 (2024) 1243–1254.
[Published Version]
View
| Files available
| DOI
| WoS
C. Elsholtz, L. Wurzinger, The Quarterly Journal of Mathematics 75 (2024) 1243–1254.
2024 |
Published |
Journal Article |
IST-REx-ID: 15312 |
Square-free values of random polynomials
T.D. Browning, I.E. Shparlinski, Journal of Number Theory 261 (2024) 220–240.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.D. Browning, I.E. Shparlinski, Journal of Number Theory 261 (2024) 220–240.
2024 |
Published |
Journal Article |
IST-REx-ID: 19051 |
The polynomial sieve and equal sums of like polynomials
T.D. Browning, International Mathematics Research Notices 2024 (2024) 10165–10168.
[Published Version]
View
| Files available
| DOI
| WoS
T.D. Browning, International Mathematics Research Notices 2024 (2024) 10165–10168.
2024 |
Published |
Journal Article |
IST-REx-ID: 10018 |
Integral points on singular del Pezzo surfaces
U. Derenthal, F.A. Wilsch, Journal of the Institute of Mathematics of Jussieu 23 (2024) 1259–1294.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
U. Derenthal, F.A. Wilsch, Journal of the Institute of Mathematics of Jussieu 23 (2024) 1259–1294.