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.
5339 Publications
2023 | Published | Conference Paper | IST-REx-ID: 14242 | 
Quantization-aware interval bound propagation for training certifiably robust quantized neural networks
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, D. Rus, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 14964–14973.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, D. Rus, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 14964–14973.
2023 | Published | Conference Paper | IST-REx-ID: 14243 |
Bidding graph games with partially-observable budgets
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023, pp. 5464–5471.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023, pp. 5464–5471.
2023 | Published | Journal Article | IST-REx-ID: 14244 |
Arithmetic and metric aspects of open de Rham spaces
T. Hausel, M.L. Wong, D. Wyss, Proceedings of the London Mathematical Society 127 (2023) 958–1027.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T. Hausel, M.L. Wong, D. Wyss, Proceedings of the London Mathematical Society 127 (2023) 958–1027.
2023 | Published | Journal Article | IST-REx-ID: 14245 |
Horospherical coordinates of lattice points in hyperbolic spaces: Effective counting and equidistribution
T. Horesh, A. Nevo, Pacific Journal of Mathematics 324 (2023) 265–294.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T. Horesh, A. Nevo, Pacific Journal of Mathematics 324 (2023) 265–294.
2023 | Published | Journal Article | IST-REx-ID: 14246 |
Emergence of a Bose polaron in a small ring threaded by the Aharonov-Bohm flux
F. Brauneis, A. Ghazaryan, H.-W. Hammer, A. Volosniev, Communications Physics 6 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
F. Brauneis, A. Ghazaryan, H.-W. Hammer, A. Volosniev, Communications Physics 6 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14253 |
Neuronal ER-plasma membrane junctions couple excitation to Ca2+-activated PKA signaling
N.C. Vierra, L. Ribeiro-Silva, M. Kirmiz, D. Van Der List, P. Bhandari, O.A. Mack, J. Carroll, E. Le Monnier, S.A. Aicher, R. Shigemoto, J.S. Trimmer, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
N.C. Vierra, L. Ribeiro-Silva, M. Kirmiz, D. Van Der List, P. Bhandari, O.A. Mack, J. Carroll, E. Le Monnier, S.A. Aicher, R. Shigemoto, J.S. Trimmer, Nature Communications 14 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14254 |
A simple approach to Lieb-Thirring type inequalities
R. Seiringer, J.P. Solovej, Journal of Functional Analysis 285 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
R. Seiringer, J.P. Solovej, Journal of Functional Analysis 285 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14255 |
The phenuivirus Toscana virus makes an atypical use of vacuolar acidity to enter host cells
J. Koch, Q. Xin, M. Obr, A. Schäfer, N. Rolfs, H.A. Anagho, A. Kudulyte, L. Woltereck, S. Kummer, J. Campos, Z.M. Uckeley, L. Bell-Sakyi, H.G. Kräusslich, F.K. Schur, C. Acuna, P.Y. Lozach, PLoS Pathogens 19 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Koch, Q. Xin, M. Obr, A. Schäfer, N. Rolfs, H.A. Anagho, A. Kudulyte, L. Woltereck, S. Kummer, J. Campos, Z.M. Uckeley, L. Bell-Sakyi, H.G. Kräusslich, F.K. Schur, C. Acuna, P.Y. Lozach, PLoS Pathogens 19 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14256 |
Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields
S. Mathis, L.A. Bugnet, Astronomy and Astrophysics 676 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Mathis, L.A. Bugnet, Astronomy and Astrophysics 676 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14258 |
Genetic insights into the age-specific biological mechanisms governing human ovarian aging
S.E. Ojavee, L. Darrous, M. Patxot, K. Läll, K. Fischer, R. Mägi, Z. Kutalik, M.R. Robinson, American Journal of Human Genetics 110 (2023) 1549–1563.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S.E. Ojavee, L. Darrous, M. Patxot, K. Läll, K. Fischer, R. Mägi, Z. Kutalik, M.R. Robinson, American Journal of Human Genetics 110 (2023) 1549–1563.
2023 | Published | Conference Paper | IST-REx-ID: 14259 |
Guessing winning policies in LTL synthesis by semantic learning
J. Kretinsky, T. Meggendorfer, M. Prokop, S. Rieder, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 390–414.
[Published Version]
View
| Files available
| DOI
J. Kretinsky, T. Meggendorfer, M. Prokop, S. Rieder, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 390–414.
2023 | Published | Conference Paper | IST-REx-ID: 14260 |
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 156–169.
[Published Version]
View
| Files available
| DOI
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 156–169.
2023 | Published | Journal Article | IST-REx-ID: 14277 |
Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers
D.R. Boocock, T. Hirashima, E.B. Hannezo, PRX Life 1 (2023).
[Published Version]
View
| Files available
| DOI
D.R. Boocock, T. Hirashima, E.B. Hannezo, PRX Life 1 (2023).
2023 | Research Data Reference | IST-REx-ID: 14279 |
Source data for the manuscript "CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration"
M.C. Ucar, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M.C. Ucar, (2023).
2023 | Published | Journal Article | IST-REx-ID: 14313 |
Rapid auxin signaling: Unknowns old and new
L. Fiedler, J. Friml, Current Opinion in Plant Biology 75 (2023).
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
L. Fiedler, J. Friml, Current Opinion in Plant Biology 75 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14314 |
Theta oscillations as a substrate for medial prefrontal-hippocampal assembly interactions
M. Nardin, K. Käfer, F. Stella, J.L. Csicsvari, Cell Reports 42 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M. Nardin, K. Käfer, F. Stella, J.L. Csicsvari, Cell Reports 42 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14315 |
Caspase-mediated nuclear pore complex trimming in cell differentiation and endoplasmic reticulum stress
U.H. Cho, M. Hetzer, ELife 12 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
U.H. Cho, M. Hetzer, ELife 12 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14316 |
Distinct role of TGN-resident clathrin adaptors for Vps21p activation in the TGN-endosome trafficking pathway
M. Nagano, K. Aoshima, H. Shimamura, D.E. Siekhaus, J.Y. Toshima, J. Toshima, Journal of Cell Science 136 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
M. Nagano, K. Aoshima, H. Shimamura, D.E. Siekhaus, J.Y. Toshima, J. Toshima, Journal of Cell Science 136 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14317 |
MDPs as distribution transformers: Affine invariant synthesis for safety objectives
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
[Published Version]
View
| Files available
| DOI
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
2023 | Published | Conference Paper | IST-REx-ID: 14318 |
Automated tail bound analysis for probabilistic recurrence relations
Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Computer Aided Verification, Springer Nature, 2023, pp. 16–39.
[Published Version]
View
| Files available
| DOI
Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Computer Aided Verification, Springer Nature, 2023, pp. 16–39.