Please note that LibreCat 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 |
Thesis | PhD |
IST-REx-ID: 19393 |
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 |
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 |
M. Dvorak et al., “Composition direction of Seymour’s theorem for regular matroids — Formally verified,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20811 |
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 |
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 |
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 |
M. Bhargava et al., “Mesh simplification for unfolding,” Computer Graphics Forum, vol. 44, no. 1. Wiley, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20371 |
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 |
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 |
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 |
L. M. Becker and P. Schanda, “Data for ‘Aromatic Ring Flips Reveal Reshaping of Protein Dynamics in Crystals and Complexes.’” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20926 |
D. Kim et al., “A universal augmentation framework for long-range electrostatics in machine learning interatomic potentials,” Journal of Chemical Theory and Computation, vol. 21, no. 24. American Chemical Society, pp. 12709–12724, 2025.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20074 |
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 |
| 
|
U. Boker, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Safety and liveness of quantitative properties and automata,” Logical Methods in Computer Science, vol. 21, no. 2. EPI Sciences, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20147 |
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
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 |
|
|
S. Knödlstorfer et al., “A novel HMBC-CC-HMQC NMR strategy for methyl assignment using triple-13C-labeled α-ketoisovalerate integrated with UCBShift 2.0,” Journal of Molecular Biology, vol. 437, no. 23. Elsevier, 2025.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19395 |
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 |
A. Monzer et al., “TMK interacting network of receptor like kinases for auxin canalization and beyond,” bioRxiv. .
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19684 |
G. Yalniz, “Transition to turbulence: Data-, solution-, and pattern-driven approaches,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI