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, N. E. (2025). A monitoring-oriented theory and classification of quantitative specifications. Institute of Science and Technology Austria. 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, P. (2025). Coordination of protrusive forces in immune cell migration . Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20149
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20167
Schön, H. (2025). The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs. Institute of Science and Technology Austria. 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, S. D., Fernandez, C. M., Tumas, I. N., Margara, L. M., Miserendino, M. C., Ceschin, D. G., … Monti, M. R. (2025). The low-fidelity DNA Pol IV accelerates evolution of pathogenicity genes in Pseudomonas aeruginosa. Communications Biology. Springer Nature. 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, D., Abualia, R., Fiedler, L., Qi, L., Tellier, F., Smoljan, A., … Friml, J. (2025). Biosynthesis of very long-chain fatty acids is required for Arabidopsis auxin-mediated embryonic and post-embryonic development. Plant Journal. Wiley. 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, J. C. A. (2025). Tribocharging of identical insulators : Triboelectric series, triboelectric cycles and surface charges. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20203
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20206 | OA
Vorlaufer, J. (2025). Construction of a cryo-super-resolution microscope to guide in situ structure analysis. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20206
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20212
Miranda, O. (2025). Unraveling the role of Pten in cortical stem cell lineage progression using MADM. Institute of Science and Technology Austria. 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, R. J. (2025). Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20234
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20276 | OA
Bhargava, M. (2025). Design and control of deformable structures: From PCB lighting displays to elastomer robots. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20276
[Published Version] View | Files available | DOI
 

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
 

Filters and Search Terms

department=GradSch

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed