Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

5660 Publications


2023 | Conference Paper | IST-REx-ID: 12735 | OA
N. Koval, D.-A. Alistarh, and R. Elizarov, “Fast and scalable channels in Kotlin Coroutines,” in Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Montreal, QC, Canada, 2023, pp. 107–118.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Poster | IST-REx-ID: 12736 | OA
V. Aksenov, T. A. Brown, A. Fedorov, and I. Kokorin, Unexpected scaling in path copying trees. Association for Computing Machinery, 2023, pp. 438–440.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 12760 | OA
M. H. Henzinger, S. Neumann, H. Räcke, and S. Schmid, “Dynamic maintenance of monotone dynamic programs and applications,” in 40th International Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, 2023, vol. 254.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Thesis | IST-REx-ID: 12716 | OA
L. Burnett, “To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism,” Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 12854 | OA
M. Chalupa and T. A. Henzinger, “Bubaak: Runtime monitoring of program verifiers,” in Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13994, pp. 535–540.
[Published Version] View | Files available | DOI
 

2023 | Preprint | IST-REx-ID: 12846 | OA
A. Chern and S. Ishida, “Area formula for spherical polygons via prequantization,” arXiv. .
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 12856 | OA
M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, “Vamos: Middleware for best-effort third-party monitoring,” in Fundamental Approaches to Software Engineering, Paris, France, 2023, vol. 13991, pp. 260–281.
[Published Version] View | Files available | DOI
 

2023 | Technical Report | IST-REx-ID: 12407 | OA
M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 12668 | OA
L. Zhao et al., “Dynamic chromatin regulatory programs during embryogenesis of hexaploid wheat,” Genome Biology, vol. 24. Springer Nature, 2023.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 12920 | OA
M. Traxler et al., “Programmable photocatalytic activity of multicomponent covalent organic frameworks used as metallaphotocatalysts,” Chemistry – A European Journal, vol. 29, no. 4. Wiley, 2023.
[Published Version] View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications