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.
79 Publications
2023 | Technical Report | IST-REx-ID: 12407 | 
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 38p.
[Published Version]
View
| Files available
| DOI
2021 | Technical Report | IST-REx-ID: 6995 |
Samarasinghe RA, Miranda O, Buth JE, Mitchell S, Ferando I, Watanabe M, Kurdian A, Golshani P, Plath K, Lowry WE, Parent JM, Mody I, Novitch BG. 2021. Identification of neural oscillations and epileptiform changes in human brain organoids, Springer Nature, 32p.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Technical Report | IST-REx-ID: 9946 |
Mühlböck F, Henzinger TA. 2021. Differential monitoring, IST Austria, 17p.
[Published Version]
View
| Files available
| DOI
2020 | Technical Report | IST-REx-ID: 8067 |
Varzi A, Thanner K, Scipioni R, Di Lecce D, Hassoun J, Dörfler S, Altheus H, Kaskel S, Prehal C, Freunberger SA. Current status and future perspectives of Lithium metal batteries, IST Austria, 63p.
[Published Version]
View
| Files available
| DOI
2018 | Technical Report | IST-REx-ID: 5457 |
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4, Anonymous 5, Anonymous 6. 2018. Cost analysis of nondeterministic probabilistic programs, IST Austria, 27p.
[Published Version]
View
| Files available