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.
5283 Publications
2024 | Submitted | Preprint | IST-REx-ID: 18144 | 
Janik, Marian, et al. “Strong Charge-Photon Coupling in Planar Germanium Enabled by Granular Aluminium Superinductors.” ArXiv, doi: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, Jakub. “On modulo ℓ Cohomology of P-Adic Deligne–Lusztig Varieties for GLn.” Journal of Algebra, vol. 663, Elsevier, 2024, pp. 81–118, doi:10.1016/j.jalgebra.2024.08.033.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18155 |
Chatterjee, Krishnendu, et al. “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), vol. 14933, Springer Nature, 2024, pp. 600–19, doi:10.1007/978-3-031-71162-6_31.
[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, doi: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, et al. “Wasserstein Geometry and Ricci Curvature Bounds for Poisson Spaces.” Journal de l’Ecole Polytechnique - Mathematiques, vol. 11, Ecole Polytechnique, 2024, pp. 957–1010, doi:10.5802/jep.270.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18159 |
Akshay, S., et al. “Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties.” Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2024, pp. 3–12.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2024 | In Press | Book Chapter | IST-REx-ID: 18167
Guillerm, Undina, et al. “Generation of TIM Chaperone Substrate Complexes.” Methods in Enzymology, Elsevier, doi:10.1016/bs.mie.2024.07.051.
View
| DOI
2024 | Published | Journal Article | IST-REx-ID: 18170 |
Herdina, Anna Nele, et al. “Bridging Basic Science and Applied Diagnostics: Comprehensive Viral Diagnostics Enabled by Graphene-Based Electronic Biosensor Technology Advancements.” Biosensors and Bioelectronics, vol. 267, 116807, Elsevier, 2024, doi:10.1016/j.bios.2024.116807.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 18171
Basu, Aabeer, et al. “Starvation Increases Susceptibility to Bacterial Infection and Promotes Systemic Pathogen Proliferation in Drosophila Melanogaster Females.” Journal of Invertebrate Pathology, vol. 207, 108209, Elsevier, 2024, doi:10.1016/j.jip.2024.108209.
View
| DOI
| PubMed | Europe PMC
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, vol. 110, no. 4, e12991, London Mathematical Society, 2024, doi:10.1112/jlms.12991.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18175 |
Maj, Petr, et al. “The Fault in Our Stars: Designing Reproducible Large-Scale Code Analysis Experiments.” 38th European Conference on Object-Oriented Programming, vol. 313, 27, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.ECOOP.2024.27.
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 18176 |
Zadnik, Lenart, et al. “Quantum Many-Body Spin Ratchets.” PRX Quantum, vol. 5, no. 3, 030356, American Physical Society, 2024, doi:10.1103/PRXQuantum.5.030356.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18177
Beneš, Nikola, et al. “BNClassifier: Classifying Boolean Models by Dynamic Properties.” Computational Methods in Systems Biology, vol. 14971, Springer Nature, 2024, pp. 19–26, doi:10.1007/978-3-031-71671-3_2.
View
| DOI
2024 | Published | Journal Article | IST-REx-ID: 9651 |
Dymond, Michael, and Vojtech Kaluza. “Divergence of Separated Nets with Respect to Displacement Equivalence.” Geometriae Dedicata, vol. 218, 15, Springer Nature, 2024, doi:10.1007/s10711-023-00862-3.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 12178 |
Agresti, Antonio, et al. “The Stochastic Primitive Equations with Transport Noise and Turbulent Pressure.” Stochastics and Partial Differential Equations: Analysis and Computations, vol. 12, Springer Nature, 2024, pp. 53–133, doi:10.1007/s40072-022-00277-3.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 12311 |
Naskręcki, Bartosz, and Matteo Verzobio. “Common Valuations of Division Polynomials.” Proceedings of the Royal Society of Edinburgh Section A: Mathematics, 2203.02015, Cambridge University Press, 2024, doi:10.1017/prm.2024.7.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 12312 |
Lombardo, Davide, and Matteo Verzobio. “On the Local-Global Principle for Isogenies of Abelian Surfaces.” Selecta Mathematica, vol. 30, no. 2, 18, Springer Nature, 2024, doi:10.1007/s00029-023-00908-0.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 12485 |
Agresti, Antonio, and Mark Veraar. “The Critical Variational Setting for Stochastic Evolution Equations.” Probability Theory and Related Fields, vol. 188, Springer Nature, 2024, pp. 957–1015, doi:10.1007/s00440-023-01249-x.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 12875 |
Cheung, Giselle T., et al. “Multipotent Progenitors Instruct Ontogeny of the Superior Colliculus.” Neuron, vol. 112, no. 2, Elsevier, 2024, p. 230–246.e11, doi:10.1016/j.neuron.2023.11.009.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 13044 |
Mondal, Soumyadip, et al. “Singlet Oxygen in Non-Aqueous Oxygen Redox: Direct Spectroscopic Evidence for Formation Pathways and Reliability of Chemical Probes.” Faraday Discussions, vol. 248, Royal Society of Chemistry, 2024, pp. 175–89, doi:10.1039/d3fd00088e.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC