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 | Thesis | PhD | IST-REx-ID: 20147 | OA
Sarac, Naci E. “A Monitoring-Oriented Theory and Classification of Quantitative Specifications.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20147.
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20149 | OA
Dos Reis Rodrigues, Patricia. “Coordination of Protrusive Forces in Immune Cell Migration .” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20149.
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20167
Schön, Hanna. “The ER Complex SUTU-7/MACO-1 Regulates the Fate of MRNAs Encoding GPCRs.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20167.
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 20184 | OA | PlanS
Castell, Sofía D., Consuelo M. Fernandez, Ignacio N. Tumas, Lucía M. Margara, Maria C Miserendino, Danilo G. Ceschin, Roberto J. Pezza, and Mariela R. Monti. “The Low-Fidelity DNA Pol IV Accelerates Evolution of Pathogenicity Genes in Pseudomonas Aeruginosa.” Communications Biology. Springer Nature, 2025. https://doi.org/10.1038/s42003-025-08589-5.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 20187 | OA | PlanS
Babic, David, Rashed Abualia, Lukas Fiedler, Linlin Qi, Frédérique Tellier, Adrijana Smoljan, Hana Rakusova, et al. “Biosynthesis of Very Long-Chain Fatty Acids Is Required for Arabidopsis Auxin-Mediated Embryonic and Post-Embryonic Development.” Plant Journal. Wiley, 2025. https://doi.org/10.1111/tpj.70396.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20203 | OA
Sobarzo Ponce, Juan Carlos A. “Tribocharging of Identical Insulators : Triboelectric Series, Triboelectric Cycles and Surface Charges.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20203.
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20206 | OA
Vorlaufer, Jakob. “Construction of a Cryo-Super-Resolution Microscope to Guide in Situ Structure Analysis.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20206.
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20212
Miranda, Osvaldo. “Unraveling the Role of Pten in Cortical Stem Cell Lineage Progression Using MADM.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20212.
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20234 | OA
Saona Urmeneta, Raimundo J. “Robustness of Solutions in Game Theory : Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20234.
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20276 | OA
Bhargava, Manas. “Design and Control of Deformable Structures: From PCB Lighting Displays to Elastomer Robots.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20276.
[Published Version] View | Files available | DOI
 

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
 

Filters and Search Terms

department=GradSch

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed