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.
10935 Publications
2023 | Published | Journal Article | IST-REx-ID: 17074 | 
Brooks M, Seiringer R. Validity of Bogoliubov’s approximation fortranslation-invariant Bose gases. Probability and Mathematical Physics. 2023;3(4):939-1000. doi:10.2140/pmp.2022.3.939
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12183 |
Boccato C, Seiringer R. The Bose Gas in a box with Neumann boundary conditions. Annales Henri Poincare. 2023;24:1505-1560. doi:10.1007/s00023-022-01252-3
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12534 |
Ghazaryan A, Cappellaro A, Lemeshko M, Volosniev A. Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. 2023;5(1). doi:10.1103/physrevresearch.5.013029
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14238 |
Kranabetter L, Kristensen HH, Ghazaryan A, et al. Nonadiabatic laser-induced alignment dynamics of molecules on a surface. Physical Review Letters. 2023;131(5). doi:10.1103/PhysRevLett.131.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. Finite-range bias in fitting three-body loss to the zero-range model. Physical Review A. 2023;107(6). doi:10.1103/PhysRevA.107.L061304
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14244 |
Hausel T, Wong ML, Wyss D. Arithmetic and metric aspects of open de Rham spaces. Proceedings of the London Mathematical Society. 2023;127(4):958-1027. doi:10.1112/plms.12555
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 18179 |
Guilloux A, Horesh T. p-adic directions of primitive vectors. Publications mathématiques de Besançon - Algèbre et Théorie des nombres. 2023;2023:85-107. doi:10.5802/pmb.50
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13091 |
Browning TD, Sawin W. Free rational curves on low degree hypersurfaces and the circle method. Algebra and Number Theory. 2023;17(3):719-748. doi:10.2140/ant.2023.17.719
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13092 |
Nan B, Song X, Chang C, et al. Bottom-up synthesis of SnTe-based thermoelectric composites. ACS Applied Materials and Interfaces. 2023;15(19):23380–23389. doi:10.1021/acsami.3c00625
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13135 |
Agresti A, Veraar M. Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity. Journal of Differential Equations. 2023;368(9):247-300. doi:10.1016/j.jde.2023.05.038
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13043 |
Hensel S, Laux T. Weak-strong uniqueness for the mean curvature flow of double bubbles. Interfaces and Free Boundaries. 2023;25(1):37-107. doi:10.4171/IFB/484
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14453 |
Abramian S, Muller CJ, Risi C. Extreme precipitation in tropical squall lines. Journal of Advances in Modeling Earth Systems. 2023;15(10). doi:10.1029/2022MS003477
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 13228 |
Henzinger TA, Karimi M, Kueffner K, Mallik K. Runtime monitoring of dynamic fairness properties. In: FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency. Association for Computing Machinery; 2023:604-614. doi:10.1145/3593013.3594028
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14454 |
Henzinger TA, Kueffner K, Mallik K. Monitoring algorithmic fairness under partial observations. In: 23rd International Conference on Runtime Verification. Vol 14245. Springer Nature; 2023:291-311. doi:10.1007/978-3-031-44267-4_15
[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. 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 | 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 | 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