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.
10934 Publications
2023 | Published | Journal Article | IST-REx-ID: 12183 | 
Boccato, Chiara, and Robert Seiringer. “The Bose Gas in a Box with Neumann Boundary Conditions.” Annales Henri Poincare, vol. 24, Springer Nature, 2023, pp. 1505–60, doi:10.1007/s00023-022-01252-3.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12534 |
Ghazaryan, Areg, et al. “Dissipative Dynamics of an Impurity with Spin-Orbit Coupling.” Physical Review Research, vol. 5, no. 1, 013029, American Physical Society, 2023, doi:10.1103/physrevresearch.5.013029.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14238 |
Kranabetter, Lorenz, et al. “Nonadiabatic Laser-Induced Alignment Dynamics of Molecules on a Surface.” Physical Review Letters, vol. 131, no. 5, 053201, American Physical Society, 2023, 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, Sofya, et al. “Finite-Range Bias in Fitting Three-Body Loss to the Zero-Range Model.” Physical Review A, vol. 107, no. 6, L061304, American Physical Society, 2023, doi:10.1103/PhysRevA.107.L061304.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14244 |
Hausel, Tamás, et al. “Arithmetic and Metric Aspects of Open de Rham Spaces.” Proceedings of the London Mathematical Society, vol. 127, no. 4, Wiley, 2023, pp. 958–1027, doi:10.1112/plms.12555.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 18179 |
Guilloux, Antonin, and Tal Horesh. “P-Adic Directions of Primitive Vectors.” Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres, vol. 2023, Presses Universitaires de Franche-Comté, 2023, pp. 85–107, doi:10.5802/pmb.50.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13091 |
Browning, Timothy D., and Will Sawin. “Free Rational Curves on Low Degree Hypersurfaces and the Circle Method.” Algebra and Number Theory, vol. 17, no. 3, Mathematical Sciences Publishers, 2023, pp. 719–48, doi:10.2140/ant.2023.17.719.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13092 |
Nan, Bingfei, et al. “Bottom-up Synthesis of SnTe-Based Thermoelectric Composites.” ACS Applied Materials and Interfaces, vol. 15, no. 19, American Chemical Society, 2023, pp. 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, Antonio, and Mark 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, 2023, pp. 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, Sebastian, and Tim Laux. “Weak-Strong Uniqueness for the Mean Curvature Flow of Double Bubbles.” Interfaces and Free Boundaries, vol. 25, no. 1, EMS Press, 2023, pp. 37–107, doi:10.4171/IFB/484.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14453 |
Abramian, Sophie, et al. “Extreme Precipitation in Tropical Squall Lines.” Journal of Advances in Modeling Earth Systems, vol. 15, no. 10, e2022MS003477, Wiley, 2023, doi:10.1029/2022MS003477.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 13228 |
Henzinger, Thomas A., et al. “Runtime Monitoring of Dynamic Fairness Properties.” FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–14, doi:10.1145/3593013.3594028.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14454 |
Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness under Partial Observations.” 23rd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 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, Tamajit, et al. “Fast Symbolic Algorithms for Mega-Regular Games under Strong Transition Fairness.” TheoretiCS, vol. 2, 4, EPI Sciences, 2023, doi:10.46298/theoretics.23.4.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14076 |
Chalupa, Marek, and Thomas A. Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” 23nd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 168–90, doi:10.1007/978-3-031-44267-4_9.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 15035 |
Chalupa, Marek, and Thomas A. Henzinger. Monitoring Hyperproperties with Prefix Transducers. Zenodo, 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, Mathias, et al. “Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning.” IEEE Robotics and Automation Letters, vol. 8, no. 3, Institute of Electrical and Electronics Engineers, 2023, pp. 1595–602, doi:10.1109/LRA.2023.3240930.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Book Chapter | IST-REx-ID: 13052
Leithner, Alexander F., et al. “En-Face Imaging of T Cell-Dendritic Cell Immunological Synapses.” The Immune Synapse, edited by Cosima Baldari and Michael Dustin, vol. 2654, Springer Nature, 2023, pp. 137–47, doi:10.1007/978-1-0716-3135-5_9.
View
| DOI
| PubMed | Europe PMC
2023 | Published | Thesis | IST-REx-ID: 12716 |
Burnett, Laura. 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, doi:10.15479/at:ista:12716.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14240 |
Jeschke, Stefan, and Chris Wojtan. “Generalizing Shallow Water Simulations with Dispersive Surface Waves.” ACM Transactions on Graphics, vol. 42, no. 4, 83, Association for Computing Machinery, 2023, doi:10.1145/3592098.
[Published Version]
View
| Files available
| DOI
| WoS