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.
571 Publications
2022 |
Research Data |
IST-REx-ID: 10934 |
Radler, Philipp. “In Vitro Reconstitution of Escherichia Coli Divisome Activation.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/AT:ISTA:10934.
[Submitted Version]
View
| Files available
| DOI
2022 |
Research Data |
IST-REx-ID: 11653 |
Elkrewi, Marwan N. “Data from Elkrewi, Khauratovich, Toups et Al. 2022, ‘ZW Sex-Chromosome Evolution and Contagious Parthenogenesis in Artemia Brine Shrimp.’” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/AT:ISTA:11653.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 11932 |
Nardin, Michele. “On the Encoding, Transfer, and Consolidation of Spatial Memories.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11932.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 10727 |
Metzler, Sina. “Pathogen-Mediated Sexual Selection and Immunization in Ant Colonies.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/AT:ISTA:10727.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Conference Paper |
IST-REx-ID: 11458 |
Krumes, Alexandra, Eugenia B Iofinova, Adrian Vladu, and Dan-Adrian Alistarh. “AC/DC: Alternating Compressed/DeCompressed Training of Deep Neural Networks.” In 35th Conference on Neural Information Processing Systems, 34:8557–70. Neural Information Processing Systems Foundation, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10007 |
Hensel, Sebastian. “Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10007.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10030 |
Portinale, Lorenzo. “Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10030.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Journal Article |
IST-REx-ID: 10191 |
Bui, Truc Lam, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, and Viktor Toman. “The Reads-from Equivalence for the TSO and PSO Memory Models.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2021. https://doi.org/10.1145/3485541.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10199 |
Toman, Viktor. “Improved Verification Techniques for Concurrent Systems.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10199.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Thesis | MS |
IST-REx-ID: 10422 |
Piankov, Anton. “Towards Designer Materials Using Customizable Particle Shape.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10422.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10429 |
Nadiradze, Giorgi. “On Achieving Scalability through Relaxation.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10429.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Journal Article |
IST-REx-ID: 10635 |
Nardin, Michele, James W. Phillips, William F. Podlaski, and Sander W. Keemink. “Nonlinear Computations in Spiking Neural Networks through Multiplicative Synapses.” Peer Community Journal. Peer Community In, 2021. https://doi.org/10.24072/pcjournal.69.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10665 |
Henzinger, Thomas A, Mathias Lechner, and Dorde Zikelic. “Scalable Verification of Quantized Neural Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:3787–95. AAAI Press, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10668 |
Babaiee, Zahra, Ramin Hasani, Mathias Lechner, Daniela Rus, and Radu Grosu. “On-off Center-Surround Receptive Fields for Accurate and Robust Image Classification.” In Proceedings of the 38th International Conference on Machine Learning, 139:478–89. ML Research Press, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10669 |
Grunbacher, Sophie, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott A Smolka, and Radu Grosu. “On the Verification of Neural ODEs with Stochastic Guarantees.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:11525–35. AAAI Press, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10671 |
Hasani, Ramin, Mathias Lechner, Alexander Amini, Daniela Rus, and Radu Grosu. “Liquid Time-Constant Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:7657–66. AAAI Press, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10694 |
Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Infinite-Duration All-Pay Bidding Games.” In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, edited by Dániel Marx, 617–36. Society for Industrial and Applied Mathematics, 2021. https://doi.org/10.1137/1.9781611976465.38.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 9022 |
Cipolloni, Giorgio. “Fluctuations in the Spectrum of Random Matrices.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:9022.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 9056 |
Osang, Georg F. “Multi-Cover Persistence and Delaunay Mosaics.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:9056.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Journal Article |
IST-REx-ID: 9121 |
Lauritsen, Asbjørn Bækgaard. “The BCS Energy Gap at Low Density.” Letters in Mathematical Physics. Springer Nature, 2021. https://doi.org/10.1007/s11005-021-01358-5.
[Published Version]
View
| Files available
| DOI
| WoS