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.
10932 Publications
2023 | Published | Journal Article | IST-REx-ID: 13092 | 
B. Nan et al., “Bottom-up synthesis of SnTe-based thermoelectric composites,” ACS Applied Materials and Interfaces, vol. 15, no. 19. American Chemical Society, pp. 23380–23389, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13135 |
A. Agresti and M. Veraar, “Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity,” Journal of Differential Equations, vol. 368, no. 9. Elsevier, pp. 247–300, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13043 |
S. Hensel and T. Laux, “Weak-strong uniqueness for the mean curvature flow of double bubbles,” Interfaces and Free Boundaries, vol. 25, no. 1. EMS Press, pp. 37–107, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14453 |
S. Abramian, C. J. Muller, and C. Risi, “Extreme precipitation in tropical squall lines,” Journal of Advances in Modeling Earth Systems, vol. 15, no. 10. Wiley, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 13228 |
T. A. Henzinger, M. Karimi, K. Kueffner, and K. Mallik, “Runtime monitoring of dynamic fairness properties,” in FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Chicago, IL, United States, 2023, pp. 604–614.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14454 |
T. A. Henzinger, K. Kueffner, and K. Mallik, “Monitoring algorithmic fairness under partial observations,” in 23rd International Conference on Runtime Verification, Thessaloniki, Greece, 2023, vol. 14245, pp. 291–311.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14920 |
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, and S. Soudjani, “Fast symbolic algorithms for mega-regular games under strong transition fairness,” TheoretiCS, vol. 2. EPI Sciences, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14076 |
M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers,” in 23nd International Conference on Runtime Verification, Thessaloniki, Greek, 2023, vol. 14245, pp. 168–190.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 15035 |
M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 12704 |
M. Lechner, A. Amini, D. Rus, and T. A. Henzinger, “Revisiting the adversarial robustness-accuracy tradeoff in robot learning,” IEEE Robotics and Automation Letters, vol. 8, no. 3. Institute of Electrical and Electronics Engineers, pp. 1595–1602, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Book Chapter | IST-REx-ID: 13052
A. F. Leithner, J. Merrin, and M. K. Sixt, “En-Face Imaging of T Cell-Dendritic Cell Immunological Synapses,” in The Immune Synapse, vol. 2654, C. Baldari and M. Dustin, Eds. New York, NY: Springer Nature, 2023, pp. 137–147.
View
| DOI
| PubMed | Europe PMC
2023 | Published | Thesis | IST-REx-ID: 12716 |
L. Burnett, “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.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14240 |
S. Jeschke and C. Wojtan, “Generalizing shallow water simulations with dispersive surface waves,” ACM Transactions on Graphics, vol. 42, no. 4. Association for Computing Machinery, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Poster | IST-REx-ID: 15292 |
Y.-L. Chen, M. Ly, and C. Wojtan, Unified treatment of contact, friction and shock-propagation in rigid body animation. ACM, 2023.
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13145 |
L. Dello Schiavo and E. Lytvynov, “A Mecke-type characterization of the Dirichlet–Ferguson measure,” Electronic Communications in Probability, vol. 28. Institute of Mathematical Statistics, pp. 1–12, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Abstract | IST-REx-ID: 14748
Y.-L. Chen, M. Ly, and C. Wojtan, “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, 2023.
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14361 |
M. Riedl, I. D. Mayer, J. Merrin, M. K. Sixt, and B. Hof, “Synchronization in collectively moving inanimate and living active matter,” Nature Communications, vol. 14. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14426 |
I. A. Unterweger, J. Klepstad, E. B. Hannezo, P. R. Lundegaard, A. Trusina, and E. A. Ober, “Lineage tracing identifies heterogeneous hepatoblast contribution to cell lineages and postembryonic organ growth dynamics,” PLoS Biology, vol. 21, no. 10. Public Library of Science, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14277 |
D. R. Boocock, T. Hirashima, and E. B. Hannezo, “Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers,” PRX Life, vol. 1, no. 1. American Physical Society, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12162 |
B. Corominas-Murtra and E. B. Hannezo, “Modelling the dynamics of mammalian gut homeostasis,” Seminars in Cell & Developmental Biology, vol. 150–151. Elsevier, pp. 58–65, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC