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.
4947 Publications
2023 | Conference Paper | IST-REx-ID: 14318 | 
Sun, Yican, et al. “Automated Tail Bound Analysis for Probabilistic Recurrence Relations.” Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 16–39, doi:10.1007/978-3-031-37709-9_2.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14317 |
Akshay, S., et al. “MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.” International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 86–112, doi:10.1007/978-3-031-37709-9_5.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14316 |
Nagano, Makoto, et al. “Distinct Role of TGN-Resident Clathrin Adaptors for Vps21p Activation in the TGN-Endosome Trafficking Pathway.” Journal of Cell Science, vol. 136, no. 17, jcs261448, The Company of Biologists, 2023, doi:10.1242/jcs.261448.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14320 |
Henderson, Paul M., et al. “Deep Learning Extraction of Band Structure Parameters from Density of States: A Case Study on Trilayer Graphene.” Physical Review B, vol. 108, no. 12, 125411, American Physical Society, 2023, doi:10.1103/physrevb.108.125411.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Thesis | IST-REx-ID: 12732 |
Brighi, Pietro. Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12732.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14334 |
Brighi, Pietro, et al. “Hilbert Space Fragmentation and Slow Dynamics in Particle-Conserving Quantum East Models.” SciPost Physics, vol. 15, no. 3, 093, SciPost Foundation, 2023, doi:10.21468/scipostphys.15.3.093.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14321 |
Al Hyder, Ragheed, et al. “Achiral Dipoles on a Ferromagnet Can Affect Its Magnetization Direction.” The Journal of Chemical Physics, vol. 159, no. 10, 104103, AIP Publishing, 2023, doi:10.1063/5.0165806.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
2023 | Journal Article | IST-REx-ID: 14342 |
Lorenc, Dusan, and Zhanybek Alpichshev. “Mid-Infrared Kerr Index Evaluation via Cross-Phase Modulation with a near-Infrared Probe Beam.” Applied Physics Letters, vol. 123, no. 9, 091104, AIP Publishing, 2023, doi:10.1063/5.0161713.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14341
Scarselli, Davide, et al. “Turbulence Suppression by Cardiac-Cycle-Inspired Driving of Pipe Flow.” Nature, vol. 621, no. 7977, Springer Nature, 2023, pp. 71–74, doi:10.1038/s41586-023-06399-5.
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 13120 |
Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.” 14th International Conference on Interactive Theorem Proving, vol. 268, 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.ITP.2023.15.
[Published Version]
View
| Files available
| DOI
| arXiv