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 | OA
Asadi, A., Chatterjee, K., Saona Urmeneta, R. J., & Shafiee, A. (2025). Limit-sure reachability for small memory policies in POMDPs is NP-complete. In The 41st Conference on Uncertainty in Artificial Intelligence (Vol. 286, pp. 238–247). Rio de Janeiro, Brazil: ML Research Press.
[Published Version] View | Files available | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 20299 | OA
Asadi, A., Chatterjee, K., & De Raaij, J. (2025). Lower bound on Howard policy iteration for deterministic Markov Decision Processes. In The 41st Conference on Uncertainty in Artificial Intelligence (Vol. 286, pp. 223–232). Rio de Janeiro, Brazil: ML Research Press.
[Published Version] View | Files available | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 20324 | OA | PlanS
Mukhopadhyay, S., Lancheros Naranjo, D. A., Senior, J. L., & Higginbotham, A. P. (2025). Dual relaxation oscillations in a Josephson-junction array. Physical Review Applied. American Physical Society. https://doi.org/10.1103/qvls-7s3q
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20339 | OA
Tasinato, G. (2025). Topological methods in discrete geometry and theoretical computer science : Measure partitioning and constraint satisfaction problems. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20339
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 20342 | OA | PlanS
Boker, U., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2025). Safety and liveness of quantitative properties and automata. Logical Methods in Computer Science. EPI Sciences. https://doi.org/10.46298/lmcs-21(2:2)2025
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20357
Ruzickova, N. (2025). Effect propagation in biological networks. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20357
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20362
Babic, D. (2025). Mechanisms of auxin-mediated early embryogenesis in Arabidopsis thaliana. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20362
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20364
Giannini, C. (2025). Nuclear and cell surface auxin signaling in A. thaliana developmental transitions. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20364
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20371 | OA
Trioni, A. (2025). High-impedance quantum circuits for mesoscopic physics : Geometric superinductors and insulating Josephson Chains. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20371
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20393
Kishi, K. (2025). Regulation of notochord and floor plate size during mouse development. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20393
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20415
Lee, S. (2025). Nanoparticle-based precursors toward advanced crystalline inorganic solids. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20415
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 20425 | OA | PlanS
Eilers, A. C., Yue, M., Matthee, J. J., Hennawi, J. F., Davies, F. B., Simcoe, R. A., … Navarrete, B. (2025). The light echo of a high-redshift quasar mapped with Lyα tomography. The Astrophysical Journal Letters. IOP Publishing. https://doi.org/10.3847/2041-8213/ae057a
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20441 | OA
Naik, S. (2025). Keratins act as global coordinators of tissue spreading through mechanosensitive feedback. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20441
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20449
Bett, V. K. (2025). Evolution and regulation of the Z chromosome. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20449
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 20454 | OA | PlanS
Barrault, L., Bugnet, L. A., Mathis, S., & Mombarg, J. S. G. (2025). Exploring the probing power of γ Dor’s inertial dip for core magnetism: The case of a toroidal field. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202555213
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20467
Miteva, F. E. (2025). The role of cyclooxygenase 1 on microglial response to inflammatory stressors. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20467
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20470
Wu, B. (2025). An examination on phages as a naturally composable system. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20470
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20485
Misova, M. (2025). Dissecting gap junction biology using the C. elegans nervous system. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20485
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 20538 | OA | PlanS
Knödlstorfer, S., Toscano, G., Ptaszek, A. L., Kontaxis, G., Napoli, F., Schneider, J., … Konrat, R. (2025). A novel HMBC-CC-HMQC NMR strategy for methyl assignment using triple-13C-labeled α-ketoisovalerate integrated with UCBShift 2.0. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2025.169465
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20551 | OA
Ishida, S. (2025). Symplectic-prequantum structures and dynamics on the codimension-2 shape space. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20551
[Published Version] View | Files available | DOI
 

Filters and Search Terms

department=Various

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed