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.
5995 Publications
2023 | Published | Journal Article | IST-REx-ID: 12183 | 
Boccato C, Seiringer R. 2023. The Bose Gas in a box with Neumann boundary conditions. Annales Henri Poincare. 24, 1505–1560.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12534 |
Ghazaryan A, Cappellaro A, Lemeshko M, Volosniev A. 2023. Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. 5(1), 013029.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14238 |
Kranabetter L, Kristensen HH, Ghazaryan A, Schouder CA, Chatterley AS, Janssen P, Jensen F, Zillich RE, Lemeshko M, Stapelfeldt H. 2023. Nonadiabatic laser-induced alignment dynamics of molecules on a surface. Physical Review Letters. 131(5), 053201.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13233 |
Agafonova S, Lemeshko M, Volosniev A. 2023. Finite-range bias in fitting three-body loss to the zero-range model. Physical Review A. 107(6), L061304.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14244 |
Hausel T, Wong ML, Wyss D. 2023. Arithmetic and metric aspects of open de Rham spaces. Proceedings of the London Mathematical Society. 127(4), 958–1027.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 18179 |
Guilloux A, Horesh T. 2023. p-adic directions of primitive vectors. Publications mathématiques de Besançon - Algèbre et Théorie des nombres. 2023, 85–107.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13091 |
Browning TD, Sawin W. 2023. Free rational curves on low degree hypersurfaces and the circle method. Algebra and Number Theory. 17(3), 719–748.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13092 |
Nan B, Song X, Chang C, Xiao K, Zhang Y, Yang L, Horta S, Li J, Lim KH, Ibáñez M, Cabot A. 2023. Bottom-up synthesis of SnTe-based thermoelectric composites. ACS Applied Materials and Interfaces. 15(19), 23380–23389.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13135 |
Agresti A, Veraar M. 2023. Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity. Journal of Differential Equations. 368(9), 247–300.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13043 |
Hensel S, Laux T. 2023. Weak-strong uniqueness for the mean curvature flow of double bubbles. Interfaces and Free Boundaries. 25(1), 37–107.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14453 |
Abramian S, Muller CJ, Risi C. 2023. Extreme precipitation in tropical squall lines. Journal of Advances in Modeling Earth Systems. 15(10), e2022MS003477.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 13228 |
Henzinger TA, Karimi M, Kueffner K, Mallik K. 2023. Runtime monitoring of dynamic fairness properties. FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency. FAccT: Conference on Fairness, Accountability and Transparency, 604–614.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14454 |
Henzinger TA, Kueffner K, Mallik K. 2023. Monitoring algorithmic fairness under partial observations. 23rd International Conference on Runtime Verification. RV: Conference on Runtime Verification, LNCS, vol. 14245, 291–311.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14920 |
Banerjee T, Majumdar R, Mallik K, Schmuck A-K, Soudjani S. 2023. Fast symbolic algorithms for mega-regular games under strong transition fairness. TheoretiCS. 2, 4.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14076 |
Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers. 23nd International Conference on Runtime Verification. RV: Conference on Runtime Verification, LNCS, vol. 14245, 168–190.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 15035 |
Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers, Zenodo, 10.5281/ZENODO.8191723.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 12704 |
Lechner M, Amini A, Rus D, Henzinger TA. 2023. Revisiting the adversarial robustness-accuracy tradeoff in robot learning. IEEE Robotics and Automation Letters. 8(3), 1595–1602.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Book Chapter | IST-REx-ID: 13052
Leithner AF, Merrin J, Sixt MK. 2023.En-Face Imaging of T Cell-Dendritic Cell Immunological Synapses. In: The Immune Synapse. Methods in Molecular Biology, vol. 2654, 137–147.
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.
[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. 42(4), 83.
[Published Version]
View
| Files available
| DOI
| WoS