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.
6713 Publications
2026 |
Published |
Conference Paper |
IST-REx-ID: 22002 |
Leśkiewicz, Jakub, Bartosz Furmanek, Michał Lipiński, and Dmitriy Morozov. “Topological Simplification Guided by Forbidden Regions.” In 42nd International Symposium on Computational Geometry, Vol. 367. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. https://doi.org/10.4230/LIPIcs.SoCG.2026.72.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22003 |
Adams, Henry, Sushovan Majhi, Fedor Manin, Ziga Virk, and Nicolò Zava. “Lower Bounding the Gromov–Hausdorff Distance in Metric Graphs.” In 42nd International Symposium on Computational Geometry, Vol. 367. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. https://doi.org/10.4230/LIPIcs.SoCG.2026.3.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22004 |
Chan, Timothy M., Hsien Chih Chang, Jie Gao, Sándor Kisfaludi-Bak, Hung Le, and Da Wei Zheng. “Charting the Diameter Computation Landscape of Intersection Graphs in 3D and Above.” In 42nd International Symposium on Computational Geometry, Vol. 367. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. https://doi.org/10.4230/LIPIcs.SoCG.2026.29.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22006 |
Chalupa, Marek, Thomas A Henzinger, Naci E Sarac, and Emily Yu. “Quantitative Monitoring of Signal First-Order Logic.” In 27th International Symposium on Formal Methods, 16557:214–33. Springer Nature, 2026. https://doi.org/10.1007/978-3-032-26220-2_11.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 22100 |
|
|
Li, Jinglun, Georgios Koutentakis, Mateja Hrast, Mikhail Lemeshko, Andreas Schindewolf, and Ragheed Al Hyder. “Tunable Field-Linked s-Wave Interactions in Dipolar Fermi Mixtures.” Communications Physics. Springer Nature, 2026. https://doi.org/10.1038/s42005-026-02578-8.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 22102 |
|
|
Chatterjee, Krishnendu, Ehsan Goharshady, and Dorde Zikelic. “SuperDP: Differential Privacy Refutation via Supermartingales.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2026. https://doi.org/10.1145/3808296.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Research Data Reference |
IST-REx-ID: 22134 |
Chatterjee, Krishnendu, Ehsan Goharshady, and Dorde Zikelic. “SuperDP: Differential Privacy Refutation via Supermartingales.” Zenodo, 2026. https://doi.org/10.5281/ZENODO.18930113.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2026 |
Research Data |
IST-REx-ID: 20833 |
Layana Franco, Lorena Alexandra, Melissa A Toups, and Beatriz Vicoso. “Research Data for ‘Causes and Consequences of Sex-Chromosome Turnovers in Diptera.’” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-20833.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 20840 |
|
|
Agafonova, Sofia, Pere Rosello, Manuel Mekonnen, and Onur Hosten. “One-Milligram Torsional Pendulum toward Experiments at the Quantum-Gravity Interface.” Communications Physics. Springer Nature, 2026. https://doi.org/10.1038/s42005-026-02514-w.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 20865 |
|
|
Quattrocchi, Filippo. “Variational Structures for the Fokker-Planck Equation with General Dirichlet Boundary Conditions.” Calculus of Variations and Partial Differential Equations. Springer Nature, 2026. https://doi.org/10.1007/s00526-025-03193-1.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Thesis | MS |
IST-REx-ID: 20964
Vladimirtsev, Dmitrii. “Armadillo Repeat Only Proteins Are Master Regulators of Plant Cyclic-Nucleotide Gated Channels.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-20964.
[Published Version]
View
| Files available
| DOI
2026 |
Journal Article |
IST-REx-ID: 20972
Kücükdereli, Hakan, and Amelia M. Douglass. “Neuroscience: What Doesn’t Kill You Makes You Stronger.” Current Biology. Elsevier, 2026. https://doi.org/10.1016/j.cub.2025.11.056.
View
| DOI
| PubMed | Europe PMC
2026 |
Published |
Journal Article |
IST-REx-ID: 20974 |
|
|
Kist, Timo, Joseph F. Hennawi, Frederick B. Davies, Eduardo Bañados, Sarah E.I. Bosman, Zheng Cai, Anna Christina Eilers, et al. “First Constraints on the Local Ionization Topology in Front of Two Quasars at z ∼ 7.5.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2026. https://doi.org/10.1093/mnras/staf2219.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 20980 |
Dey, Tamal K., Andrew Haas, and Michał Lipiński. “Computing a Connection Matrix and Persistence Efficiently from a Morse Decomposition.” SIAM Journal on Applied Dynamical Systems. Society for Industrial & Applied Mathematics, 2026. https://doi.org/10.1137/25m1739406.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 20991 |
Garcia Castillo, Diego Fernando. “The Genomic Architecture of Local Adaptation in Introduced Populations.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-20991.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 21001
Patil, Niraj Nitish, Ruiqi Wu, Christine Fiedler, Nilotpal Kapuria, Bingfei Nan, Navita Jakhar, Andreu Cabot, et al. “Layered Alkali-Copper Selenides: Deciphering Thermoelectric Properties and Reaction Pathways for Nanostructuring β-CsCu5Se3.” ACS Energy Letters. American Chemical Society, 2026. https://doi.org/10.1021/acsenergylett.5c02909.
View
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 21008 |
|
|
Bena, Aleksander, and Bartholomäus Pieber. “Advances in NiI/NiIII-Catalyzed C(Sp2)–Heteroatom Cross-Couplings.” ACS Catalysis. American Chemical Society, 2026. https://doi.org/10.1021/acscatal.5c07964.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 21012 |
|
|
Barrett, Clark, Thomas A Henzinger, and Sanjit A. Seshia. “Certificates in AI: Learn but Verify.” Communications of the ACM. Association for Computing Machinery, 2026. https://doi.org/10.1145/3737447.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 21013 |
|
|
GOSWAMI, BIDYUT B, Ziyin Lu, and Caroline J Muller. “Convective Self‐aggregation in Diurnally Oscillating Sea Surface Temperature and Solar Forcing Experiments.” Journal of Advances in Modeling Earth Systems. Wiley, 2026. https://doi.org/10.1029/2024ms004576.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 21015 |
|
|
Mishra, Nikhil, Yuting I Li, Edouard B Hannezo, and Carl-Philipp J Heisenberg. “Geometry-Driven Asymmetric Cell Divisions Pattern Cell Cycles and Zygotic Genome Activation in the Zebrafish Embryo.” Nature Physics. Springer Nature, 2026. https://doi.org/10.1038/s41567-025-03122-1.
[Published Version]
View
| Files available
| DOI
| OpenAlexWorkID