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.
7478 Publications
2025 | Published | Conference Paper | IST-REx-ID: 20225 | 
Henzinger TA, Mallik K, Sadeghi P, Zikelic D. 2025. Supermartingale certificates for quantitative omega-regular verification and control. 37th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 15932, 29–55.
[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. 2025. Introducing certificates to the hardware model checking competition. 37th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 15931, 281–295.
[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. 2025. In the search of optimal tree networks: Hardness and heuristics. Proceedings of the 2025 Genetic and Evolutionary Computation Conference. GECCO: Genetic and evolutionary computation conference, 249–257.
[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. 2025. Aging and memory of transitional turbulence. Nature Communications. 16, 8447.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20453 |
|
|
Farooq H, Nauman M. 2025. Non-linear magnetotropic susceptibility in FePS3. Journal of Physics Condensed Matter. 37(40), 405801.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20425 |
|
|
Eilers AC, Yue M, Matthee JJ, Hennawi JF, Davies FB, Simcoe RA, Teague R, Bordoloi R, Brammer G, Kang Y, Kashino D, Mackenzie R, Naidu RP, Navarrete B. 2025. The light echo of a high-redshift quasar mapped with Lyα tomography. Astrophysical Journal Letters. 991(2), L40.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20454 |
|
|
Barrault L, Bugnet LA, Mathis S, Mombarg JSG. 2025. Exploring the probing power of γ Dor’s inertial dip for core magnetism: The case of a toroidal field. Astronomy and Astrophysics. 701, A253.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20452 |
|
|
King DS, Kim D, Zhong P, Cheng B. 2025. Machine learning of charges and long-range interactions from energies and forces. Nature Communications. 16, 8763.
[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. 2025. Mechanical control of cell fate decisions in the skin epidermis. Nature Communications. 16, 8440.
[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. 2025. Deep eutectic solvent as a solution for polyester/cotton textile recycling. Waste Management. 208, 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, Khan MD, Ibáñez M, Han Y, Wang S, Li L, Ci L, Tian Y, Cabot A. 2025. Crystal growth engineering for dendrite-free Zinc metal plating. Advanced Materials., e10906.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| 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. 2025. Flips in two-dimensional hypertriangulations. European Journal of Combinatorics. 132, 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. 2025. Radiative corrections to the dynamics of a tracer particle coupled to a Bose ccalar field. Annales Henri Poincare.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20483 |
|
|
Palaia I, Asta AJ, Dutta M, Warren PB, Rotenberg B, Trizac E. 2025. Poisson-Nernst-Planck charging dynamics of an electric double-layer capacitor: Symmetric and asymmetric binary electrolytes. Physical Review E. 112(3), 035417.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20405 |
|
|
Lorenc D, Volosniev A, Zhumekenov AA, Lee S, Ibáñez M, Bakr OM, Lemeshko M, Alpichshev Z. 2025. Observation of analogue dynamic Schwinger effect and non-perturbative light sensing in lead halide perovskites. ACS Photonics. 12(9), 5220–5230.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20492 |
|
|
Zeng Z, Fan Z, Simoncelli M, Chen C, Liang T, Chen Y, Thornton G, Cheng B. 2025. Lattice distortion leads to glassy thermal transport in crystalline Cs3Bi2I6Cl3. Proceedings of the National Academy of Sciences of the United States of America. 122(41), e2415664122.
[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. 2025. Triples as links between binary Black Hole mergers, their electromagnetic counterparts, and galactic Black Holes. Astrophysical Journal Letters. 992(1), L12.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20504 |
|
|
Jain V, Kwan MA, Mubayi D, Tran T. 2025. The edge-statistics conjecture for hypergraphs. International Mathematics Research Notices. 2025(18), rnaf273.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20479 |
|
|
Shahzad Z, Hollwey E, Moore JD, Choi J, Cassin-Ross G, Rouached H, Robinson MR, Zilberman D. 2025. Gene body methylation regulates gene expression and mediates phenotypic diversity in natural Arabidopsis populations. Nature Plants. 11, 2084–2099.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC