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 |
A monitoring-oriented theory and classification of quantitative specifications
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
N.E. Sarac, A Monitoring-Oriented Theory and Classification of Quantitative Specifications, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20149 |
Coordination of protrusive forces in immune cell migration
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
P. Dos Reis Rodrigues, Coordination of Protrusive Forces in Immune Cell Migration , Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20167
The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs
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
H. Schön, The ER Complex SUTU-7/MACO-1 Regulates the Fate of MRNAs Encoding GPCRs, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 20184 |
| 
|
The low-fidelity DNA Pol IV accelerates evolution of pathogenicity genes in Pseudomonas aeruginosa
S.D. Castell, C.M. Fernandez, I.N. Tumas, L.M. Margara, M.C. Miserendino, D.G. Ceschin, R.J. Pezza, M.R. Monti, Communications Biology 8 (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
S.D. Castell, C.M. Fernandez, I.N. Tumas, L.M. Margara, M.C. Miserendino, D.G. Ceschin, R.J. Pezza, M.R. Monti, Communications Biology 8 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 20187 |
|
|
Biosynthesis of very long-chain fatty acids is required for Arabidopsis auxin-mediated embryonic and post-embryonic development
D. Babic, R. Abualia, L. Fiedler, L. Qi, F. Tellier, A. Smoljan, H. Rakusova, P. Valošek, H. Han, E. Benková, J.D. Faure, J. Friml, Plant Journal 123 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
D. Babic, R. Abualia, L. Fiedler, L. Qi, F. Tellier, A. Smoljan, H. Rakusova, P. Valošek, H. Han, E. Benková, J.D. Faure, J. Friml, Plant Journal 123 (2025).
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20203 |
Tribocharging of identical insulators : Triboelectric series, triboelectric cycles and surface charges
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
J.C.A. Sobarzo Ponce, Tribocharging of Identical Insulators : Triboelectric Series, Triboelectric Cycles and Surface Charges, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20206 |
Construction of a cryo-super-resolution microscope to guide in situ structure analysis
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
J. Vorlaufer, Construction of a Cryo-Super-Resolution Microscope to Guide in Situ Structure Analysis, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20212
Unraveling the role of Pten in cortical stem cell lineage progression using MADM
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
O. Miranda, Unraveling the Role of Pten in Cortical Stem Cell Lineage Progression Using MADM, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20234 |
Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games
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
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.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20276 |
Design and control of deformable structures: From PCB lighting displays to elastomer robots
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
M. Bhargava, Design and Control of Deformable Structures: From PCB Lighting Displays to Elastomer Robots, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20297 |
Limit-sure reachability for small memory policies in POMDPs is NP-complete
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, A. Shafiee, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 238–247.
[Published Version]
View
| Files available
| arXiv
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, A. Shafiee, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 238–247.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20299 |
Lower bound on Howard policy iteration for deterministic Markov Decision Processes
A. Asadi, K. Chatterjee, J. De Raaij, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 223–232.
[Published Version]
View
| Files available
| arXiv
A. Asadi, K. Chatterjee, J. De Raaij, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 223–232.
2025 |
Published |
Journal Article |
IST-REx-ID: 20324 |
|
|
Dual relaxation oscillations in a Josephson-junction array
S. Mukhopadhyay, D.A. Lancheros Naranjo, J.L. Senior, A.P. Higginbotham, Physical Review Applied 24 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Mukhopadhyay, D.A. Lancheros Naranjo, J.L. Senior, A.P. Higginbotham, Physical Review Applied 24 (2025).
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20339 |
Topological methods in discrete geometry and theoretical computer science : Measure partitioning and constraint satisfaction problems
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
G. Tasinato, Topological Methods in Discrete Geometry and Theoretical Computer Science : Measure Partitioning and Constraint Satisfaction Problems, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 20342 |
|
|
Safety and liveness of quantitative properties and automata
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, Logical Methods in Computer Science 21 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, Logical Methods in Computer Science 21 (2025).
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20357
Effect propagation in biological networks
N. Ruzickova, Effect Propagation in Biological Networks, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
N. Ruzickova, Effect Propagation in Biological Networks, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20362
Mechanisms of auxin-mediated early embryogenesis in Arabidopsis thaliana
D. Babic, Mechanisms of Auxin-Mediated Early Embryogenesis in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
D. Babic, Mechanisms of Auxin-Mediated Early Embryogenesis in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20364
Nuclear and cell surface auxin signaling in A. thaliana developmental transitions
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
C. Giannini, Nuclear and Cell Surface Auxin Signaling in A. Thaliana Developmental Transitions, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20371 |
High-impedance quantum circuits for mesoscopic physics : Geometric superinductors and insulating Josephson Chains
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
A. Trioni, High-Impedance Quantum Circuits for Mesoscopic Physics : Geometric Superinductors and Insulating Josephson Chains, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20393
Regulation of notochord and floor plate size during mouse development
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
K. Kishi, Regulation of Notochord and Floor Plate Size during Mouse Development, Institute of Science and Technology Austria, 2025.