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
Kolmogorov, V., Naldi, S., & Zapata, J. (2025). Certifying solutions of degenerate semidefinite programs. SIAM Journal on Optimization. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/24m1664691
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Thesis | PhD | IST-REx-ID: 19393 | OA
Karle, V. (2025). Non-equilibrium topological phases with periodically driven molecules and quantum rotors. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19393
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | MS | IST-REx-ID: 20735 | OA
Wilson, A. C. (2025). 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. https://doi.org/10.15479/AT-ISTA-20735
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20607
Mondal, S. (2025). Oxygen and sulfur redox: Conversion kinetics and phase equilibria. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20607
[Published Version] View | Files available | DOI
 

2025 | Draft | Preprint | IST-REx-ID: 21398 | OA
Dvorak, M., Figueroa-Reid, T., Hamadani, R., Hwang, B.-H., Karunus, E., Kolmogorov, V., … Sergeev, I. (n.d.). Composition direction of Seymour’s theorem for regular matroids — Formally verified. arXiv. https://doi.org/10.48550/arXiv.2509.20539
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20811 | OA
Rella, S. (2025). Adaptive processes in biology and culture: Models of evolving vaccine resistance and the record statistics of innovation. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20811
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20276 | OA
Bhargava, M. (2025). Design and control of deformable structures: From PCB lighting displays to elastomer robots. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20276
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20203 | OA
Sobarzo Ponce, J. C. A. (2025). Tribocharging of identical insulators: Triboelectric series, triboelectric cycles and surface charges. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20203
[Published Version] View | Files available | DOI
 

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

2025 | Published | Thesis | PhD | IST-REx-ID: 20371 | OA
Trioni, A. (2025). High-impedance quantum circuits for mesoscopic physics: Geometric superinductors and insulating Josephson Chains. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20371
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20339 | OA
Tasinato, G. (2025). Topological methods in discrete geometry and theoretical computer science: Measure partitioning and constraint satisfaction problems. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20339
[Published Version] View | Files available | DOI
 

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

2025 | Published | Journal Article | IST-REx-ID: 17037
Attia, L., Oliu-Barton, M., & Saona Urmeneta, R. J. (2025). Marginal values of a stochastic game. Mathematics of Operations Research. Institute for Operations Research and the Management Sciences. https://doi.org/10.1287/moor.2023.0297
View | Files available | DOI | WoS
 

2025 | Published | Thesis | PhD | IST-REx-ID: 19540 | OA
Henheik, S. J. (2025). Modeling complex quantum systems: Random matrices, BCS theory, and quantum lattice systems. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19540
[Published Version] View | Files available | DOI
 

earlier version | 2025 | Research Data | IST-REx-ID: 20641 | OA
Becker, L. M., & Schanda, P. (2025). Data for “Aromatic Ring Flips Reveal Reshaping of Protein Dynamics in Crystals and Complexes.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20641
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 20926 | OA
Kim, D., Wang, X., Vargas, S., Zhong, P., King, D. S., Inizan, T. J., & Cheng, B. (2025). A universal augmentation framework for long-range electrostatics in machine learning interatomic potentials. Journal of Chemical Theory and Computation. American Chemical Society. https://doi.org/10.1021/acs.jctc.5c01400
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20357
Ruzickova, N. (2025). Effect propagation in biological networks. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20357
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20074 | OA
Schmied, V. (2025). Human microglia impact neuronal development in retinal organoids. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20074
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 20342 | OA | PlanS
Boker, U., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2025). Safety and liveness of quantitative properties and automata. Logical Methods in Computer Science. EPI Sciences. https://doi.org/10.46298/lmcs-21(2:2)2025
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20147 | OA
Sarac, N. E. (2025). A monitoring-oriented theory and classification of quantitative specifications. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20147
[Published Version] View | Files available | DOI
 

Filters and Search Terms

department=Various

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed