ISTA Research Explorer

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.

2030 Publications

2025 | Published | Thesis | PhD | IST-REx-ID: 20575 |

Universality in random matrices with spatial structure
V. Riabov, Universality in Random Matrices with Spatial Structure, Institute of Science and Technology Austria, 2025.

[Published Version] View | Files available | DOI

Variability of central stars of planetary nebulae with the Zwicky Transient Facility. II. Long-timescale variables including wide binary and late thermal pulse candidates
S. Bhattacharjee, N. Reindl, H.E. Bond, K. Werner, G.R. Zeimann, D. Jones, K. El-Badry, N. Mackensen, N. Chornay, S.R. Kulkarni, I. Caiazzo, J. Van Roestel, A.C. Rodriguez, T.A. Prince, B. Rusholme, R.R. Laher, R. Smith, Publications of the Astronomical Society of the Pacific 137 (2025).

[Published Version] View | Files available | DOI | WoS | arXiv

MIDIS: Unveiling the star formation history in massive galaxies at 1 < z < 4.5 with spectro-photometric analysis
Annunziatella M, P’Erez-Gonz’Alez PG, Álvarez-Márquez J, Costantin L, Iani E, Labiano U, Rinaldi P, Boogaard L, Meyer RA, Östlin G, Colina L, Melinder J, Jermann I, Gillman S, Langeroodi D, Hjorth J, Alonso-Herrero A, Eckart A, Walter F, Van Der Werf PP, Bik A, Peißker F, Caputi KI, García-Marín M, Wright G, Greve TR. 2025. MIDIS: Unveiling the star formation history in massive galaxies at 1 < z < 4.5 with spectro-photometric analysis. Astronomy & Astrophysics. 702, A224.

[Published Version] View | Files available | DOI | WoS | arXiv

2025 | Published | Journal Article | IST-REx-ID: 20603

Sumset growth in progression-free sets
C. Elsholtz, I.Z. Ruzsa, L. Wurzinger, Acta Arithmetica 220 (2025) 289–303.

View | DOI | WoS

2025 | Published | Thesis | PhD | IST-REx-ID: 20607

Oxygen and sulfur redox : Conversion kinetics and phase equilibria
S. Mondal, Oxygen and Sulfur Redox : Conversion Kinetics and Phase Equilibria, Institute of Science and Technology Austria, 2025.

[Published Version] View | Files available | DOI

2025 | Published | Conference Paper | IST-REx-ID: 20610

What are the odds? Improving statistical model checking of Markov decision processes
T. Meggendorfer, M. Weininger, P. Wienhöft, in:, Second International Joint Conference on QEST+FORMATS, Springer Nature, 2025, pp. 195–218.

View | DOI

2025 | Published | Conference Paper | IST-REx-ID: 20648 |

PolyQEnt: A polynomial quantified entailment solver
K. Chatterjee, A.K. Goharshady, E. Goharshady, M. Karrabi, M. Saadat, M. Seeliger, D. Zikelic, in:, 23rd International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2025, pp. 411–424.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

ABP1/ABL3-TMK1 cell-surface auxin signaling targets PIN2-mediated auxin fluxes for root gravitropism
Rodriguez Solovey L, Fiedler L, Zou M, Giannini C, Monzer A, Vladimirtsev D, Randuch M, Yu Y, Gelová Z, Verstraeten I, Hajny J, Chen M, Tan S, Hörmayer L, Li L, Marques-Bueno MM, Quddoos Z, Molnar G, Kulich I, Jaillais Y, Friml J. 2025. ABP1/ABL3-TMK1 cell-surface auxin signaling targets PIN2-mediated auxin fluxes for root gravitropism. Cell. 188(22), 6138–6150.e17.

2025 | Published | Conference Paper | IST-REx-ID: 20658 |

The mid-sphere cousin of the medial axis transform
H. Edelsbrunner, E.R. Stephenson, M.H. Thoresen, in:, 4th International Joint Conference on Discrete Geometry and Mathematical Morphology, Springer Nature, 2025, pp. 133–147.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

Quantifying spectroscopic flux variations between JWST NIRISS and NIRSpec: Slit losses in emission line measurements of z ∼ 1-3 galaxies
N. Dalmasso, P.J. Watson, T. Treu, M. Trenti, B. Vulcani, T. Nanayakkara, M. Bradač, T. Jones, K. Boyett, X. Wang, S. Mascia, L. Pentericci, Monthly Notices of the Royal Astronomical Society 544 (2025) 1915–1925.

