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, Ali, Krishnendu Chatterjee, Raimundo J Saona Urmeneta, and Ali Shafiee. “Limit-Sure Reachability for Small Memory Policies in POMDPs Is NP-Complete.” In The 41st Conference on Uncertainty in Artificial Intelligence, 286:238–47. ML Research Press, 2025.
[Published Version] View | Files available | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 20299 | OA
Asadi, Ali, Krishnendu Chatterjee, and Jakob De Raaij. “Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes.” In The 41st Conference on Uncertainty in Artificial Intelligence, 286:223–32. ML Research Press, 2025.
[Published Version] View | Files available | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 20324 | OA | PlanS
Mukhopadhyay, Soham, Diego A Lancheros Naranjo, Jorden L Senior, and Andrew P Higginbotham. “Dual Relaxation Oscillations in a Josephson-Junction Array.” Physical Review Applied. American Physical Society, 2025. 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, Gianluca. “Topological Methods in Discrete Geometry and Theoretical Computer Science : Measure Partitioning and Constraint Satisfaction Problems.” Institute of Science and Technology Austria, 2025. 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, Udi, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “ Safety and Liveness of Quantitative Properties and Automata.” Logical Methods in Computer Science. EPI Sciences, 2025. 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, Natalia. “Effect Propagation in Biological Networks.” Institute of Science and Technology Austria, 2025. https://doi.org/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. https://doi.org/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. https://doi.org/10.15479/AT-ISTA-20364.
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20371 | OA
Trioni, Andrea. “High-Impedance Quantum Circuits for Mesoscopic Physics : Geometric Superinductors and Insulating Josephson Chains.” Institute of Science and Technology Austria, 2025. https://doi.org/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. https://doi.org/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. 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, Anna Christina, Minghao Yue, Jorryt J Matthee, Joseph F. Hennawi, Frederick B. Davies, Robert A. Simcoe, Richard Teague, et al. “The Light Echo of a High-Redshift Quasar Mapped with Lyα Tomography.” The Astrophysical Journal Letters. IOP Publishing, 2025. 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, Suyash. “Keratins Act as Global Coordinators of Tissue Spreading through Mechanosensitive Feedback.” Institute of Science and Technology Austria, 2025. https://doi.org/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. 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, Lucas, Lisa Annabelle 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. EDP Sciences, 2025. 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, Florianne E. “The Role of Cyclooxygenase 1 on Microglial Response to Inflammatory Stressors.” Institute of Science and Technology Austria, 2025. https://doi.org/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. https://doi.org/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. 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, Sonja, Giorgia Toscano, Aleksandra L. Ptaszek, Georg Kontaxis, Federico Napoli, Jakob Schneider, Katharina Maier, 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. Elsevier, 2025. 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, Sadashige. “Symplectic-Prequantum Structures and Dynamics on the Codimension-2 Shape Space.” Institute of Science and Technology Austria, 2025. 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: Chicago

Export / Embed