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 |
Asadi, Ali, et al. “Limit-Sure Reachability for Small Memory Policies in POMDPs Is NP-Complete.” The 41st Conference on Uncertainty in Artificial Intelligence, vol. 286, ML Research Press, 2025, pp. 238–47.
[Published Version]
View
| Files available
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20299 |
Asadi, Ali, et al. “Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes.” The 41st Conference on Uncertainty in Artificial Intelligence, vol. 286, ML Research Press, 2025, pp. 223–32.
[Published Version]
View
| Files available
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 20324 |
| 
|
Mukhopadhyay, Soham, et al. “Dual Relaxation Oscillations in a Josephson-Junction Array.” Physical Review Applied, vol. 24, 014035, American Physical Society, 2025, doi:10.1103/qvls-7s3q.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20339 |
Tasinato, Gianluca. Topological Methods in Discrete Geometry and Theoretical Computer Science : Measure Partitioning and Constraint Satisfaction Problems. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20339.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20342 |
|
|
Boker, Udi, et al. “ Safety and Liveness of Quantitative Properties and Automata.” Logical Methods in Computer Science, vol. 21, no. 2, 13149, EPI Sciences, 2025, doi:10.46298/lmcs-21(2:2)2025.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20357
Ruzickova, Natalia. Effect Propagation in Biological Networks. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20357.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20362
Babic, David. Mechanisms of Auxin-Mediated Early Embryogenesis in Arabidopsis Thaliana. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20362.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20364
Giannini, Caterina. Nuclear and Cell Surface Auxin Signaling in A. Thaliana Developmental Transitions. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20364.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20371 |
Trioni, Andrea. High-Impedance Quantum Circuits for Mesoscopic Physics : Geometric Superinductors and Insulating Josephson Chains. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20371.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20393
Kishi, Kasumi. Regulation of Notochord and Floor Plate Size during Mouse Development. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20393.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20415
Lee, Seungho. Nanoparticle-Based Precursors toward Advanced Crystalline Inorganic Solids. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20415.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20425 |
|
|
Eilers, Anna Christina, et al. “The Light Echo of a High-Redshift Quasar Mapped with Lyα Tomography.” The Astrophysical Journal Letters, vol. 991, no. 2, L40, IOP Publishing, 2025, doi:10.3847/2041-8213/ae057a.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20441 |
Naik, Suyash. Keratins Act as Global Coordinators of Tissue Spreading through Mechanosensitive Feedback. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20441.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20449
Bett, Vincent K. Evolution and Regulation of the Z Chromosome. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20449.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20454 |
|
|
Barrault, Lucas, et al. “Exploring the Probing Power of γ Dor’s Inertial Dip for Core Magnetism: The Case of a Toroidal Field.” Astronomy & Astrophysics, vol. 701, A253, EDP Sciences, 2025, doi:10.1051/0004-6361/202555213.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20467
Miteva, Florianne E. The Role of Cyclooxygenase 1 on Microglial Response to Inflammatory Stressors. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20467.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20470
Wu, Bryan. An Examination on Phages as a Naturally Composable System. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20470.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20485
Misova, Michaela. Dissecting Gap Junction Biology Using the C. Elegans Nervous System. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20485.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20538 |
|
|
Knödlstorfer, Sonja, et al. “A Novel HMBC-CC-HMQC NMR Strategy for Methyl Assignment Using Triple-13C-Labeled α-Ketoisovalerate Integrated with UCBShift 2.0.” Journal of Molecular Biology, vol. 437, no. 23, 169465, Elsevier, 2025, doi:10.1016/j.jmb.2025.169465.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20551 |
Ishida, Sadashige. Symplectic-Prequantum Structures and Dynamics on the Codimension-2 Shape Space. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20551.
[Published Version]
View
| Files available
| DOI