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.
5258 Publications
2023 | Published | Conference Paper | IST-REx-ID: 12854 | 
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 | Published | Technical Report | IST-REx-ID: 12407 |
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 | Conference Paper | IST-REx-ID: 13048 |
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 Poster | IST-REx-ID: 12736 |
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 | 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 | Conference Paper | IST-REx-ID: 13292 |
Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. Regular methods for operator precedence languages. In: 50th International Colloquium on Automata, Languages, and Programming. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023:129:1--129:20. doi:10.4230/LIPIcs.ICALP.2023.129
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12972 |
Liu Z, Piovarci M, Hafner C, Charrondiere R, Bickel B. Directionality-aware design of embroidery patterns. Computer Graphics Forum. 2023;42(2):397-409. doi:10.1111/cgf.14770
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13213 |
Chen C, Zhang Y, Cai J, et al. Multi-copper oxidases SKU5 and SKS1 coordinate cell wall formation using apoplastic redox-based reactions in roots. Plant Physiology. 2023;192(3):2243-2260. doi:10.1093/plphys/kiad207
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13197 |
Grosjean GM, Waitukaitis SR. Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts. Physical Review Materials. 2023;7(6). doi:10.1103/physrevmaterials.7.065601
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13277 |
Tucci G, De Nicola S, Wald S, Gambassi A. Stochastic representation of the quantum quartic oscillator. SciPost Physics Core. 2023;6(2). doi:10.21468/scipostphyscore.6.2.029
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13106 |
Sahu R, Qiu L, Hease WJ, et al. Entangling microwaves with light. Science. 2023;380(6646):718-721. doi:10.1126/science.adg3812
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 12548 |
Forghani M, Claramunt C, Karimipour F, Heiler G. Visual analytics of mobility network changes observed using mobile phone data during COVID-19 pandemic. In: 2022 IEEE International Conference on Data Mining Workshops. Institute of Electrical and Electronics Engineers; 2023. doi:10.1109/icdmw58026.2022.00093
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 9034 |
Wilsch FA. Integral points of bounded height on a log Fano threefold. International Mathematics Research Notices. 2023;2023(8):6780-6808. doi:10.1093/imrn/rnac048
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Research Data Reference | IST-REx-ID: 13122 |
Sahu R. Entangling microwaves with light. 2023. doi:10.5281/ZENODO.7789417
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Conference Paper | IST-REx-ID: 13310 |
Henzinger TA, Karimi M, Kueffner K, Mallik K. Monitoring algorithmic fairness. In: Computer Aided Verification. Vol 13965. Springer Nature; 2023:358–382. doi:10.1007/978-3-031-37703-7_17
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13221 |
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. Safety and liveness of quantitative automata. In: 34th International Conference on Concurrency Theory. Vol 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.CONCUR.2023.17
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12697 |
Grosjean GM, Waitukaitis SR. Single-collision statistics reveal a global mechanism driven by sample history for contact electrification in granular media. Physical Review Letters. 2023;130(9). doi:10.1103/physrevlett.130.098202
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13216 |
Bunting R, Wodaczek F, Torabi T, Cheng B. Reactivity of single-atom alloy nanoparticles: Modeling the dehydrogenation of propane. Journal of the American Chemical Society. 2023;145(27):14894-14902. doi:10.1021/jacs.3c04030
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14334 |
Brighi P, Ljubotina M, Serbyn M. Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models. SciPost Physics. 2023;15(3). doi:10.21468/scipostphys.15.3.093
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12562
Ladle DR, Hippenmeyer S. Loss of ETV1/ER81 in motor neurons leads to reduced monosynaptic inputs from proprioceptive sensory neurons. Journal of Neurophysiology. 2023;129(3):501-512. doi:10.1152/jn.00172.2022
View
| DOI
| WoS
| PubMed | Europe PMC