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.
5148 Publications
2023 |Published| Conference Paper | IST-REx-ID: 12676 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. Faster algorithm for turn-based stochastic games with bounded treewidth. In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2023:4590-4605. doi:10.1137/1.9781611977554.ch173
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Book Chapter | IST-REx-ID: 12720
Arroyo-Urea S, Watson J, García-Nafría J. Molecular Cloning Using In Vivo DNA Assembly. In: Scarlett G, ed. DNA Manipulation and Analysis. Vol 2633. MIMB. New York, NY, United States: Springer Nature; 2023:33-44. doi:10.1007/978-1-0716-3004-4_3
View
| DOI
| PubMed | Europe PMC
2023 |Published| Conference Paper | IST-REx-ID: 12735 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Koval N, Alistarh D-A, Elizarov R. Fast and scalable channels in Kotlin Coroutines. In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery; 2023:107-118. doi:10.1145/3572848.3577481
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Poster | IST-REx-ID: 12736 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Aksenov V, Brown TA, Fedorov A, Kokorin I. Unexpected Scaling in Path Copying Trees. Association for Computing Machinery; 2023:438-440. doi:10.1145/3572848.3577512
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 12760 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger MH, Neumann S, Räcke H, Schmid S. Dynamic maintenance of monotone dynamic programs and applications. In: 40th International Symposium on Theoretical Aspects of Computer Science. Vol 254. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.STACS.2023.36
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Thesis | IST-REx-ID: 12716 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Burnett L. To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. 2023. doi:10.15479/at:ista:12716
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 12854 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chalupa M, Henzinger TA. Bubaak: Runtime monitoring of program verifiers. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:535-540. doi:10.1007/978-3-031-30820-8_32
[Published Version]
View
| Files available
| DOI
2023 |Submitted| Preprint | IST-REx-ID: 12846 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chern A, Ishida S. Area formula for spherical polygons via prequantization. arXiv. doi:10.48550/arXiv.2303.14555
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 12856 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. Vamos: Middleware for best-effort third-party monitoring. In: Fundamental Approaches to Software Engineering. Vol 13991. Springer Nature; 2023:260-281. doi:10.1007/978-3-031-30826-0_15
[Published Version]
View
| Files available
| DOI
2023 |Published| Technical Report | IST-REx-ID: 12407 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria; 2023. doi:10.15479/AT:ISTA:12407
[Published Version]
View
| Files available
| DOI
2023 |Published| Book Chapter | IST-REx-ID: 12866
Currin C, Beyer C. Altered childhood brain development in autism and epilepsy. In: Halpern-Felsher B, ed. Encyclopedia of Child and Adolescent Health. 1st ed. Elsevier; 2023:86-98. doi:10.1016/b978-0-12-818872-9.00129-1
View
| DOI
2023 |Published| Journal Article | IST-REx-ID: 12668 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zhao L, Yang Y, Chen J, et al. Dynamic chromatin regulatory programs during embryogenesis of hexaploid wheat. Genome Biology. 2023;24. doi:10.1186/s13059-022-02844-2
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 |Published| Conference Paper | IST-REx-ID: 13048 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lieutier A, Wintraecken M. Hausdorff and Gromov-Hausdorff stable subsets of the medial axis. In: Proceedings of the 55th Annual ACM Symposium on Theory of Computing. Association for Computing Machinery; 2023:1768-1776. doi:10.1145/3564246.3585113
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 13143 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. Certifying giant nonprimes. In: Public-Key Cryptography - PKC 2023. Vol 13940. Springer Nature; 2023:530-553. doi:10.1007/978-3-031-31368-4_19
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 13142 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Henzinger TA, Lechner M, Zikelic D. A learner-verifier framework for neural network controllers and certificates of stochastic systems. In: Tools and Algorithms for the Construction and Analysis of Systems . Vol 13993. Springer Nature; 2023:3-25. doi:10.1007/978-3-031-30823-9_1
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 13141 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Anand A, Mallik K, Nayak SP, Schmuck AK. Computing adequately permissive assumptions for synthesis. In: TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:211-228. doi:10.1007/978-3-031-30820-8_15
[Published Version]
View
| Files available
| DOI
2023 |Published| Thesis | IST-REx-ID: 12826 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pokusaeva V. Neural control of optic flow-based navigation in Drosophila melanogaster. 2023. doi:10.15479/at:ista:12826
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 12086 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Edelsbrunner H, Osang GF. A simple algorithm for higher-order Delaunay mosaics and alpha shapes. Algorithmica. 2023;85:277-295. doi:10.1007/s00453-022-01027-6
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 12104 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dello Schiavo L, Wirth M. Ergodic decompositions of Dirichlet forms under order isomorphisms. Journal of Evolution Equations. 2023;23(1). doi:10.1007/s00028-022-00859-7
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 11434
GOSWAMI BB. Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend. Climate Dynamics. 2023;60:427-442. doi:10.1007/s00382-022-06337-7
View
| Files available
| DOI
| WoS