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.

618 Publications


2025 | Published | Journal Article | IST-REx-ID: 21144 | OA
Certifying solutions of degenerate semidefinite programs
V. Kolmogorov, S. Naldi, J. Zapata, SIAM Journal on Optimization 35 (2025) 1630–1654.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Thesis | PhD | IST-REx-ID: 19393 | OA
Non-equilibrium topological phases with periodically driven molecules and quantum rotors
V. Karle, Non-Equilibrium Topological Phases with Periodically Driven Molecules and Quantum Rotors, Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | MS | IST-REx-ID: 20735 | OA
Modelling the spinal cord of a tadpole: Exploring different ways to model the spinal cord in the Xenopus frog
A.C. Wilson, Modelling the Spinal Cord of a Tadpole: Exploring Different Ways to Model the Spinal Cord in the Xenopus Frog, Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 

2025 | Draft | Preprint | IST-REx-ID: 21398 | OA
Composition direction of Seymour's theorem for regular matroids — Formally verified
M. Dvorak, T. Figueroa-Reid, R. Hamadani, B.-H. Hwang, E. Karunus, V. Kolmogorov, A. Meiburg, A. Nelson, P. Nelson, M. Sandey, I. Sergeev, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20811 | OA
Adaptive processes in biology and culture: Models of evolving vaccine resistance and the record statistics of innovation
S. Rella, Adaptive Processes in Biology and Culture: Models of Evolving Vaccine Resistance and the Record Statistics of Innovation, Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20276 | OA
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
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20203 | OA
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
 

2025 | Published | Journal Article | IST-REx-ID: 18565 | OA
Mesh simplification for unfolding
M. Bhargava, C. Schreck, M. Freire, P.A. Hugron, S. Lefebvre, S. Sellán, B. Bickel, Computer Graphics Forum 44 (2025).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20371 | OA
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
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20339 | OA
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
 

2025 | Published | Thesis | PhD | IST-REx-ID: 19540 | OA
Modeling complex quantum systems: Random matrices, BCS theory, and quantum lattice systems
S.J. Henheik, Modeling Complex Quantum Systems: Random Matrices, BCS Theory, and Quantum Lattice Systems, Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 

earlier version | 2025 | Research Data | IST-REx-ID: 20641 | OA
Data for "Aromatic Ring Flips Reveal Reshaping of Protein Dynamics in Crystals and Complexes"
L.M. Becker, P. Schanda, (2025).
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 20926 | OA
A universal augmentation framework for long-range electrostatics in machine learning interatomic potentials
D. Kim, X. Wang, S. Vargas, P. Zhong, D.S. King, T.J. Inizan, B. Cheng, Journal of Chemical Theory and Computation 21 (2025) 12709–12724.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20074 | OA
Human microglia impact neuronal development in retinal organoids
V. Schmied, Human Microglia Impact Neuronal Development in Retinal Organoids, Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 20342 | OA | PlanS
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
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20147 | OA
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
 

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
 

2025 | Published | Journal Article | IST-REx-ID: 20538 | OA | PlanS
A novel HMBC-CC-HMQC NMR strategy for methyl assignment using triple-13C-labeled α-ketoisovalerate integrated with UCBShift 2.0
S. Knödlstorfer, G. Toscano, A.L. Ptaszek, G. Kontaxis, F. Napoli, J. Schneider, K. Maier, A. Kapitonova, R.J. Lichtenecker, P. Schanda, R. Konrat, Journal of Molecular Biology 437 (2025).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2025 | Published | Thesis | PhD | IST-REx-ID: 19395 | OA
Cell-surface auxin signaling: Linking molecular pathways to plant development
A. Monzer, Cell-Surface Auxin Signaling: Linking Molecular Pathways to Plant Development, Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 

2025 | Draft | Preprint | IST-REx-ID: 19398 | OA
TMK interacting network of receptor like kinases for auxin canalization and beyond
A. Monzer, E. Mazur, L. Rodriguez Solovey, M.C. Gallei, M. Zou, M. Smejkal, E. Cervenova, J. Friml, BioRxiv (n.d.).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

Filters and Search Terms

department=Various

Search

Filter Publications

Display / Sort

Export / Embed