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: 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, M., & Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. In 23nd International Conference on Runtime Verification (Vol. 14245, pp. 168–190). Thessaloniki, Greek: Springer Nature. 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, M., & Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. Zenodo. 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, M., Mühlböck, F., Muroya Lei, S., & Henzinger, T. A. (2023). Vamos: Middleware for best-effort third-party monitoring. In Fundamental Approaches to Software Engineering (Vol. 13991, pp. 260–281). Paris, France: Springer Nature. 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, M., Mühlböck, F., Muroya Lei, S., & Henzinger, T. A. (2023). VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12407
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12704 |
Lechner, M., Amini, A., Rus, D., & Henzinger, T. A. (2023). Revisiting the adversarial robustness-accuracy tradeoff in robot learning. IEEE Robotics and Automation Letters. Institute of Electrical and Electronics Engineers. 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, A. F., Merrin, J., & Sixt, M. K. (2023). En-Face Imaging of T Cell-Dendritic Cell Immunological Synapses. In C. Baldari & M. Dustin (Eds.), The Immune Synapse (Vol. 2654, pp. 137–147). New York, NY: Springer Nature. https://doi.org/10.1007/978-1-0716-3135-5_9
View
| DOI
| PubMed | Europe PMC
2023 | Published | Thesis | IST-REx-ID: 12716 |
Burnett, L. (2023). 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. https://doi.org/10.15479/at:ista:12716
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14628 |
Makatura, L., Wang, B., Chen, Y.-L., Deng, B., Wojtan, C., Bickel, B., & Matusik, W. (2023). Procedural metamaterials: A unified procedural graph for metamaterial design. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3605389
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14240 |
Jeschke, S., & Wojtan, C. (2023). Generalizing shallow water simulations with dispersive surface waves. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3592098
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Poster | IST-REx-ID: 15292 |
Chen, Y.-L., Ly, M., & Wojtan, C. (2023). Unified treatment of contact, friction and shock-propagation in rigid body animation. Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. Los Angeles, CA, United States: ACM. https://doi.org/10.1145/3606037.3606836
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13145 |
Dello Schiavo, L., & Lytvynov, E. (2023). A Mecke-type characterization of the Dirichlet–Ferguson measure. Electronic Communications in Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/23-ECP528
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Abstract | IST-REx-ID: 14748
Chen, Y.-L., Ly, M., & Wojtan, C. (2023). Unified treatment of contact, friction and shock-propagation in rigid body animation. In Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3606037.3606836
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14361 |
Riedl, M., Mayer, I. D., Merrin, J., Sixt, M. K., & Hof, B. (2023). Synchronization in collectively moving inanimate and living active matter. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-41432-1
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14426 |
Unterweger, I. A., Klepstad, J., Hannezo, E. B., Lundegaard, P. R., Trusina, A., & Ober, E. A. (2023). Lineage tracing identifies heterogeneous hepatoblast contribution to cell lineages and postembryonic organ growth dynamics. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.3002315
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14277 |
Boocock, D. R., Hirashima, T., & Hannezo, E. B. (2023). Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers. PRX Life. American Physical Society. https://doi.org/10.1103/prxlife.1.013001
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12162 |
Corominas-Murtra, B., & Hannezo, E. B. (2023). Modelling the dynamics of mammalian gut homeostasis. Seminars in Cell & Developmental Biology. Elsevier. https://doi.org/10.1016/j.semcdb.2022.11.005
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13097 |
Wilson, A. C., & Sweeney, L. B. (2023). Spinal cords: Symphonies of interneurons across species. Frontiers in Neural Circuits. Frontiers. https://doi.org/10.3389/fncir.2023.1146449
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 14084 |
Harris, David G., Parameter estimation for Gibbs distributions. 50th International Colloquium on Automata, Languages, and Programming 261. 2023
[Published Version]
View
| Files available
| DOI
| arXiv