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 |
Sarac, Naci E. A Monitoring-Oriented Theory and Classification of Quantitative Specifications. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20147.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20149 |
Dos Reis Rodrigues, Patricia. Coordination of Protrusive Forces in Immune Cell Migration . Institute of Science and Technology Austria, 2025, doi: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, doi:10.15479/AT-ISTA-20167.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20184 |
| 
|
Castell, Sofía D., et al. “The Low-Fidelity DNA Pol IV Accelerates Evolution of Pathogenicity Genes in Pseudomonas Aeruginosa.” Communications Biology, vol. 8, 1148, Springer Nature, 2025, doi: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 |
|
|
Babic, David, et al. “Biosynthesis of Very Long-Chain Fatty Acids Is Required for Arabidopsis Auxin-Mediated Embryonic and Post-Embryonic Development.” Plant Journal, vol. 123, no. 3, e70396, Wiley, 2025, doi:10.1111/tpj.70396.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20203 |
Sobarzo Ponce, Juan Carlos A. Tribocharging of Identical Insulators : Triboelectric Series, Triboelectric Cycles and Surface Charges. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20203.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20206 |
Vorlaufer, Jakob. Construction of a Cryo-Super-Resolution Microscope to Guide in Situ Structure Analysis. Institute of Science and Technology Austria, 2025, doi: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, doi:10.15479/AT-ISTA-20212.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20234 |
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, doi:10.15479/AT-ISTA-20234.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20276 |
Bhargava, Manas. Design and Control of Deformable Structures: From PCB Lighting Displays to Elastomer Robots. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20276.
[Published Version]
View
| Files available
| DOI
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