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 |
In vitro reconstitution of Escherichia coli divisome activation
P. Radler, (2022).
[Submitted Version]
View
| Files available
| DOI
P. Radler, (2022).
2022 |
Research Data |
IST-REx-ID: 11653 |
Data from Elkrewi, Khauratovich, Toups et al. 2022, "ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp"
M.N. Elkrewi, (2022).
[Published Version]
View
| Files available
| DOI
M.N. Elkrewi, (2022).
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 11932 |
On the encoding, transfer, and consolidation of spatial memories
M. Nardin, On the Encoding, Transfer, and Consolidation of Spatial Memories, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
M. Nardin, On the Encoding, Transfer, and Consolidation of Spatial Memories, Institute of Science and Technology Austria, 2022.
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 10727 |
Pathogen-mediated sexual selection and immunization in ant colonies
S. Metzler, Pathogen-Mediated Sexual Selection and Immunization in Ant Colonies, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
S. Metzler, Pathogen-Mediated Sexual Selection and Immunization in Ant Colonies, Institute of Science and Technology Austria, 2022.
2021 |
Published |
Conference Paper |
IST-REx-ID: 11458 |
AC/DC: Alternating Compressed/DeCompressed training of deep neural networks
A. Krumes, E.B. Iofinova, A. Vladu, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021, pp. 8557–8570.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
A. Krumes, E.B. Iofinova, A. Vladu, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021, pp. 8557–8570.
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10007 |
Curvature driven interface evolution: Uniqueness properties of weak solution concepts
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10030 |
Discrete-to-continuum limits of transport problems and gradient flows in the space of measures
L. Portinale, Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
L. Portinale, Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Journal Article |
IST-REx-ID: 10191 |
The reads-from equivalence for the TSO and PSO memory models
T.L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, V. Toman, Proceedings of the ACM on Programming Languages 5 (2021).
[Published Version]
View
| Files available
| DOI
| arXiv
T.L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, V. Toman, Proceedings of the ACM on Programming Languages 5 (2021).
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10199 |
Improved verification techniques for concurrent systems
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Thesis | MS |
IST-REx-ID: 10422 |
Towards designer materials using customizable particle shape
A. Piankov, Towards Designer Materials Using Customizable Particle Shape, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
A. Piankov, Towards Designer Materials Using Customizable Particle Shape, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10429 |
On achieving scalability through relaxation
G. Nadiradze, On Achieving Scalability through Relaxation, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
G. Nadiradze, On Achieving Scalability through Relaxation, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Journal Article |
IST-REx-ID: 10635 |
Nonlinear computations in spiking neural networks through multiplicative synapses
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, Peer Community Journal 1 (2021).
[Published Version]
View
| Files available
| DOI
| arXiv
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, Peer Community Journal 1 (2021).
2021 |
Published |
Conference Paper |
IST-REx-ID: 10665 |
Scalable verification of quantized neural networks
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
2021 |
Published |
Conference Paper |
IST-REx-ID: 10668 |
On-off center-surround receptive fields for accurate and robust image classification
Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 478–489.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 478–489.
2021 |
Published |
Conference Paper |
IST-REx-ID: 10669 |
On the verification of neural ODEs with stochastic guarantees
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.
2021 |
Published |
Conference Paper |
IST-REx-ID: 10671 |
Liquid time-constant networks
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
2021 |
Published |
Conference Paper |
IST-REx-ID: 10694 |
Infinite-duration all-pay bidding games
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 9022 |
Fluctuations in the spectrum of random matrices
G. Cipolloni, Fluctuations in the Spectrum of Random Matrices, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
G. Cipolloni, Fluctuations in the Spectrum of Random Matrices, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 9056 |
Multi-cover persistence and Delaunay mosaics
G.F. Osang, Multi-Cover Persistence and Delaunay Mosaics, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
G.F. Osang, Multi-Cover Persistence and Delaunay Mosaics, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Journal Article |
IST-REx-ID: 9121 |
The BCS energy gap at low density
A.B. Lauritsen, Letters in Mathematical Physics 111 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
A.B. Lauritsen, Letters in Mathematical Physics 111 (2021).