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 | OA
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
 
2026 | Published | Conference Paper | IST-REx-ID: 22003 | OA
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
 
2026 | Published | Conference Paper | IST-REx-ID: 22004 | OA
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
 
2026 | Published | Conference Paper | IST-REx-ID: 22006 | OA
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
 
2026 | Published | Journal Article | IST-REx-ID: 22100 | OA | PlanS
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
 
2026 | Published | Journal Article | IST-REx-ID: 22102 | OA | PlanS
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
 
2026 | Research Data Reference | IST-REx-ID: 22134 | OA
SuperDP: Differential Privacy Refutation via Supermartingales
K. Chatterjee, E. Goharshady, D. Zikelic, (2026).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2026 | Research Data | IST-REx-ID: 20833 | OA [Published Version] View | Files available | DOI
 
2026 | Published | Journal Article | IST-REx-ID: 20840 | OA | PlanS
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
 
2026 | Published | Journal Article | IST-REx-ID: 20865 | OA | PlanS
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
 

Search

Filter Publications

Display / Sort

Export / Embed