[Published Version] View | Files available | DOI | WoS | arXiv

Quantifying the carbon footprint of conference travel: The case of NMR meetings
L. Kapoor, N. Ruzickova, P. Zivadinovic, V. Leitner, M.A. Sisak, C.N. Mweka, J.A. Dobbelaere, G. Katsaros, P. Schanda, Magnetic Resonance 6 (2025) 243–256.

[Published Version] View | Files available | DOI

2025 | Published | Conference Paper | IST-REx-ID: 20684 |

“Give me BF16 or give me death”? Accuracy-performance trade-offs in LLM quantization
E. Kurtic, A. Marques, S. Pandit, M. Kurtz, D.-A. Alistarh, in:, Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics, Association for Computational Linguistics, 2025, pp. 26872–26886.

[Published Version] View | Files available | arXiv

nextGEMS: Entering the era of kilometer-scale Earth system modeling
Segura H et al. 2025. nextGEMS: Entering the era of kilometer-scale Earth system modeling. Geoscientific Model Development. 18(20), 7735–7761.

[Published Version] View | Files available | DOI

2025 | Published | Conference Paper | IST-REx-ID: 20707 |

From lab to wrist: Bridging metabolic monitoring and consumer wearables for heart rate and oxygen consumption modeling
B. Gahtan, S. Vedula, G. Samuelly Leichtag, E. Kodesh, A.M. Bronstein, in:, Proceedings of the 27th International Conference on Multimodal Interaction, Association for Computing Machinery, 2025, pp. 60–77.

[Published Version] View | Files available | DOI | arXiv

The second Hintereisferner experiment (HEFEX II): Initial insights into boundary layer structure and surface–atmosphere exchange processes from intensive observations at a valley glacier
Nicholson L, Stiperski I, Nitti G, Prinz R, Georgi A, Groos AR, Shaw T, Sauter T, Haugeneder M, Mott R, Sicart JE, Brock BW, Albers R, Allegri B, Barral H, Biron R, Charrondiere C, Coulaud C, Fischer A, Reynolds D, Richter N, Schroeder M, Vettori P, Voordendag A, Wydra C. 2025. The second Hintereisferner experiment (HEFEX II): Initial insights into boundary layer structure and surface–atmosphere exchange processes from intensive observations at a valley glacier. Bulletin of the American Meteorological Society. 106(10), E2143–E2169.

[Published Version] View | Files available | DOI | WoS

2025 | Published | Book Chapter | IST-REx-ID: 20723 |

Information-Flow Interfaces and Security Lattices
E. Bartocci, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, in:, Engineering Safe and Trustworthy Cyber Physical Systems, Springer Nature, Cham, 2025, pp. 251–263.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

Topographically-controlled contribution of avalanches to glacier mass balance in the 21st century
M. Kneib, F. Maussion, F. Brun, G. Carcanade, D. Farinotti, M. Huss, M. Van Tiel, A. Jouberton, P. Schmitt, L. Schuster, A. Dehecq, N. Champollion, Nature Communications 16 (2025).

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2025 | Published | Thesis | PhD | IST-REx-ID: 20737

Role of NOTCH signaling in radial glial progenitor lineage progression
R. Casado Polanco, Role of NOTCH Signaling in Radial Glial Progenitor Lineage Progression, Institute of Science and Technology Austria, 2025.

[Published Version] View | Files available | DOI

2025 | Published | Thesis | PhD | IST-REx-ID: 20741 |

Towards understanding the assembly mechanisms of the Z-ring in Archaea and Bacteria
M. Kojic, Towards Understanding the Assembly Mechanisms of the Z-Ring in Archaea and Bacteria, Institute of Science and Technology Austria, 2025.

[Published Version] View | Files available | DOI

2025 | Published | Thesis | PhD | IST-REx-ID: 20798

Atoms in a propagating-wave cavity for squeezed Mach-Zehnder atom interferometry
S. Wald, Atoms in a Propagating-Wave Cavity for Squeezed Mach-Zehnder Atom Interferometry, Institute of Science and Technology Austria, 2025.

[Published Version] View | Files available | DOI

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

2030 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

2030 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options