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.
11103 Publications
2025 | Published | Conference Paper | IST-REx-ID: 20225 | 
Henzinger TA, Mallik K, Sadeghi P, Zikelic D. Supermartingale certificates for quantitative omega-regular verification and control. In: 37th International Conference on Computer Aided Verification. Vol 15932. Springer Nature; 2025: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 N, Yu E, Preiner M, Biere A, Heljanko K. Introducing certificates to the hardware model checking competition. In: 37th International Conference on Computer Aided Verification. Vol 15931. Springer Nature; 2025:281-295. 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 P, Buzdalov M, Pankratov S, Aksenov V, Schmid S. In the search of optimal tree networks: Hardness and heuristics. In: Proceedings of the 2025 Genetic and Evolutionary Computation Conference. Association for Computing Machinery; 2025:249-257. doi:10.1145/3712256.3726425
[Published Version]
View
| Files available
| DOI
| WoS
2025 | Published | Journal Article | IST-REx-ID: 20402 |
| 
|
Vasudevan M, Paranjape CS, Sitte MP, Yalniz G, Hof B. Aging and memory of transitional turbulence. Nature Communications. 2025;16. doi:10.1038/s41467-025-63044-7
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20453 |
|
|
Farooq H, Nauman M. Non-linear magnetotropic susceptibility in FePS3. Journal of Physics Condensed Matter. 2025;37(40). 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 AC, Yue M, Matthee JJ, et al. The light echo of a high-redshift quasar mapped with Lyα tomography. Astrophysical Journal Letters. 2025;991(2). doi:10.3847/2041-8213/ae057a
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20454 |
|
|
Barrault L, Bugnet LA, Mathis S, Mombarg JSG. Exploring the probing power of γ Dor’s inertial dip for core magnetism: The case of a toroidal field. Astronomy and Astrophysics. 2025;701. doi:10.1051/0004-6361/202555213
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20452 |
|
|
King DS, Kim D, Zhong P, Cheng B. Machine learning of charges and long-range interactions from energies and forces. Nature Communications. 2025;16. 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 P, Monteiro-Ferreira S, Canato S, Soares RM, Sánchez-Danés A, Hannezo EB. Mechanical control of cell fate decisions in the skin epidermis. Nature Communications. 2025;16. 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 N, Depope A, Archodoulaki VM, Ipsmiller W, Bartl A. Deep eutectic solvent as a solution for polyester/cotton textile recycling. Waste Management. 2025;208. 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 G, Horta S, Sun Q, et al. Crystal growth engineering for dendrite-free Zinc metal plating. Advanced Materials. 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 W, Xu L, Lu S, et al. Thiol-Amine complexes for the synthesis and surface engineering of SnTe nanomaterials toward high thermoelectric performance. ACS Nano. 2025;19(38):34395-34407. doi:10.1021/acsnano.5c12627
View
| DOI
| WoS
| PubMed | Europe PMC
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20490 |
Edelsbrunner H, Garber A, Ghafari M, Heiss T, Saghafian M. Flips in two-dimensional hypertriangulations. European Journal of Combinatorics. 2025;132. 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 E, Mitrouskas DJ. Radiative corrections to the dynamics of a tracer particle coupled to a Bose ccalar field. Annales Henri Poincare. 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 Z, Sixt MK. Cell migration: How animal cells run and tumble. Current Biology. 2025;35(18):R890-R892. doi:10.1016/j.cub.2025.08.016
View
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20483 |
|
|
Palaia I, Asta AJ, Dutta M, Warren PB, Rotenberg B, Trizac E. Poisson-Nernst-Planck charging dynamics of an electric double-layer capacitor: Symmetric and asymmetric binary electrolytes. Physical Review E. 2025;112(3). doi:10.1103/p4dg-snqf
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20405 |
|
|
Lorenc D, Volosniev A, Zhumekenov AA, et al. Observation of analogue dynamic Schwinger effect and non-perturbative light sensing in lead halide perovskites. ACS Photonics. 2025;12(9):5220-5230. doi:10.1021/acsphotonics.5c01360
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20492 |
|
|
Zeng Z, Fan Z, Simoncelli M, 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. 2025;122(41):e2415664122. doi:10.1073/pnas.2415664122
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20493 |
|
|
Naoz S, Haiman Z, Quataert E, Holzknecht L. Triples as links between binary Black Hole mergers, their electromagnetic counterparts, and galactic Black Holes. Astrophysical Journal Letters. 2025;992(1). doi:10.3847/2041-8213/ae0a20
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv