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.
11107 Publications
2025 | Published | Conference Paper | IST-REx-ID: 20253 | 
Henzinger, Thomas A., et al. “Quantitative Language Automata.” 36th International Conference on Concurrency Theory, vol. 348, 21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi:10.4230/LIPIcs.CONCUR.2025.21.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20225 |
Henzinger, Thomas A., et al. “Supermartingale Certificates for Quantitative Omega-Regular Verification and Control.” 37th International Conference on Computer Aided Verification, vol. 15932, Springer Nature, 2025, pp. 29–55, doi:10.1007/978-3-031-98679-6_2.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20189 |
Froleyks, Nils, et al. “Introducing Certificates to the Hardware Model Checking Competition.” 37th International Conference on Computer Aided Verification, vol. 15931, Springer Nature, 2025, pp. 281–95, doi:10.1007/978-3-031-98668-0_14.
[Published Version]
View
| Files available
| DOI
| WoS
2025 | Published | Conference Paper | IST-REx-ID: 20224 |
Martynov, Pavel, et al. “In the Search of Optimal Tree Networks: Hardness and Heuristics.” Proceedings of the 2025 Genetic and Evolutionary Computation Conference, Association for Computing Machinery, 2025, pp. 249–57, doi:10.1145/3712256.3726425.
[Published Version]
View
| Files available
| DOI
| WoS
2025 | Published | Journal Article | IST-REx-ID: 20402 |
| 
|
Vasudevan, Mukund, et al. “Aging and Memory of Transitional Turbulence.” Nature Communications, vol. 16, 8447, Springer Nature, 2025, doi:10.1038/s41467-025-63044-7.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20453 |
|
|
Farooq, Hamza, and Muhammad Nauman. “Non-Linear Magnetotropic Susceptibility in FePS3.” Journal of Physics Condensed Matter, vol. 37, no. 40, 405801, IOP Publishing, 2025, doi:10.1088/1361-648X/ae0913.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20425 |
|
|
Eilers, Anna Christina, et al. “The Light Echo of a High-Redshift Quasar Mapped with Lyα Tomography.” Astrophysical Journal Letters, vol. 991, no. 2, L40, IOP Publishing, 2025, doi:10.3847/2041-8213/ae057a.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20454 |
|
|
Barrault, Lucas, et al. “Exploring the Probing Power of γ Dor’s Inertial Dip for Core Magnetism: The Case of a Toroidal Field.” Astronomy and Astrophysics, vol. 701, A253, EDP Sciences, 2025, doi:10.1051/0004-6361/202555213.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20452 |
|
|
King, Daniel S., et al. “Machine Learning of Charges and Long-Range Interactions from Energies and Forces.” Nature Communications, vol. 16, 8763, 2025, doi:10.1038/s41467-025-63852-x.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20494 |
|
|
Marshall MA, Yue M, Eilers AC, Scholtz J, Perna M, Willott CJ, Maiolino R, Übler H, Arribas S, Bunker AJ, Charlot S, Rodríguez Del Pino B, Böker T, Carniani S, Circosta C, Cresci G, D’Eugenio F, Jones GC, Venturi G, Bordoloi R, Kashino D, Mackenzie R, Matthee JJ, Naidu R, Simcoe RA. 2025. GA-NIFS and EIGER: A merging quasar host at z = 7 with an overmassive black hole. Astronomy and Astrophysics. 702, A50.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20424 |
Sahu, Preeti, et al. “Mechanical Control of Cell Fate Decisions in the Skin Epidermis.” Nature Communications, vol. 16, 8440, Springer Nature, 2025, doi:10.1038/s41467-025-62882-9.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20491 |
|
|
Depope, Nika, et al. “Deep Eutectic Solvent as a Solution for Polyester/Cotton Textile Recycling.” Waste Management, vol. 208, 115177, Elsevier, 2025, doi:10.1016/j.wasman.2025.115177.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20496 |
|
|
Zeng, Guifang, et al. “Crystal Growth Engineering for Dendrite-Free Zinc Metal Plating.” Advanced Materials, e10906, Wiley, 2025, doi:10.1002/adma.202510906.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20426
Meng, Weite, et al. “Thiol-Amine Complexes for the Synthesis and Surface Engineering of SnTe Nanomaterials toward High Thermoelectric Performance.” ACS Nano, vol. 19, no. 38, American Chemical Society, 2025, pp. 34395–407, doi:10.1021/acsnano.5c12627.
View
| DOI
| WoS
| PubMed | Europe PMC
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20490 |
Edelsbrunner, Herbert, et al. “Flips in Two-Dimensional Hypertriangulations.” European Journal of Combinatorics, vol. 132, 104248, Elsevier, 2025, doi:10.1016/j.ejc.2025.104248.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20495 |
Cárdenas, Esteban, and David Johannes Mitrouskas. “Radiative Corrections to the Dynamics of a Tracer Particle Coupled to a Bose Ccalar Field.” Annales Henri Poincare, Springer Nature, 2025, doi:10.1007/s00023-025-01626-3.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20427
LI, ZIQIANG, and Michael K. Sixt. “Cell Migration: How Animal Cells Run and Tumble.” Current Biology, vol. 35, no. 18, Elsevier, 2025, pp. R890–92, doi:10.1016/j.cub.2025.08.016.
View
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20483 |
|
|
Palaia, Ivan, et al. “Poisson-Nernst-Planck Charging Dynamics of an Electric Double-Layer Capacitor: Symmetric and Asymmetric Binary Electrolytes.” Physical Review E, vol. 112, no. 3, 035417, American Physical Society, 2025, doi:10.1103/p4dg-snqf.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20405 |
|
|
Lorenc, Dusan, et al. “Observation of Analogue Dynamic Schwinger Effect and Non-Perturbative Light Sensing in Lead Halide Perovskites.” ACS Photonics, vol. 12, no. 9, American Chemical Society, 2025, pp. 5220–30, doi:10.1021/acsphotonics.5c01360.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20492 |
|
|
Zeng, Zezhu, et al. “Lattice Distortion Leads to Glassy Thermal Transport in Crystalline Cs3Bi2I6Cl3.” Proceedings of the National Academy of Sciences of the United States of America, vol. 122, no. 41, National Academy of Sciences, 2025, p. e2415664122, doi:10.1073/pnas.2415664122.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC