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 |
Topological simplification guided by forbidden regions
J. Leśkiewicz, B. Furmanek, M. Lipiński, D. Morozov, in:, 42nd International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
[Published Version]
View
| Files available
| DOI
| arXiv
J. Leśkiewicz, B. Furmanek, M. Lipiński, D. Morozov, in:, 42nd International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22003 |
Lower bounding the Gromov–Hausdorff distance in metric graphs
H. Adams, S. Majhi, F. Manin, Z. Virk, N. Zava, in:, 42nd International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
[Published Version]
View
| Files available
| DOI
| arXiv
H. Adams, S. Majhi, F. Manin, Z. Virk, N. Zava, in:, 42nd International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22004 |
Charting the diameter computation landscape of intersection graphs in 3D and above
T.M. Chan, H.C. Chang, J. Gao, S. Kisfaludi-Bak, H. Le, D.W. Zheng, in:, 42nd International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
[Published Version]
View
| Files available
| DOI
| arXiv
T.M. Chan, H.C. Chang, J. Gao, S. Kisfaludi-Bak, H. Le, D.W. Zheng, in:, 42nd International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22006 |
Quantitative monitoring of Signal First-Order logic
M. Chalupa, T.A. Henzinger, N.E. Sarac, E. Yu, in:, 27th International Symposium on Formal Methods, Springer Nature, 2026, pp. 214–233.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Chalupa, T.A. Henzinger, N.E. Sarac, E. Yu, in:, 27th International Symposium on Formal Methods, Springer Nature, 2026, pp. 214–233.
2026 |
Published |
Journal Article |
IST-REx-ID: 22100 |
|
|
Tunable field-linked s-wave interactions in dipolar fermi mixtures
J. Li, G. Koutentakis, M. Hrast, M. Lemeshko, A. Schindewolf, R. Al Hyder, Communications Physics 9 (2026).
[Published Version]
View
| Files available
| DOI
| arXiv
J. Li, G. Koutentakis, M. Hrast, M. Lemeshko, A. Schindewolf, R. Al Hyder, Communications Physics 9 (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 22102 |
|
|
SuperDP: Differential privacy refutation via supermartingales
K. Chatterjee, E. Goharshady, D. Zikelic, Proceedings of the ACM on Programming Languages 10 (2026).
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, E. Goharshady, D. Zikelic, Proceedings of the ACM on Programming Languages 10 (2026).
2026 |
Research Data Reference |
IST-REx-ID: 22134 |
SuperDP: Differential Privacy Refutation via Supermartingales
K. Chatterjee, E. Goharshady, D. Zikelic, (2026).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
K. Chatterjee, E. Goharshady, D. Zikelic, (2026).
2026 |
Research Data |
IST-REx-ID: 20833 |
Research Data for 'Causes and consequences of sex-chromosome turnovers in Diptera'
L.A. Layana Franco, M.A. Toups, B. Vicoso, (2026).
[Published Version]
View
| Files available
| DOI
L.A. Layana Franco, M.A. Toups, B. Vicoso, (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 20840 |
|
|
One-milligram torsional pendulum toward experiments at the quantum-gravity interface
S. Agafonova, P. Rosello, M. Mekonnen, O. Hosten, Communications Physics 9 (2026).
[Published Version]
View
| Files available
| DOI
| arXiv
S. Agafonova, P. Rosello, M. Mekonnen, O. Hosten, Communications Physics 9 (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 20865 |
|
|
Variational structures for the Fokker-Planck equation with general Dirichlet boundary conditions
F. Quattrocchi, Calculus of Variations and Partial Differential Equations 65 (2026).
[Published Version]
View
| Files available
| DOI
| arXiv
F. Quattrocchi, Calculus of Variations and Partial Differential Equations 65 (2026).