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.

588 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 | Published | Thesis | PhD | IST-REx-ID: 20607
Oxygen and sulfur redox: Conversion kinetics and phase equilibria
S. Mondal, Oxygen and Sulfur Redox: Conversion Kinetics and Phase Equilibria, 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: 20234 | OA
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
 

2025 | Published | Journal Article | IST-REx-ID: 17037
Marginal values of a stochastic game
L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research 50 (2025) 482–505.
View | Files available | DOI | WoS
 

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: 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
 

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
 

Filters and Search Terms

department=Various

Search

Filter Publications

Display / Sort

Export / Embed