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
N. E. Sarac, “A monitoring-oriented theory and classification of quantitative specifications,” Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20149 | OA
P. Dos Reis Rodrigues, “Coordination of protrusive forces in immune cell migration ,” Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20167
H. Schön, “The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs,” Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 20184 | OA | PlanS
S. D. Castell et al., “The low-fidelity DNA Pol IV accelerates evolution of pathogenicity genes in Pseudomonas aeruginosa,” Communications Biology, vol. 8. Springer Nature, 2025.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 20187 | OA | PlanS
D. Babic 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. Wiley, 2025.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20203 | OA
J. C. A. Sobarzo Ponce, “Tribocharging of identical insulators : Triboelectric series, triboelectric cycles and surface charges,” Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20206 | OA
J. Vorlaufer, “Construction of a cryo-super-resolution microscope to guide in situ structure analysis,” Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20212
O. Miranda, “Unraveling the role of Pten in cortical stem cell lineage progression using MADM,” Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20234 | OA
R. J. Saona Urmeneta, “Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games,” Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20276 | OA
M. Bhargava, “Design and control of deformable structures: From PCB lighting displays to elastomer robots,” Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 

2025 | Published | Conference Paper | IST-REx-ID: 20297 | OA
A. Asadi, K. Chatterjee, R. J. Saona Urmeneta, and A. Shafiee, “Limit-sure reachability for small memory policies in POMDPs is NP-complete,” in The 41st Conference on Uncertainty in Artificial Intelligence, Rio de Janeiro, Brazil, 2025, vol. 286, pp. 238–247.
[Published Version] View | Files available | arXiv
 

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

2025 | Published | Journal Article | IST-REx-ID: 20324 | OA | PlanS
S. Mukhopadhyay, D. A. Lancheros Naranjo, J. L. Senior, and A. P. Higginbotham, “Dual relaxation oscillations in a Josephson-junction array,” Physical Review Applied, vol. 24. American Physical Society, 2025.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20339 | OA
G. Tasinato, “Topological methods in discrete geometry and theoretical computer science : Measure partitioning and constraint satisfaction problems,” Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 20342 | OA | PlanS
U. Boker, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “ Safety and liveness of quantitative properties and automata,” Logical Methods in Computer Science, vol. 21, no. 2. EPI Sciences, 2025.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20357
N. Ruzickova, “Effect propagation in biological networks,” Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20362
D. Babic, “Mechanisms of auxin-mediated early embryogenesis in Arabidopsis thaliana,” Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20364
C. Giannini, “Nuclear and cell surface auxin signaling in A. thaliana developmental transitions,” Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20371 | OA
A. Trioni, “High-impedance quantum circuits for mesoscopic physics : Geometric superinductors and insulating Josephson Chains,” Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20393
K. Kishi, “Regulation of notochord and floor plate size during mouse development,” Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

department=GradSch

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed