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 NE. A monitoring-oriented theory and classification of quantitative specifications. 2025. doi:10.15479/AT-ISTA-20147
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20149 |
Dos Reis Rodrigues P. Coordination of protrusive forces in immune cell migration . 2025. doi:10.15479/AT-ISTA-20149
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20167
Schön H. The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs. 2025. doi:10.15479/AT-ISTA-20167
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20184 |
| 
|
Castell SD, Fernandez CM, Tumas IN, et al. The low-fidelity DNA Pol IV accelerates evolution of pathogenicity genes in Pseudomonas aeruginosa. Communications Biology. 2025;8. 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 D, Abualia R, Fiedler L, et al. Biosynthesis of very long-chain fatty acids is required for Arabidopsis auxin-mediated embryonic and post-embryonic development. Plant Journal. 2025;123(3). 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 JCA. Tribocharging of identical insulators : Triboelectric series, triboelectric cycles and surface charges. 2025. doi:10.15479/AT-ISTA-20203
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20206 |
Vorlaufer J. Construction of a cryo-super-resolution microscope to guide in situ structure analysis. 2025. doi:10.15479/AT-ISTA-20206
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20212
Miranda O. Unraveling the role of Pten in cortical stem cell lineage progression using MADM. 2025. doi:10.15479/AT-ISTA-20212
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20234 |
Saona Urmeneta RJ. Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games. 2025. doi:10.15479/AT-ISTA-20234
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20276 |
Bhargava M. Design and control of deformable structures: From PCB lighting displays to elastomer robots. 2025. doi:10.15479/AT-ISTA-20276
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Conference Paper |
IST-REx-ID: 20297 |
Asadi A, Chatterjee K, Saona Urmeneta RJ, Shafiee A. Limit-sure reachability for small memory policies in POMDPs is NP-complete. In: The 41st Conference on Uncertainty in Artificial Intelligence. Vol 286. ML Research Press; 2025:238-247.
[Published Version]
View
| Files available
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20299 |
Asadi A, Chatterjee K, De Raaij J. Lower bound on Howard policy iteration for deterministic Markov Decision Processes. In: The 41st Conference on Uncertainty in Artificial Intelligence. Vol 286. ML Research Press; 2025:223-232.
[Published Version]
View
| Files available
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 20324 |
|
|
Mukhopadhyay S, Lancheros Naranjo DA, Senior JL, Higginbotham AP. Dual relaxation oscillations in a Josephson-junction array. Physical Review Applied. 2025;24. doi:10.1103/qvls-7s3q
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20339 |
Tasinato G. Topological methods in discrete geometry and theoretical computer science : Measure partitioning and constraint satisfaction problems. 2025. doi:10.15479/AT-ISTA-20339
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20342 |
|
|
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. Safety and liveness of quantitative properties and automata. Logical Methods in Computer Science. 2025;21(2). 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 N. Effect propagation in biological networks. 2025. doi:10.15479/AT-ISTA-20357
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20362
Babic D. Mechanisms of auxin-mediated early embryogenesis in Arabidopsis thaliana. 2025. doi:10.15479/AT-ISTA-20362
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20364
Giannini C. Nuclear and cell surface auxin signaling in A. thaliana developmental transitions. 2025. doi:10.15479/AT-ISTA-20364
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20371 |
Trioni A. High-impedance quantum circuits for mesoscopic physics : Geometric superinductors and insulating Josephson Chains. 2025. doi:10.15479/AT-ISTA-20371
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20393
Kishi K. Regulation of notochord and floor plate size during mouse development. 2025. doi:10.15479/AT-ISTA-20393
[Published Version]
View
| Files available
| DOI