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.
466 Publications
2025 |
Published |
Conference Paper |
IST-REx-ID: 20297 |
Limit-sure reachability for small memory policies in POMDPs is NP-complete
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, A. Shafiee, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 238–247.
[Published Version]
View
| Files available
| arXiv
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, A. Shafiee, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 238–247.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20299 |
Lower bound on Howard policy iteration for deterministic Markov Decision Processes
A. Asadi, K. Chatterjee, J. De Raaij, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 223–232.
[Published Version]
View
| Files available
| arXiv
A. Asadi, K. Chatterjee, J. De Raaij, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 223–232.
2025 |
Published |
Journal Article |
IST-REx-ID: 20324 |
| 
|
Dual relaxation oscillations in a Josephson-junction array
S. Mukhopadhyay, D.A. Lancheros Naranjo, J.L. Senior, A.P. Higginbotham, Physical Review Applied 24 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Mukhopadhyay, D.A. Lancheros Naranjo, J.L. Senior, A.P. Higginbotham, Physical Review Applied 24 (2025).
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20339 |
Topological methods in discrete geometry and theoretical computer science : Measure partitioning and constraint satisfaction problems
G. Tasinato, Topological Methods in Discrete Geometry and Theoretical Computer Science : Measure Partitioning and Constraint Satisfaction Problems, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
G. Tasinato, Topological Methods in Discrete Geometry and Theoretical Computer Science : Measure Partitioning and Constraint Satisfaction Problems, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 20342 |
|
|
Safety and liveness of quantitative properties and automata
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, Logical Methods in Computer Science 21 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, Logical Methods in Computer Science 21 (2025).
2025 |
Published |
Thesis | PhD |
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 |
Thesis | PhD |
IST-REx-ID: 20362
Mechanisms of auxin-mediated early embryogenesis in Arabidopsis thaliana
D. Babic, Mechanisms of Auxin-Mediated Early Embryogenesis in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
D. Babic, Mechanisms of Auxin-Mediated Early Embryogenesis in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20364
Nuclear and cell surface auxin signaling in A. thaliana developmental transitions
C. Giannini, Nuclear and Cell Surface Auxin Signaling in A. Thaliana Developmental Transitions, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
C. Giannini, Nuclear and Cell Surface Auxin Signaling in A. Thaliana Developmental Transitions, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20371 |
High-impedance quantum circuits for mesoscopic physics : Geometric superinductors and insulating Josephson Chains
A. Trioni, High-Impedance Quantum Circuits for Mesoscopic Physics : Geometric Superinductors and Insulating Josephson Chains, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
A. Trioni, High-Impedance Quantum Circuits for Mesoscopic Physics : Geometric Superinductors and Insulating Josephson Chains, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20393
Regulation of notochord and floor plate size during mouse development
K. Kishi, Regulation of Notochord and Floor Plate Size during Mouse Development, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
K. Kishi, Regulation of Notochord and Floor Plate Size during Mouse Development, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20415
Nanoparticle-based precursors toward advanced crystalline inorganic solids
S. Lee, Nanoparticle-Based Precursors toward Advanced Crystalline Inorganic Solids, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
S. Lee, Nanoparticle-Based Precursors toward Advanced Crystalline Inorganic Solids, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 20425 |
|
|
The light echo of a high-redshift quasar mapped with Lyα tomography
A.C. Eilers, M. Yue, J.J. Matthee, J.F. Hennawi, F.B. Davies, R.A. Simcoe, R. Teague, R. Bordoloi, G. Brammer, Y. Kang, D. Kashino, R. Mackenzie, R.P. Naidu, B. Navarrete, The Astrophysical Journal Letters 991 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A.C. Eilers, M. Yue, J.J. Matthee, J.F. Hennawi, F.B. Davies, R.A. Simcoe, R. Teague, R. Bordoloi, G. Brammer, Y. Kang, D. Kashino, R. Mackenzie, R.P. Naidu, B. Navarrete, The Astrophysical Journal Letters 991 (2025).
2025 |
Published |
Thesis | PhD |
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 | PhD |
IST-REx-ID: 20449
Evolution and regulation of the Z chromosome
V.K. Bett, Evolution and Regulation of the Z Chromosome, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
V.K. Bett, Evolution and Regulation of the Z Chromosome, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 20454 |
|
|
Exploring the probing power of γ Dor's inertial dip for core magnetism: The case of a toroidal field
L. Barrault, L.A. Bugnet, S. Mathis, J.S.G. Mombarg, Astronomy & Astrophysics 701 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
L. Barrault, L.A. Bugnet, S. Mathis, J.S.G. Mombarg, Astronomy & Astrophysics 701 (2025).
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20467
The role of cyclooxygenase 1 on microglial response to inflammatory stressors
F.E. Miteva, The Role of Cyclooxygenase 1 on Microglial Response to Inflammatory Stressors, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
F.E. Miteva, The Role of Cyclooxygenase 1 on Microglial Response to Inflammatory Stressors, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20470
An examination on phages as a naturally composable system
B. Wu, An Examination on Phages as a Naturally Composable System, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
B. Wu, An Examination on Phages as a Naturally Composable System, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
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 |
Journal Article |
IST-REx-ID: 20538 |
|
|
A novel HMBC-CC-HMQC NMR strategy for methyl assignment using triple-13C-labeled α-ketoisovalerate integrated with UCBShift 2.0
S. Knödlstorfer, G. Toscano, A.L. Ptaszek, G. Kontaxis, F. Napoli, J. Schneider, K. Maier, A. Kapitonova, R.J. Lichtenecker, P. Schanda, R. Konrat, Journal of Molecular Biology 437 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S. Knödlstorfer, G. Toscano, A.L. Ptaszek, G. Kontaxis, F. Napoli, J. Schneider, K. Maier, A. Kapitonova, R.J. Lichtenecker, P. Schanda, R. Konrat, Journal of Molecular Biology 437 (2025).
2025 |
Published |
Thesis | PhD |
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.