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.

12149 Publications


2025 | Published | Journal Article | IST-REx-ID: 20864 | OA
J. J. Matthee, “JWST provides a new view of cosmic dawn: Latest developments in studies of early galaxies,” Contemporary Physics, vol. 66, no. 1–4. Taylor & Francis, pp. 116–151, 2025.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 20866 | OA
E. Bartocci, M. Chalupa, T. A. Henzinger, D. Nickovic, and A. Oliveira da Costa, “Hypernode automata,” Acta Informatica, vol. 62, no. 4. Springer Nature, 2025.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 20867 | OA | PlanS
N. Zava, “Coarse and bi-Lipschitz embeddability of subspaces of the Gromov–Hausdorff space into Hilbert spaces,” Algebraic & Geometric Topology, vol. 25, no. 8. Mathematical Sciences Publishers, pp. 5153–5174, 2025.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 20868
Liang C, Yuan J, Zhang R, Tang X, Schumann G, Hitchen E, Polemiti E, Serin E, Kebir H, Lett TA, Vaidya N, Roy J-C, Walter H, Heinz A, Ralser M, Twardziok S, Eils R, Jentsch M, Taron U-H, Schütz T, Schepanski K, Banaschewski T, Neidhart M, Meyer-Lindenberg A, Tost H, Holz N, Schwarz E, Stringaris A, Christmann N, Janson K, Nees F, Neidhart M, Seefried B, Aden R, Andreassen OA, Westlye LT, van der Meer D, Fernández-Cabello S, Kjelkenes R, Ask H, Rapp M, Tschorn M, Böttger SJ, Marquand A, Bernas A, Novarino G, Slater M, Gallego J, Pastor Á, Feixas G, Eiroa-Orosa FJ, Nöthen MM, Forstner AJ, Claus I, Mathey C, Heilmann-Heimbach S, Hoffmann P, Miller A, Sommer P, Schmitt K, Wilbertz J, Patraskaki M, Jirsa V, Petkoski S, Athanasiadis A-P, Spanlang B, Pearmund C, Hese S, Renner P, Jia T, Chang X, Dai Y, Xia Y, Li Y, Zhang Y, Calhoun V, Thompson P, Clinton N, Desrivières S, Agunbiade K, Yu X, Zhang Z, Chen D, Young AH, Schwalber A, Köhler V, Stahl B, Ogoh G, Schikowski T, Brandlistuen R. 2025. Projecting the morbidity burden of mental and behavioral disorders associated with increasing humid heat in Shanghai. Nature Mental Health. 3(12), 1532–1544.
View | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 20869
A. Fuster‐Calvo, C. C. Jaworski, T. Ellis, and C. Baskett, “Reduced fitness under drought stress in F1 hybrids of Antirrhinum majus varieties with divergent flower colors,” American Journal of Botany, vol. 112, no. 12. Wiley, 2025.
View | Files available | DOI | PubMed | Europe PMC
 

2025 | Published | Book Chapter | IST-REx-ID: 20870
V. Stopa et al., “Essentials of transcriptomic methods: Navigating through RNA sequencing and beyond,” in Transcriptomics in Atherosclerosis, Y. Devaux and M. Sopic, Eds. Elsevier, 2025, pp. 131–172.
View | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 20928
B. Khatoon, V. K. Chaudhary, S. Kamil, S. U. Hasan, and M. S. Alam, “Enhanced mass transfer in microgeometry using pulsating velocity inputs: Hydrodynamic analysis and numerical simulation,” Physics of Fluids, vol. 37, no. 12. AIP Publishing, 2025.
View | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 20929 | OA | PlanS
M. Artan, H. Schön, and M. de Bono, “Proximity labeling of DAF-16 FOXO highlights aging regulatory proteins,” Nature Communications, vol. 16. Springer Nature, 2025.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 20930 | OA | PlanS
J. L. Gragera-Más, S. Torres Rodriguez, A. J. Mustill, and E. Villaver, “A kinematic history of stellar encounters with Beta Pictoris,” Astronomy & Astrophysics, vol. 704. EDP Sciences, 2025.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 20932 | OA | PlanS
Y. Liu et al., “A Lyman continuum analysis of ∼100 galaxies at z spec∼ 3 in the Abell 2744 cluster field,” Astronomy & Astrophysics, vol. 704. EDP Sciences, 2025.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 20934 | OA | PlanS
F. Montagna, M. T. Cairney-Leeming, D. Sridhar, and F. Locatello, “Demystifying amortized causal discovery with transformers,” Transactions on Machine Learning Research. ML Research Press, 2025.
[Published Version] View | Files available | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 20960 | OA | PlanS
M. Loos et al., “Interfacing B‐DNA and DNA mimic foldamers,” Angewandte Chemie International Edition, vol. 64, no. 31. Wiley, 2025.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 20976 | OA
L. Patel, S. Hawaldar, A. Panikkar, A. Shankar, and B. Suri, “Impedance-engineered Josephson parametric amplifier with single-step lithography,” Applied Physics Letters, vol. 127, no. 25. AIP Publishing, 2025.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 20977 | OA
A. Maslarova et al., “Spatiotemporal patterns differentiate hippocampal sharp-wave ripples from interictal epileptiform discharges in mice and humans,” Nature Communications, vol. 16. Springer Nature, 2025.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2025 | Draft | Preprint | IST-REx-ID: 20982 | OA
I. Kulich et al., “Armadillo repeat only proteins are required for the function of plant CNGC channels,” bioRxiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2025 | Published | Journal Article | IST-REx-ID: 21007 | OA | PlanS
V. Kolmogorov, “A simpler and parallelizable O(√log n)-approximation algorithm for SPARSEST CUT,” ACM Transactions on Algorithms, vol. 21, no. 4. Association for Computing Machinery, pp. 1–22, 2025.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21020 | OA
T. A. Henzinger, M. Karimi, and K. S. Thejaswini, “Privacy-preserving runtime verification,” in Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Taipei, Taiwan, 2025, pp. 2774–2787.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21049 | OA
S. Gairola, M. Böhle, F. Locatello, and B. Schiele, “How to probe: Simple yet effective techniques for improving post-hoc explanations,” in 13th International Conference on Learning Representations, Singapore, 2025.
[Published Version] View | Files available | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21052 | OA | PlanS
M. Vistrup, M. J. Sammler, and R. Jung, “Program logics à la Carte,” Proceedings of the ACM on Programming Languages, vol. 9, no. POPL. Association for Computing Machinery, pp. 300–331, 2025.
[Published Version] View | DOI | Download Published Version (ext.)
 

2025 | Published | Journal Article | IST-REx-ID: 21053 | PlanS
T. Dardinier, M. J. Sammler, G. Parthasarathy, A. J. Summers, and P. Müller, “Formal foundations for translational separation logic verifiers,” Proceedings of the ACM on Programming Languages, vol. 9, no. POPL. Association for Computing Machinery, pp. 569–599, 2025.
[Published Version] View | DOI | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed