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 |
A. Asadi, K. Chatterjee, R. J. Saona Urmeneta, and A. Shafiee, “Limit-sure reachability for small memory policies in POMDPs is NP-complete,” in The 41st Conference on Uncertainty in Artificial Intelligence, Rio de Janeiro, Brazil, 2025, vol. 286, pp. 238–247.
[Published Version]
View
| Files available
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20299 |
A. Asadi, K. Chatterjee, and J. De Raaij, “Lower bound on Howard policy iteration for deterministic Markov Decision Processes,” in The 41st Conference on Uncertainty in Artificial Intelligence, Rio de Janeiro, Brazil, 2025, vol. 286, pp. 223–232.
[Published Version]
View
| Files available
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 20324 |
| 
|
S. Mukhopadhyay, D. A. Lancheros Naranjo, J. L. Senior, and A. P. Higginbotham, “Dual relaxation oscillations in a Josephson-junction array,” Physical Review Applied, vol. 24. American Physical Society, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20339 |
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
2025 |
Published |
Journal Article |
IST-REx-ID: 20342 |
|
|
U. Boker, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “ Safety and liveness of quantitative properties and automata,” Logical Methods in Computer Science, vol. 21, no. 2. EPI Sciences, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20357
N. Ruzickova, “Effect propagation in biological networks,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20362
D. Babic, “Mechanisms of auxin-mediated early embryogenesis in Arabidopsis thaliana,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20364
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
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20371 |
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
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20393
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
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20415
S. Lee, “Nanoparticle-based precursors toward advanced crystalline inorganic solids,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20425 |
|
|
A. C. Eilers et al., “The light echo of a high-redshift quasar mapped with Lyα tomography,” The Astrophysical Journal Letters, vol. 991, no. 2. IOP Publishing, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20441 |
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
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20449
V. K. Bett, “Evolution and regulation of the Z chromosome,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20454 |
|
|
L. Barrault, L. A. Bugnet, S. Mathis, and J. S. G. Mombarg, “Exploring the probing power of γ Dor’s inertial dip for core magnetism: The case of a toroidal field,” Astronomy & Astrophysics, vol. 701. EDP Sciences, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20467
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
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20470
B. Wu, “An examination on phages as a naturally composable system,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20485
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
2025 |
Published |
Journal Article |
IST-REx-ID: 20538 |
|
|
S. Knödlstorfer 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. Elsevier, 2025.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20551 |
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