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 |
Karle V. Non-equilibrium topological phases with periodically driven molecules and quantum rotors. 2025. doi:10.15479/AT-ISTA-19393
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | MS |
IST-REx-ID: 20735 |
Wilson AC. Modelling the spinal cord of a tadpole: Exploring different ways to model the spinal cord in the Xenopus frog. 2025. doi:10.15479/AT-ISTA-20735
[Published Version]
View
| Files available
| DOI
2025 |
Draft |
Preprint |
IST-REx-ID: 21398 |
Dvorak M, Figueroa-Reid T, Hamadani R, et al. Composition direction of Seymour’s theorem for regular matroids — Formally verified. arXiv. doi:10.48550/arXiv.2509.20539
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20811 |
Rella S. Adaptive processes in biology and culture: Models of evolving vaccine resistance and the record statistics of innovation. 2025. doi:10.15479/AT-ISTA-20811
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20276 |
Bhargava M. Design and control of deformable structures: From PCB lighting displays to elastomer robots. 2025. doi:10.15479/AT-ISTA-20276
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20203 |
Sobarzo Ponce JCA. Tribocharging of identical insulators: Triboelectric series, triboelectric cycles and surface charges. 2025. doi:10.15479/AT-ISTA-20203
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 18565 |
Bhargava M, Schreck C, Freire M, et al. Mesh simplification for unfolding. Computer Graphics Forum. 2025;44(1). doi:10.1111/cgf.15269
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20371 |
Trioni A. High-impedance quantum circuits for mesoscopic physics: Geometric superinductors and insulating Josephson Chains. 2025. doi:10.15479/AT-ISTA-20371
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20339 |
Tasinato G. Topological methods in discrete geometry and theoretical computer science: Measure partitioning and constraint satisfaction problems. 2025. doi:10.15479/AT-ISTA-20339
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19540 |
Henheik SJ. Modeling complex quantum systems: Random matrices, BCS theory, and quantum lattice systems. 2025. doi:10.15479/AT-ISTA-19540
[Published Version]
View
| Files available
| DOI
earlier version | 2025 |
Research Data |
IST-REx-ID: 20641 |
Becker LM, Schanda P. Data for “Aromatic Ring Flips Reveal Reshaping of Protein Dynamics in Crystals and Complexes.” 2025. doi:10.15479/AT-ISTA-20641
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20926 |
Kim D, Wang X, Vargas S, et al. A universal augmentation framework for long-range electrostatics in machine learning interatomic potentials. Journal of Chemical Theory and Computation. 2025;21(24):12709-12724. doi:10.1021/acs.jctc.5c01400
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20074 |
Schmied V. Human microglia impact neuronal development in retinal organoids. 2025. doi:10.15479/AT-ISTA-20074
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20342 |
| 
|
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. Safety and liveness of quantitative properties and automata. Logical Methods in Computer Science. 2025;21(2). doi:10.46298/lmcs-21(2:2)2025
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20147 |
Sarac NE. A monitoring-oriented theory and classification of quantitative specifications. 2025. doi:10.15479/AT-ISTA-20147
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20167
Schön H. The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs. 2025. doi:10.15479/AT-ISTA-20167
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20538 |
|
|
Knödlstorfer S, Toscano G, Ptaszek AL, 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. 2025;437(23). doi:10.1016/j.jmb.2025.169465
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19395 |
Monzer A. Cell-surface auxin signaling: Linking molecular pathways to plant development. 2025. doi:10.15479/AT-ISTA-19395
[Published Version]
View
| Files available
| DOI
2025 |
Draft |
Preprint |
IST-REx-ID: 19398 |
Monzer A, Mazur E, Rodriguez Solovey L, et al. TMK interacting network of receptor like kinases for auxin canalization and beyond. bioRxiv. doi:10.1101/2025.02.28.640727
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19684 |
Yalniz G. Transition to turbulence: Data-, solution-, and pattern-driven approaches. 2025. doi:10.15479/AT-ISTA-19684
[Published Version]
View
| Files available
| DOI