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.
4635 Publications
2023 | Conference Paper | IST-REx-ID: 12854 | 
Chalupa, Marek, and Thomas A. Henzinger. “Bubaak: Runtime Monitoring of Program Verifiers.” Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 535–40, doi:10.1007/978-3-031-30820-8_32.
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 12846 |
Chern, Albert, and Sadashige Ishida. “Area Formula for Spherical Polygons via Prequantization.” ArXiv, 2303.14555, doi:10.48550/arXiv.2303.14555.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 12856 |
Chalupa, Marek, et al. “Vamos: Middleware for Best-Effort Third-Party Monitoring.” Fundamental Approaches to Software Engineering, vol. 13991, Springer Nature, 2023, pp. 260–81, doi:10.1007/978-3-031-30826-0_15.
[Published Version]
View
| Files available
| DOI
2023 | Technical Report | IST-REx-ID: 12407 |
Chalupa, Marek, et al. 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 | Preprint | IST-REx-ID: 12859 |
Bombari, Simone, et al. “Beyond the Universal Law of Robustness: Sharper Laws for Random Features and Neural Tangent Kernels.” ArXiv, 2302.01629, doi:10.48550/arXiv.2302.01629.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Book Chapter | IST-REx-ID: 12866
Currin, Christopher, and Chad Beyer. “Altered Childhood Brain Development in Autism and Epilepsy.” Encyclopedia of Child and Adolescent Health, edited by Bonnie Halpern-Felsher, 1st ed., Elsevier, 2023, pp. 86–98, doi:10.1016/b978-0-12-818872-9.00129-1.
View
| DOI
2023 | Thesis | IST-REx-ID: 12809
Alcarva, Catarina. Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12809.
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 12875 |
Cheung, Giselle T., et al. “Multipotent Progenitors Instruct Ontogeny of the Superior Colliculus.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2023.04.16.537059.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13044 |
Mondal, Soumyadip, et al. “Singlet Oxygen in Non-Aqueous Oxygen Redox: Direct Spectroscopic Evidence for Formation Pathways and Reliability of Chemical Probes.” Faraday Discussions, Royal Society of Chemistry, 2023, doi:10.1039/d3fd00088e.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 12984 |
Piovarci, Michael, et al. “Skin-Screen: A Computational Fabrication Framework for Color Tattoos.” Transactions on Graphics, vol. 42, no. 4, Association for Computing Machinery, 2023, doi:10.1145/3592432.
[Submitted Version]
View
| Files available
| DOI