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 | 
Bottom-up synthesis of SnTe-based thermoelectric composites
B. Nan, X. Song, C. Chang, K. Xiao, Y. Zhang, L. Yang, S. Horta, J. Li, K.H. Lim, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 23380–23389.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B. Nan, X. Song, C. Chang, K. Xiao, Y. Zhang, L. Yang, S. Horta, J. Li, K.H. Lim, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 23380–23389.
2023 | Published | Journal Article | IST-REx-ID: 13135 |
Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity
A. Agresti, M. Veraar, Journal of Differential Equations 368 (2023) 247–300.
[Published Version]
View
| Files available
| DOI
| WoS
A. Agresti, M. Veraar, Journal of Differential Equations 368 (2023) 247–300.
2023 | Published | Journal Article | IST-REx-ID: 13043 |
Weak-strong uniqueness for the mean curvature flow of double bubbles
S. Hensel, T. Laux, Interfaces and Free Boundaries 25 (2023) 37–107.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Hensel, T. Laux, Interfaces and Free Boundaries 25 (2023) 37–107.
2023 | Published | Journal Article | IST-REx-ID: 14453 |
Extreme precipitation in tropical squall lines
S. Abramian, C.J. Muller, C. Risi, Journal of Advances in Modeling Earth Systems 15 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
S. Abramian, C.J. Muller, C. Risi, Journal of Advances in Modeling Earth Systems 15 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 13228 |
Runtime monitoring of dynamic fairness properties
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–614.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–614.
2023 | Published | Conference Paper | IST-REx-ID: 14454 |
Monitoring algorithmic fairness under partial observations
T.A. Henzinger, K. Kueffner, K. Mallik, in:, 23rd International Conference on Runtime Verification, Springer Nature, 2023, pp. 291–311.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.A. Henzinger, K. Kueffner, K. Mallik, in:, 23rd International Conference on Runtime Verification, Springer Nature, 2023, pp. 291–311.
2023 | Published | Journal Article | IST-REx-ID: 14920 |
Fast symbolic algorithms for mega-regular games under strong transition fairness
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, TheoretiCS 2 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, TheoretiCS 2 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14076 |
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, in:, 23nd International Conference on Runtime Verification, Springer Nature, 2023, pp. 168–190.
[Published Version]
View
| Files available
| DOI
M. Chalupa, T.A. Henzinger, in:, 23nd International Conference on Runtime Verification, Springer Nature, 2023, pp. 168–190.
2023 | Research Data Reference | IST-REx-ID: 15035 |
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Chalupa, T.A. Henzinger, (2023).
2023 | Published | Journal Article | IST-REx-ID: 12704 |
Revisiting the adversarial robustness-accuracy tradeoff in robot learning
M. Lechner, A. Amini, D. Rus, T.A. Henzinger, IEEE Robotics and Automation Letters 8 (2023) 1595–1602.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Lechner, A. Amini, D. Rus, T.A. Henzinger, IEEE Robotics and Automation Letters 8 (2023) 1595–1602.
2023 | Published | Book Chapter | IST-REx-ID: 13052
En-Face Imaging of T Cell-Dendritic Cell Immunological Synapses
A.F. Leithner, J. Merrin, M.K. Sixt, in:, C. Baldari, M. Dustin (Eds.), The Immune Synapse, Springer Nature, New York, NY, 2023, pp. 137–147.
View
| DOI
| PubMed | Europe PMC
A.F. Leithner, J. Merrin, M.K. Sixt, in:, C. Baldari, M. Dustin (Eds.), The Immune Synapse, Springer Nature, New York, NY, 2023, pp. 137–147.
2023 | Published | Thesis | IST-REx-ID: 12716 |
To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism
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
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.
2023 | Published | Journal Article | IST-REx-ID: 14240 |
Generalizing shallow water simulations with dispersive surface waves
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 42 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 42 (2023).
2023 | Published | Conference Poster | IST-REx-ID: 15292 |
Unified treatment of contact, friction and shock-propagation in rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation, ACM, 2023.
View
| Files available
| DOI
Y.-L. Chen, M. Ly, C. Wojtan, Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation, ACM, 2023.
2023 | Published | Journal Article | IST-REx-ID: 13145 |
A Mecke-type characterization of the Dirichlet–Ferguson measure
L. Dello Schiavo, E. Lytvynov, Electronic Communications in Probability 28 (2023) 1–12.
[Published Version]
View
| Files available
| DOI
| WoS
L. Dello Schiavo, E. Lytvynov, Electronic Communications in Probability 28 (2023) 1–12.
2023 | Published | Conference Abstract | IST-REx-ID: 14748
Unified treatment of contact, friction and shock-propagation in rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, in:, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, Association for Computing Machinery, 2023.
View
| Files available
| DOI
Y.-L. Chen, M. Ly, C. Wojtan, in:, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, Association for Computing Machinery, 2023.
2023 | Published | Journal Article | IST-REx-ID: 14361 |
Synchronization in collectively moving inanimate and living active matter
M. Riedl, I.D. Mayer, J. Merrin, M.K. Sixt, B. Hof, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Riedl, I.D. Mayer, J. Merrin, M.K. Sixt, B. Hof, Nature Communications 14 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14426 |
Lineage tracing identifies heterogeneous hepatoblast contribution to cell lineages and postembryonic organ growth dynamics
I.A. Unterweger, J. Klepstad, E.B. Hannezo, P.R. Lundegaard, A. Trusina, E.A. Ober, PLoS Biology 21 (2023).
[Published Version]
View
| Files available
| DOI
I.A. Unterweger, J. Klepstad, E.B. Hannezo, P.R. Lundegaard, A. Trusina, E.A. Ober, PLoS Biology 21 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14277 |
Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers
D.R. Boocock, T. Hirashima, E.B. Hannezo, PRX Life 1 (2023).
[Published Version]
View
| Files available
| DOI
D.R. Boocock, T. Hirashima, E.B. Hannezo, PRX Life 1 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12162 |
Modelling the dynamics of mammalian gut homeostasis
B. Corominas-Murtra, E.B. Hannezo, Seminars in Cell & Developmental Biology 150–151 (2023) 58–65.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B. Corominas-Murtra, E.B. Hannezo, Seminars in Cell & Developmental Biology 150–151 (2023) 58–65.