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.
1995 Publications
2025 | Published | Conference Paper | IST-REx-ID: 20024
Cooperative software verification via dynamic program splitting
C. Richter, M. Chalupa, M.-C. Jakobs, H. Wehrheim, in:, 47th International Conference on Software Engineering, IEEE, 2025, pp. 2087–2099.
View
| DOI
| WoS
C. Richter, M. Chalupa, M.-C. Jakobs, H. Wehrheim, in:, 47th International Conference on Software Engineering, IEEE, 2025, pp. 2087–2099.
2025 | Published | Thesis | IST-REx-ID: 20149 | 
Coordination of protrusive forces in immune cell migration
P. Dos Reis Rodrigues, Coordination of Protrusive Forces in Immune Cell Migration , Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
P. Dos Reis Rodrigues, Coordination of Protrusive Forces in Immune Cell Migration , Institute of Science and Technology Austria, 2025.
2025 | Published | Journal Article | IST-REx-ID: 20116 |
Germin-like protein 1 interacts with proteasome regulator 1 to regulate auxin signaling by controlling Aux/IAA homeostasis
F. Xu, Y. Yu, B. Guan, T. Xu, Z. Xu, H. Xue, Cell Reports 44 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
F. Xu, Y. Yu, B. Guan, T. Xu, Z. Xu, H. Xue, Cell Reports 44 (2025).
2025 | Published | Journal Article | IST-REx-ID: 20184 |
| 
|
The low-fidelity DNA Pol IV accelerates evolution of pathogenicity genes in Pseudomonas aeruginosa
S.D. Castell, C.M. Fernandez, I.N. Tumas, L.M. Margara, M.C. Miserendino, D.G. Ceschin, R.J. Pezza, M.R. Monti, Communications Biology 8 (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
S.D. Castell, C.M. Fernandez, I.N. Tumas, L.M. Margara, M.C. Miserendino, D.G. Ceschin, R.J. Pezza, M.R. Monti, Communications Biology 8 (2025).
2025 | Published | Journal Article | IST-REx-ID: 20192 |
|
|
21 Balmer Jump Street: The nebular continuum at high redshift and implications for the bright galaxy problem, UV continuum slopes, and early stellar populations
H. Katz, A.J. Cameron, A. Saxena, L. Barrufet, N. Choustikov, N.J. Cleri, A. De Graaff, R.S. Ellis, R.A.E. Fosbury, K.E. Heintz, M. Maseda, J.J. Matthee, I. Mcconachie, P.A. Oesch, The Open Journal of Astrophysics 8 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
H. Katz, A.J. Cameron, A. Saxena, L. Barrufet, N. Choustikov, N.J. Cleri, A. De Graaff, R.S. Ellis, R.A.E. Fosbury, K.E. Heintz, M. Maseda, J.J. Matthee, I. Mcconachie, P.A. Oesch, The Open Journal of Astrophysics 8 (2025).
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20407 |
|
|
LieDetect: Detection of representation orbits of compact Lie groups from point clouds
H. Ennes, R. Tinarrage, Foundations of Computational Mathematics (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
H. Ennes, R. Tinarrage, Foundations of Computational Mathematics (2025).
2025 | Published | Journal Article | IST-REx-ID: 20528
Formation of metallocene single-molecule junctions via metal–metal bonds
W. Lee, C.R. Prindle, W. Shi, S. Louie, M.L. Steigerwald, L. Venkataraman, Nano Letters 25 (2025) 3316–3322.
View
| DOI
| PubMed | Europe PMC
W. Lee, C.R. Prindle, W. Shi, S. Louie, M.L. Steigerwald, L. Venkataraman, Nano Letters 25 (2025) 3316–3322.
2025 | Published | Conference Paper | IST-REx-ID: 19600 |
Route discovery in private payment channel networks
Z. Avarikioti, M. Bastankhah, M.A. Maddah-Ali, K.Z. Pietrzak, J. Svoboda, M.X. Yeo, in:, Computer Security. ESORICS 2024 International Workshops, Springer Nature, 2025, pp. 207–223.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
Z. Avarikioti, M. Bastankhah, M.A. Maddah-Ali, K.Z. Pietrzak, J. Svoboda, M.X. Yeo, in:, Computer Security. ESORICS 2024 International Workshops, Springer Nature, 2025, pp. 207–223.
2025 | Published | Thesis | IST-REx-ID: 20485
Dissecting gap junction biology using the C. elegans nervous system
M. Misova, Dissecting Gap Junction Biology Using the C. Elegans Nervous System, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
M. Misova, Dissecting Gap Junction Biology Using the C. Elegans Nervous System, Institute of Science and Technology Austria, 2025.
2025 | Published | Thesis | IST-REx-ID: 20441 |
Keratins act as global coordinators of tissue spreading through mechanosensitive feedback
S. Naik, Keratins Act as Global Coordinators of Tissue Spreading through Mechanosensitive Feedback, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
S. Naik, Keratins Act as Global Coordinators of Tissue Spreading through Mechanosensitive Feedback, Institute of Science and Technology Austria, 2025.
2025 | Published | Thesis | IST-REx-ID: 19540 |
Modeling complex quantum systems : Random matrices, BCS theory, and quantum lattice systems
S.J. Henheik, Modeling Complex Quantum Systems : Random Matrices, BCS Theory, and Quantum Lattice Systems, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
S.J. Henheik, Modeling Complex Quantum Systems : Random Matrices, BCS Theory, and Quantum Lattice Systems, Institute of Science and Technology Austria, 2025.
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
T. Meggendorfer, M. Weininger, P. Wienhöft, in:, Second International Joint Conference on QEST+FORMATS, Springer Nature, 2025, pp. 195–218.
2025 | Published | Thesis | IST-REx-ID: 20551 |
Symplectic-prequantum structures and dynamics on the codimension-2 shape space
S. Ishida, Symplectic-Prequantum Structures and Dynamics on the Codimension-2 Shape Space, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
S. Ishida, Symplectic-Prequantum Structures and Dynamics on the Codimension-2 Shape Space, Institute of Science and Technology Austria, 2025.
2025 | Published | Journal Article | IST-REx-ID: 20664 |
|
|
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
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.
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
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.
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
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.
2025 | Published | Journal Article | IST-REx-ID: 20685 |
|
|
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
Segura H et al. 2025. nextGEMS: Entering the era of kilometer-scale Earth system modeling. Geoscientific Model Development. 18(20), 7735–7761.
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
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.
2025 | Published | Thesis | IST-REx-ID: 20357
Effect propagation in biological networks
N. Ruzickova, Effect Propagation in Biological Networks, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
N. Ruzickova, Effect Propagation in Biological Networks, Institute of Science and Technology Austria, 2025.
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
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.