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.
10572 Publications
2023 | Published | Conference Paper | IST-REx-ID: 12854 | 
Chalupa, Marek, and Thomas A Henzinger. “Bubaak: Runtime Monitoring of Program Verifiers.” In Tools and Algorithms for the Construction and Analysis of Systems, 13994:535–40. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30820-8_32.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14758 |
Majumdar, Rupak, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” In 35th International Conference on Computer Aided Verification, 13966:3–15. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37709-9_1.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14920 |
Banerjee, Tamajit, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, and Sadegh Soudjani. “Fast Symbolic Algorithms for Mega-Regular Games under Strong Transition Fairness.” TheoretiCS. EPI Sciences, 2023. https://doi.org/10.46298/theoretics.23.4.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Research Data Reference | IST-REx-ID: 14994 |
Majumdar, Rupak, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7877790.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Conference Paper | IST-REx-ID: 13292 |
Henzinger, Thomas A, Regular methods for operator precedence languages. 50th International Colloquium on Automata, Languages, and Programming 261. 2023
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14405 |
Bartocci, Ezio, Hypernode automata. 34th International Conference on Concurrency Theory 279. 2023
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14076 |
Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” In 23nd International Conference on Runtime Verification, 14245:168–90. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-44267-4_9.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 15035 |
Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.8191723.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Conference Paper | IST-REx-ID: 12856 |
Chalupa, Marek, Fabian Mühlböck, Stefanie Muroya Lei, and Thomas A Henzinger. “Vamos: Middleware for Best-Effort Third-Party Monitoring.” In Fundamental Approaches to Software Engineering, 13991:260–81. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30826-0_15.
[Published Version]
View
| Files available
| DOI
2023 | Published | Technical Report | IST-REx-ID: 12407 |
Chalupa, Marek, Fabian Mühlböck, Stefanie Muroya Lei, and Thomas A Henzinger. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:12407.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12704 |
Lechner, Mathias, Alexander Amini, Daniela Rus, and Thomas A Henzinger. “Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning.” IEEE Robotics and Automation Letters. Institute of Electrical and Electronics Engineers, 2023. https://doi.org/10.1109/LRA.2023.3240930.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14666 |
Chintaluri, Chaitanya, Metabolically regulated spiking could serve neuronal energy homeostasis and protect from reactive oxygen species. Proceedings of the National Academy of Sciences of the United States of America 120 (48). 2023
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Book Chapter | IST-REx-ID: 13052
Leithner, Alexander F, Jack Merrin, and Michael K Sixt. “En-Face Imaging of T Cell-Dendritic Cell Immunological Synapses.” In The Immune Synapse, edited by Cosima Baldari and Michael Dustin, 2654:137–47. MIMB. New York, NY: Springer Nature, 2023. https://doi.org/10.1007/978-1-0716-3135-5_9.
View
| DOI
| PubMed | Europe PMC
2023 | Published | Thesis | IST-REx-ID: 12716 |
Burnett, Laura. “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. https://doi.org/10.15479/at:ista:12716.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14628 |
Makatura, Liane, Bohan Wang, Yi-Lu Chen, Bolei Deng, Chris Wojtan, Bernd Bickel, and Wojciech Matusik. “Procedural Metamaterials: A Unified Procedural Graph for Metamaterial Design.” ACM Transactions on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3605389.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14240 |
Jeschke, Stefan, and Chris Wojtan. “Generalizing Shallow Water Simulations with Dispersive Surface Waves.” ACM Transactions on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3592098.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Poster | IST-REx-ID: 15292 |
Chen, Yi-Lu, Mickaël Ly, and Chris Wojtan. Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation. Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. ACM, 2023. https://doi.org/10.1145/3606037.3606836.
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13145 |
Dello Schiavo, Lorenzo, and Eugene Lytvynov. “A Mecke-Type Characterization of the Dirichlet–Ferguson Measure.” Electronic Communications in Probability. Institute of Mathematical Statistics, 2023. https://doi.org/10.1214/23-ECP528.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Abstract | IST-REx-ID: 14748
Chen, Yi-Lu, Mickaël Ly, and Chris Wojtan. “Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation.” In Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. Association for Computing Machinery, 2023. https://doi.org/10.1145/3606037.3606836.
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14361 |
Riedl, Michael, Isabelle D Mayer, Jack Merrin, Michael K Sixt, and Björn Hof. “Synchronization in Collectively Moving Inanimate and Living Active Matter.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-41432-1.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC