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.

10779 Publications


2023 | Published | Conference Paper | IST-REx-ID: 12854 | OA
Chalupa, M., & Henzinger, T. A. (2023). Bubaak: Runtime monitoring of program verifiers. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 535–540). Paris, France: Springer Nature. 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 | OA
Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., & Soudjani, S. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In 35th International Conference on Computer Aided Verification (Vol. 13966, pp. 3–15). Paris, France: Springer Nature. 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 | OA
Banerjee, T., Majumdar, R., Mallik, K., Schmuck, A.-K., & Soudjani, S. (2023). Fast symbolic algorithms for mega-regular games under strong transition fairness. TheoretiCS. EPI Sciences. https://doi.org/10.46298/theoretics.23.4
[Published Version] View | Files available | DOI | arXiv
 

2023 | Research Data Reference | IST-REx-ID: 14994 | OA
Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., & Soudjani, S. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. Zenodo. https://doi.org/10.5281/ZENODO.7877790
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Published | Conference Paper | IST-REx-ID: 14076 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | 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 | OA
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: 14240 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed