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.
363 Publications
2023 | Research Data | IST-REx-ID: 12497 | 
Becker LM, Schanda P. 2023. Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues, Institute of Science and Technology Austria, 10.15479/AT:ISTA:12497.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12675 |
Becker LM, Berbon M, Vallet A, Grelard A, Morvan E, Bardiaux B, Lichtenecker R, Ernst M, Loquet A, Schanda P. 2023. The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle Spinning NMR of aromatic residues. Angewandte Chemie International Edition. 62(19), e202219314.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 12680 |
Ivanov G, Köse S. 2023. Erdős-Ko-Rado and Hilton-Milner theorems for two-forms. Discrete Mathematics. 346(6), 113363.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12724 |
Volosniev A, Shiva Kumar A, Lorenc D, Ashourishokri Y, Zhumekenov A, Bakr OM, Lemeshko M, Alpichshev Z. 2023. Effective model for studying optical properties of lead halide perovskites. Physical Review B. 107(12), 125201.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Conference Poster | IST-REx-ID: 12736 |
Aksenov V, Brown TA, Fedorov A, Kokorin I. 2023. Unexpected scaling in path copying trees, Association for Computing Machinery,p.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Published | Conference Abstract | IST-REx-ID: 14863 |
Polesello A, Muller CJ, Pasquero C, Meroni AN. 2023. Intensification mechanisms of tropical cyclones. EGU General Assembly 2023. EGU General Assembly, EGU23-6157.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12890 |
Klausen FR, Lauritsen AB. 2023. Stochastic cellular automaton model of culture formation. Physical Review E. 108(5), 054307.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2023 | Research Data | IST-REx-ID: 12869 |
Klausen FR, Lauritsen AB. 2023. Research data for: A stochastic cellular automaton model of culture formation, Institute of Science and Technology Austria, 10.15479/AT:ISTA:12869.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12545 |
Rojas Vega MN, De Castro P, Soto R. 2023. Wetting dynamics by mixtures of fast and slow self-propelled particles. Physical Review E. 107(1), 014608.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13120 |
Dvorak, Martin, Closure properties of general grammars - formally verified. 14th International Conference on Interactive Theorem Proving 268. 2023
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Thesis | IST-REx-ID: 14587 |
Marveggio, Alice, Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. 2023
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 13221 |
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Safety and liveness of quantitative automata. 34th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 279, 17.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13310 |
Henzinger TA, Karimi M, Kueffner K, Mallik K. 2023. Monitoring algorithmic fairness. Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13965, 358–382.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 12467 |
Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Quantitative safety and liveness. 26th International Conference Foundations of Software Science and Computation Structures. FOSSACS: Foundations of Software Science and Computation Structures, LNCS, vol. 13992, 349–370.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13292 |
Henzinger, Thomas A, Regular methods for operator precedence languages. 50th International Colloquium on Automata, Languages, and Programming 261. 2023
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Thesis | IST-REx-ID: 12716 |
Burnett L. 2023. To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14628 |
Makatura L, Wang B, Chen Y-L, Deng B, Wojtan C, Bickel B, Matusik W. 2023. Procedural metamaterials: A unified procedural graph for metamaterial design. ACM Transactions on Graphics. 42(5), 168.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Poster | IST-REx-ID: 15292 |
Chen Y-L, Ly M, Wojtan C. 2023. Unified treatment of contact, friction and shock-propagation in rigid body animation, ACM,p.
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 12676 |
Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. 2023. Faster algorithm for turn-based stochastic games with bounded treewidth. Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 4590–4605.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Published | Thesis | IST-REx-ID: 12826 |
Pokusaeva, Victoria, Neural control of optic flow-based navigation in Drosophila melanogaster. 2023
[Published Version]
View
| Files available
| DOI