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.




6746 Publications

earlier version | 2026 | Draft | Preprint | IST-REx-ID: 21051 | OA
Chambers, Erin, et al. “Braiding Vineyards.” ArXiv, doi:10.48550/ARXIV.2504.11203.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2026 | Published | Book Chapter | IST-REx-ID: 21056 | OA
Chambers, Erin W., et al. “Braiding Vineyards.” Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, edited by Kasper Green Larsen and Barna Saha, Society for Industrial and Applied Mathematics, 2026, pp. 6240–63, doi:10.1137/1.9781611978971.225.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2026 | Accepted | Conference Paper | IST-REx-ID: 21113 | OA
Montagna, Francesco. “On the Identifiability of Causal Graphs with Multiple Environments.” The 14th International Conference on Learning Representations, OpenReview.
[Published Version] View | Download Published Version (ext.) | arXiv
 
2026 | Published | Journal Article | IST-REx-ID: 21115 | OA | PlanS
Bokor Bleile, Yossi, et al. “Persistence Diagrams as Morphological Signatures of Cells: A Method to Measure and Compare Cells within a Population.” PLoS Computational Biology, vol. 22, e1013890, Public Library of Science, 2026, doi:10.1371/journal.pcbi.1013890.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2026 | Research Data | IST-REx-ID: 21116 | OA
Layana Franco, Lorena Alexandra, et al. Research Data for “Causes and Consequences of Sex-Chromosome Turnovers in Diptera.” Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21116.
[Published Version] View | Files available | DOI
 
2026 | Published | Conference Paper | IST-REx-ID: 21133 | OA
Elbeheiry, Laila, et al. “A Recipe for Modular Verification of Generic Tree Traversals.” Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, Association for Computing Machinery, 2026, pp. 339–52, doi:10.1145/3779031.3779110.
[Published Version] View | Files available | DOI
 
2026 | Published | Conference Paper | IST-REx-ID: 21134 | OA
Baig, Mirza Ahad, and Krzysztof Z. Pietrzak. “On the (in)Security of Proofs-of-Space Based Longest-Chain Blockchains.” 29th International Conference on Financial Cryptography and Data Security, vol. 15752, Springer Nature, 2026, pp. 127–42, doi:10.1007/978-3-032-07035-7_8.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2026 | Published | Conference Paper | IST-REx-ID: 21135 | OA
Troidl, Jakob, et al. “Niiv: Interactive Self-Supervised Neural Implicit Isotropic Volume Reconstruction.” 1st International Workshop on Efficient Medical Artificial Intelligence, vol. 16318, Springer Nature, 2026, pp. 257–67, doi:10.1007/978-3-032-13961-0_26.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2026 | Research Data | IST-REx-ID: 21137 | OA
Naik, Suyash. Data Associated with Keratins Coordinate Tissue Spreading . Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21137.
[Published Version] View | Files available | DOI
 
2026 | Published | Conference Paper | IST-REx-ID: 21140 | OA
Arkhipov, Pavel, and Vladimir Kolmogorov. “Faster Algorithms for Packing Forests in Graphs and Related Problems.” Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2026, pp. 4023–42, doi:10.1137/1.9781611978971.148.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed