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 | 
Lechner, Mathias, Dorde Zikelic, Krishnendu Chatterjee, Thomas A Henzinger, and Daniela Rus. “Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks.” In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:14964–73. Association for the Advancement of Artificial Intelligence, 2023. https://doi.org/10.1609/aaai.v37i12.26747.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14243 |
Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Bidding Graph Games with Partially-Observable Budgets.” In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:5464–71, 2023. https://doi.org/10.1609/aaai.v37i5.25679.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14244 |
Hausel, Tamás, Michael Lennox Wong, and Dimitri Wyss. “Arithmetic and Metric Aspects of Open de Rham Spaces.” Proceedings of the London Mathematical Society. Wiley, 2023. https://doi.org/10.1112/plms.12555.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14245 |
Horesh, Tal, and Amos Nevo. “Horospherical Coordinates of Lattice Points in Hyperbolic Spaces: Effective Counting and Equidistribution.” Pacific Journal of Mathematics. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/pjm.2023.324.265.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14246 |
Brauneis, Fabian, Areg Ghazaryan, Hans-Werner Hammer, and Artem Volosniev. “Emergence of a Bose Polaron in a Small Ring Threaded by the Aharonov-Bohm Flux.” Communications Physics. Springer Nature, 2023. https://doi.org/10.1038/s42005-023-01281-2.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14253 |
Vierra, Nicholas C., Luisa Ribeiro-Silva, Michael Kirmiz, Deborah Van Der List, Pradeep Bhandari, Olivia A. Mack, James Carroll, et al. “Neuronal ER-Plasma Membrane Junctions Couple Excitation to Ca2+-Activated PKA Signaling.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-40930-6.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14254 |
Seiringer, Robert, and Jan Philip Solovej. “A Simple Approach to Lieb-Thirring Type Inequalities.” Journal of Functional Analysis. Elsevier, 2023. https://doi.org/10.1016/j.jfa.2023.110129.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14255 |
Koch, Jana, Qilin Xin, Martin Obr, Alicia Schäfer, Nina Rolfs, Holda A. Anagho, Aiste Kudulyte, et al. “The Phenuivirus Toscana Virus Makes an Atypical Use of Vacuolar Acidity to Enter Host Cells.” PLoS Pathogens. Public Library of Science, 2023. https://doi.org/10.1371/journal.ppat.1011562.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14256 |
Mathis, S., and Lisa Annabelle Bugnet. “Asymmetries of Frequency Splittings of Dipolar Mixed Modes: A Window on the Topology of Deep Magnetic Fields.” Astronomy and Astrophysics. EDP Sciences, 2023. https://doi.org/10.1051/0004-6361/202346832.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14258 |
Ojavee, Sven E., Liza Darrous, Marion Patxot, Kristi Läll, Krista Fischer, Reedik Mägi, Zoltan Kutalik, and Matthew Richard Robinson. “Genetic Insights into the Age-Specific Biological Mechanisms Governing Human Ovarian Aging.” American Journal of Human Genetics. Elsevier, 2023. https://doi.org/10.1016/j.ajhg.2023.07.006.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 14259 |
Kretinsky, Jan, Tobias Meggendorfer, Maximilian Prokop, and Sabine Rieder. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.” In 35th International Conference on Computer Aided Verification , 13964:390–414. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37706-8_20.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14260 |
Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” In 35th International Conference on Computer Aided Verification , 13964:156–69. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37706-8_8.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14277 |
Boocock, Daniel R, Tsuyoshi Hirashima, and Edouard B Hannezo. “Interplay between Mechanochemical Patterning and Glassy Dynamics in Cellular Monolayers.” PRX Life. American Physical Society, 2023. https://doi.org/10.1103/prxlife.1.013001.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 14279 |
Ucar, Mehmet C. “Source Data for the Manuscript ‘CCR7 Acts as Both a Sensor and a Sink for CCL19 to Coordinate Collective Leukocyte Migration.’” Zenodo, 2023. https://doi.org/10.5281/ZENODO.8133960.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 14313 |
Fiedler, Lukas, and Jiří Friml. “Rapid Auxin Signaling: Unknowns Old and New.” Current Opinion in Plant Biology. Elsevier, 2023. https://doi.org/10.1016/j.pbi.2023.102443.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14314 |
Nardin, Michele, Karola Käfer, Federico Stella, and Jozsef L Csicsvari. “Theta Oscillations as a Substrate for Medial Prefrontal-Hippocampal Assembly Interactions.” Cell Reports. Elsevier, 2023. https://doi.org/10.1016/j.celrep.2023.113015.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14315 |
Cho, Ukrae H., and Martin Hetzer. “Caspase-Mediated Nuclear Pore Complex Trimming in Cell Differentiation and Endoplasmic Reticulum Stress.” ELife. eLife Sciences Publications, 2023. https://doi.org/10.7554/eLife.89066.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14316 |
Nagano, Makoto, Kaito Aoshima, Hiroki Shimamura, Daria E Siekhaus, Junko Y. Toshima, and Jiro Toshima. “Distinct Role of TGN-Resident Clathrin Adaptors for Vps21p Activation in the TGN-Endosome Trafficking Pathway.” Journal of Cell Science. The Company of Biologists, 2023. https://doi.org/10.1242/jcs.261448.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 14317 |
Akshay, S., Krishnendu Chatterjee, Tobias Meggendorfer, and Dorde Zikelic. “MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.” In International Conference on Computer Aided Verification, 13966:86–112. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37709-9_5.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14318 |
Sun, Yican, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “Automated Tail Bound Analysis for Probabilistic Recurrence Relations.” In Computer Aided Verification, 13966:16–39. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37709-9_2.
[Published Version]
View
| Files available
| DOI