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.
10763 Publications
2023 | Published | Conference Paper | IST-REx-ID: 14758 | 
Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In: 35th International Conference on Computer Aided Verification. Vol 13966. Springer Nature; 2023:3-15. doi:10.1007/978-3-031-37709-9_1
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14920 |
Banerjee T, Majumdar R, Mallik K, Schmuck A-K, Soudjani S. Fast symbolic algorithms for mega-regular games under strong transition fairness. TheoretiCS. 2023;2. doi:10.46298/theoretics.23.4
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Research Data Reference | IST-REx-ID: 14994 |
Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. 2023. doi:10.5281/ZENODO.7877790
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Conference Paper | IST-REx-ID: 14076 |
Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. In: 23nd International Conference on Runtime Verification. Vol 14245. Springer Nature; 2023:168-190. doi: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 TA. Monitoring hyperproperties with prefix transducers. 2023. doi: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 TA. Vamos: Middleware for best-effort third-party monitoring. In: Fundamental Approaches to Software Engineering. Vol 13991. Springer Nature; 2023:260-281. doi: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 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 | Journal Article | IST-REx-ID: 12704 |
Lechner M, Amini A, Rus D, Henzinger TA. Revisiting the adversarial robustness-accuracy tradeoff in robot learning. IEEE Robotics and Automation Letters. 2023;8(3):1595-1602. doi:10.1109/LRA.2023.3240930
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Book Chapter | IST-REx-ID: 13052
Leithner AF, Merrin J, Sixt MK. En-Face Imaging of T Cell-Dendritic Cell Immunological Synapses. In: Baldari C, Dustin M, eds. The Immune Synapse. Vol 2654. MIMB. New York, NY: Springer Nature; 2023:137-147. doi:10.1007/978-1-0716-3135-5_9
View
| DOI
| PubMed | Europe PMC
2023 | Published | Thesis | IST-REx-ID: 12716 |
Burnett L. To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. 2023. doi:10.15479/at:ista:12716
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14240 |
Jeschke S, Wojtan C. Generalizing shallow water simulations with dispersive surface waves. ACM Transactions on Graphics. 2023;42(4). doi: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. Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation. ACM; 2023. doi:10.1145/3606037.3606836
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13145 |
Dello Schiavo L, Lytvynov E. A Mecke-type characterization of the Dirichlet–Ferguson measure. Electronic Communications in Probability. 2023;28:1-12. doi: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. 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. doi:10.1145/3606037.3606836
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14361 |
Riedl M, Mayer ID, Merrin J, Sixt MK, Hof B. Synchronization in collectively moving inanimate and living active matter. Nature Communications. 2023;14. doi: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 IA, Klepstad J, Hannezo EB, Lundegaard PR, Trusina A, Ober EA. Lineage tracing identifies heterogeneous hepatoblast contribution to cell lineages and postembryonic organ growth dynamics. PLoS Biology. 2023;21(10). doi:10.1371/journal.pbio.3002315
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14277 |
Boocock DR, Hirashima T, Hannezo EB. Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers. PRX Life. 2023;1(1). doi:10.1103/prxlife.1.013001
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12162 |
Corominas-Murtra B, Hannezo EB. Modelling the dynamics of mammalian gut homeostasis. Seminars in Cell & Developmental Biology. 2023;150-151:58-65. doi: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 AC, Sweeney LB. Spinal cords: Symphonies of interneurons across species. Frontiers in Neural Circuits. 2023;17. doi:10.3389/fncir.2023.1146449
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 14460 |
Nikdan M, Pegolotti T, Iofinova EB, Kurtic E, Alistarh D-A. SparseProp: Efficient sparse backpropagation for faster training of neural networks at the edge. In: Proceedings of the 40th International Conference on Machine Learning. Vol 202. ML Research Press; 2023:26215-26227.
[Preprint]
View
| Download Preprint (ext.)
| arXiv