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 J, Furmanek B, Lipiński M, Morozov D. Topological simplification guided by forbidden regions. In: 42nd International Symposium on Computational Geometry. Vol 367. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2026. doi:10.4230/LIPIcs.SoCG.2026.72
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22003 |
Adams H, Majhi S, Manin F, Virk Z, Zava N. 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. doi:10.4230/LIPIcs.SoCG.2026.3
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22004 |
Chan TM, Chang HC, Gao J, Kisfaludi-Bak S, Le H, Zheng DW. 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. doi:10.4230/LIPIcs.SoCG.2026.29
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22006 |
Chalupa M, Henzinger TA, Sarac NE, Yu E. Quantitative monitoring of Signal First-Order logic. In: 27th International Symposium on Formal Methods. Vol 16557. Springer Nature; 2026:214-233. doi:10.1007/978-3-032-26220-2_11
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 22100 |
|
|
Li J, Koutentakis G, Hrast M, Lemeshko M, Schindewolf A, Al Hyder R. Tunable field-linked s-wave interactions in dipolar fermi mixtures. Communications Physics. 2026;9. doi:10.1038/s42005-026-02578-8
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 22102 |
|
|
Chatterjee K, Goharshady E, Zikelic D. SuperDP: Differential privacy refutation via supermartingales. Proceedings of the ACM on Programming Languages. 2026;10(PLDI). doi:10.1145/3808296
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Research Data Reference |
IST-REx-ID: 22134 |
Chatterjee K, Goharshady E, Zikelic D. SuperDP: Differential Privacy Refutation via Supermartingales. 2026. doi:10.5281/ZENODO.18930113
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2026 |
Research Data |
IST-REx-ID: 20833 |
Layana Franco LA, Toups MA, Vicoso B. Research Data for “Causes and consequences of sex-chromosome turnovers in Diptera.” 2026. doi:10.15479/AT-ISTA-20833
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 20840 |
|
|
Agafonova S, Rosello P, Mekonnen M, Hosten O. One-milligram torsional pendulum toward experiments at the quantum-gravity interface. Communications Physics. 2026;9. doi:10.1038/s42005-026-02514-w
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 20865 |
|
|
Quattrocchi F. Variational structures for the Fokker-Planck equation with general Dirichlet boundary conditions. Calculus of Variations and Partial Differential Equations. 2026;65(1). doi:10.1007/s00526-025-03193-1
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Thesis | MS |
IST-REx-ID: 20964
Vladimirtsev D. Armadillo repeat only proteins are master regulators of plant cyclic-nucleotide gated channels. 2026. doi:10.15479/AT-ISTA-20964
[Published Version]
View
| Files available
| DOI
2026 |
Journal Article |
IST-REx-ID: 20972
Kücükdereli H, Douglass AM. Neuroscience: What doesn’t kill you makes you stronger. Current Biology. 2026;36(1):R27-R29. doi:10.1016/j.cub.2025.11.056
View
| DOI
| PubMed | Europe PMC
2026 |
Published |
Journal Article |
IST-REx-ID: 20974 |
|
|
Kist T, Hennawi JF, Davies FB, 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. 2026;545(3). doi:10.1093/mnras/staf2219
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 20980 |
Dey TK, Haas A, Lipiński M. Computing a connection matrix and persistence efficiently from a morse decomposition. SIAM Journal on Applied Dynamical Systems. 2026;25(1):108-130. doi:10.1137/25m1739406
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 20991 |
Garcia Castillo DF. The genomic architecture of local adaptation in introduced populations. 2026. doi:10.15479/AT-ISTA-20991
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 21001
Patil NN, Wu R, Fiedler C, et al. Layered alkali-copper selenides: Deciphering thermoelectric properties and reaction pathways for nanostructuring β-CsCu5Se3. ACS Energy Letters. 2026;11(1):481-488. doi:10.1021/acsenergylett.5c02909
View
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 21008 |
|
|
Bena A, Pieber B. Advances in NiI/NiIII-catalyzed C(sp2)–heteroatom cross-couplings. ACS Catalysis. 2026;16(2):866-881. doi:10.1021/acscatal.5c07964
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 21012 |
|
|
Barrett C, Henzinger TA, Seshia SA. Certificates in AI: Learn but verify. Communications of the ACM. 2026;69(1):66-75. doi:10.1145/3737447
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 21013 |
|
|
GOSWAMI BB, Lu Z, Muller CJ. Convective self‐aggregation in diurnally oscillating sea surface temperature and solar forcing experiments. Journal of Advances in Modeling Earth Systems. 2026;18(1). doi:10.1029/2024ms004576
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 21015 |
|
|
Mishra N, Li YI, Hannezo EB, Heisenberg C-PJ. Geometry-driven asymmetric cell divisions pattern cell cycles and zygotic genome activation in the zebrafish embryo. Nature Physics. 2026;22:139-150. doi:10.1038/s41567-025-03122-1
[Published Version]
View
| Files available
| DOI
| OpenAlexWorkID