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.
5507 Publications
2024 | Published | Thesis | IST-REx-ID: 18129
Janik, Marian. “Strong Charge-Photon Coupling in Germanium Enabled by Granular Aluminium Superinductors.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18129.
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18132 | 
Glas, Jakob. “Counting Rational Points over Function Fields.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18132.
[Published Version]
View
| Files available
| DOI
2024 | Submitted | Preprint | IST-REx-ID: 18144 |
Janik, Marian, Kevin Etienne Robert Roux, Carla Borja Espinosa, Oliver Sagi, Abdulhamid Baghdadi, Thomas Adletzberger, Stefano Calcaterra, et al. “Strong Charge-Photon Coupling in Planar Germanium Enabled by Granular Aluminium Superinductors.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2407.03079.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18155 |
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Ehsan Goharshady, Mehrdad Karrabi, and Dorde Zikelic. “Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 14933:600–619. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-71162-6_31.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18156 |
Henzinger, Monika, A. R. Sricharan, and Teresa Anna Steiner. “Private Counting of Distinct Elements in the Turnstile Model and Extensions.” In International Conference on Approximation Algorithms for Combinatorial Optimization Problems , Vol. 317. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2024.40.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18157 |
Brunck, Florestan R, and Matthew Alan Kwan. “Books, Hallways, and Social Butterflies: A Note on Sliding Block Puzzles.” Mathematical Intelligencer. Springer Nature, 2024. https://doi.org/10.1007/s00283-024-10358-x.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18158 |
Dello Schiavo, Lorenzo, Ronan Herry, and Kohei Suzuki. “Wasserstein Geometry and Ricci Curvature Bounds for Poisson Spaces.” Journal de l’Ecole Polytechnique - Mathematiques. Ecole Polytechnique, 2024. https://doi.org/10.5802/jep.270.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18159 |
Akshay, S, Krishnendu Chatterjee, Tobias Meggendorfer, and Dorde Zikelic. “Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties.” In Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 3–12. International Joint Conferences on Artificial Intelligence, 2024.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18160 |
Chatterjee, Krishnendu, Ehsan Goharshady, Mehrdad Karrabi, Petr Novotný, and Dorde Zikelic. “Solving Long-Run Average Reward Robust MDPs via Stochastic Games.” In 33rd International Joint Conference on Artificial Intelligence, 6707–15. International Joint Conferences on Artificial Intelligence, 2024.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18168 |
Wu, Dongqing, Anamaria Koscic, Sonja Schneider, Romeo C. A. Dubini, Diana C. Rodriguez Camargo, Sabine Schneider, and Petra Rovo. “Unveiling the Dynamic Self-Assembly of a Recombinant Dragline-Silk-Mimicking Protein.” Biomacromolecules. American Chemical Society, 2024. https://doi.org/10.1021/acs.biomac.3c01239.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 18172 |
| 
|
Hatt, Emily J., J. M.Joel Ong, Martin B. Nielsen, William J. Chaplin, Guy R. Davies, Sébastien Deheuvels, Jérôme Ballot, Gang Li, and Lisa Annabelle Bugnet. “Asteroseismic Signatures of Core Magnetism and Rotation in Hundreds of Low-Luminosity Red Giants.” Monthly Notices of the Royal Astronomical Society. Oxford Academic, 2024. https://doi.org/10.1093/mnras/stae2053.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18173 |
Glas, Jakob. “Rational Points on Complete Intersections of Cubic and Quadric Hypersurfaces over Fq(T).” Journal of the London Mathematical Society. London Mathematical Society, 2024. https://doi.org/10.1112/jlms.12991.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18174 |
Wassermair, Michael, Gerhard Kahl, Roland Roth, and Andrew J. Archer. “Fingerprints of Ordered Self-Assembled Structures in the Liquid Phase of a Hard-Core, Square-Shoulder System.” The Journal of Chemical Physics. AIP Publishing, 2024. https://doi.org/10.1063/5.0226954.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18175 |
Maj, Petr, Stefanie Muroya Lei, Konrad Siek, Luca Di Grazia, and Jan Vitek. “The Fault in Our Stars: Designing Reproducible Large-Scale Code Analysis Experiments.” In 38th European Conference on Object-Oriented Programming, Vol. 313. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. https://doi.org/10.4230/LIPIcs.ECOOP.2024.27.
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 18176 |
Zadnik, Lenart, Marko Ljubotina, Žiga Krajnik, Enej Ilievski, and Tomaž Prosen. “Quantum Many-Body Spin Ratchets.” PRX Quantum. American Physical Society, 2024. https://doi.org/10.1103/PRXQuantum.5.030356.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18177
Beneš, Nikola, Luboš Brim, Ondřej Huvar, Samuel Pastva, and David Šafránek. “BNClassifier: Classifying Boolean Models by Dynamic Properties.” In Computational Methods in Systems Biology, 14971:19–26. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-71671-3_2.
View
| DOI
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18266
Chatterjee, Krishnendu, Miquel Oliu-Barton, and Raimundo J Saona Urmeneta. “Value-Positivity for Matrix Games.” Mathematics of Operations Research. Institute for Operations Research and the Management Sciences, 2024. https://doi.org/10.1287/moor.2022.0332.
View
| DOI
2024 | Submitted | Preprint | IST-REx-ID: 18295 |
Glas, Jakob. “Canonical Singularities on Moduli Spaces of Rational Curves via the Circle Method.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2405.16648.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18305 |
Kratsios, Paschalis, Niccolò Zampieri, Robert Carrillo, Kota Mizumoto, Lora B. Sweeney, and Polyxeni Philippidou. “Molecular and Cellular Mechanisms of Motor Circuit Development.” The Journal of Neuroscience. Society of Neuroscience, 2024. https://doi.org/10.1523/JNEUROSCI.1238-24.2024.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 18306 |
Oza AV, Seidel JV, Hoeijmakers HJ, Unni A, Kesseli AY, Schmidt CA, Sivarani T, Bello-Arufe A, Gebek A, Meyer Zu Westram M, Sousa SG, Lopes RMC, Hu R, De Kleer K, Fisher C, Charnoz S, Baker AD, Halverson SP, Schneider NM, Psaridi A, Wyttenbach A, Torres Rodriguez S, Bhatnagar I, Johnson RE. 2024. Redshifted sodium transient near exoplanet transit. Astrophysical Journal Letters. 973(2), L53.
[Published Version]
View
| Files available
| DOI
| arXiv