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.
5242 Publications
2024 | Published | Thesis | IST-REx-ID: 18129
Janik M. 2024. Strong charge-photon coupling in Germanium enabled by granular aluminium superinductors. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18132 | 
Glas J. 2024. Counting rational points over function fields. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18135 |
Lauritsen AB. 2024. Energies of dilute Fermi gases and universalities in BCS theory. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 | Submitted | Preprint | IST-REx-ID: 18144 |
Janik M, Roux KER, Espinosa CB, Sagi O, Baghdadi A, Adletzberger T, Calcaterra S, Botifoll M, Manjón AG, Arbiol J, Chrastina D, Isella G, Pop IM, Katsaros G. Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors. arXiv, 10.48550/arXiv.2407.03079.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18154 |
Löwit J. 2024. On modulo ℓ cohomology of p-adic Deligne–Lusztig varieties for GLn. Journal of Algebra. 663, 81–118.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18155 |
Chatterjee K, Goharshady AK, Goharshady E, Karrabi M, Zikelic D. 2024. Sound and complete witnesses for template-based verification of LTL properties on polynomial programs. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). FM: Formal Methods, LNCS, vol. 14933, 600–619.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18156 |
Henzinger MH, Sricharan AR, Steiner TA. 2024. Private counting of distinct elements in the turnstile model and extensions. International Conference on Approximation Algorithms for Combinatorial Optimization Problems . APPROX: Conference on Approximation Algorithms for Combinatorial Optimization Problems, LIPIcs, vol. 317, 40.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18157 |
Brunck FR, Kwan MA. 2024. Books, Hallways, and social butterflies: A note on sliding block puzzles. Mathematical Intelligencer.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18158 |
Dello Schiavo L, Herry R, Suzuki K. 2024. Wasserstein geometry and Ricci curvature bounds for Poisson spaces. Journal de l’Ecole Polytechnique - Mathematiques. 11, 957–1010.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18159 |
Akshay S, Chatterjee K, Meggendorfer T, Zikelic D. 2024. Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties. Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence. IJCAI: International Joint Conference on Artificial Intelligence, 3–12.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18169
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2024. VAMOS: Middleware for best-effort third-party monitoring. Science of Computer Programming. 240, 103212.
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 18170 |
Herdina AN, Bozdogan A, Aspermair P, Dostalek J, Klausberger M, Lingg N, Cserjan-Puschmann M, Aguilar PP, Auer S, Demirtas H, Andersson J, Lötsch F, Holzer B, Steinrigl A, Thalhammer F, Schellnegger J, Breuer M, Knoll W, Strassl R. 2024. Bridging basic science and applied diagnostics: Comprehensive viral diagnostics enabled by graphene-based electronic biosensor technology advancements. Biosensors and Bioelectronics. 267, 116807.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 18171
Basu A, Singh A, Sehgal S, Madaan T, Prasad NG. 2024. Starvation increases susceptibility to bacterial infection and promotes systemic pathogen proliferation in Drosophila melanogaster females. Journal of Invertebrate Pathology. 207, 108209.
View
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 18173 |
Glas J. 2024. Rational points on complete intersections of cubic and quadric hypersurfaces over Fq(t). Journal of the London Mathematical Society. 110(4), e12991.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18175 |
Maj P, Muroya Lei S, Siek K, Di Grazia L, Vitek J. 2024. The fault in our stars: Designing reproducible large-scale code analysis experiments. 38th European Conference on Object-Oriented Programming. ECOOP: European Conference on Object-Oriented Programming, LIPIcs, vol. 313, 27.
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 18176 |
Zadnik L, Ljubotina M, Krajnik Ž, Ilievski E, Prosen T. 2024. Quantum many-body spin ratchets. PRX Quantum. 5(3), 030356.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 9651 |
Dymond M, Kaluza V. 2024. Divergence of separated nets with respect to displacement equivalence. Geometriae Dedicata. 218, 15.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 12178 |
Agresti A, Hieber M, Hussein A, Saal M. 2024. The stochastic primitive equations with transport noise and turbulent pressure. Stochastics and Partial Differential Equations: Analysis and Computations. 12, 53–133.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv