Becker, Lea Marie, et al. “The Rigid Core and Flexible Surface of Amyloid Fibrils Probed by MagicAngle Spinning NMR of Aromatic Residues.”10.1002/anie.202219314__Angewandte Chemie International Edition, vol. 62, no. 19, e202219314, Wiley, 2023, doi:10.1002/anie.202219314.
LibreCat: https://research-explorer.ista.ac.at/record/12675
DOI: 10.1002/anie.202219314
WoS: 000956919900001
PMID: 36738230

Becker, Lea Marie, and Paul Schanda. 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, 2023, doi:10.15479/AT:ISTA:12497.
LibreCat: https://research-explorer.ista.ac.at/record/12497
DOI: 10.15479/AT:ISTA:12497

Danzl, Johann G. Research Data for the Publication “Imaging Brain Tissue Architecture across Millimeter to Nanometer Scales.” Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:13126.
LibreCat: https://research-explorer.ista.ac.at/record/13126
DOI: 10.15479/AT:ISTA:13126

Dunajova, Zuzana, et al. Chiral and Nematic Phases of Flexible Active Filaments. Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:13116.
LibreCat: https://research-explorer.ista.ac.at/record/13116
DOI: 10.15479/AT:ISTA:13116

Dunajova, Zuzana, et al. “Chiral and Nematic Phases of Flexible Active Filaments.”10.1038/s41567-023-02218-w__Nature Physics, vol. 19, Springer Nature, 2023, pp. 1916–26, doi:10.1038/s41567-023-02218-w.
LibreCat: https://research-explorer.ista.ac.at/record/13314
DOI: 10.1038/s41567-023-02218-w
PMID: 38075437

Michalska, Julia M., et al. “Imaging Brain Tissue Architecture across Millimeter to Nanometer Scales.”10.1038/s41587-023-01911-8__Nature Biotechnology, Springer Nature, 2023, doi:10.1038/s41587-023-01911-8.
LibreCat: https://research-explorer.ista.ac.at/record/14257
DOI: 10.1038/s41587-023-01911-8
WoS: 001065254200001

Radler, Philipp. Spatiotemporal Signaling during Assembly of the Bacterial Divisome. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14280.
LibreCat: https://research-explorer.ista.ac.at/record/14280
DOI: 10.15479/at:ista:14280

Valentini, Marco. Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevicesf: From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13286.
LibreCat: https://research-explorer.ista.ac.at/record/13286
DOI: 10.15479/at:ista:13286

Curk, Samo. Aggregation_data. Figshare, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/15027

Majumdar, Rupak, et al. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.”10.1007/978-3-031-37709-9_1__35th International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 3–15, doi:10.1007/978-3-031-37709-9_1.
LibreCat: https://research-explorer.ista.ac.at/record/14758
DOI: 10.1007/978-3-031-37709-9_1

Hwong, Yi-Ling, et al. “Assessing Memory in Convection Schemes Using Idealized Tests.”10.1029/2023MS003726__Journal of Advances in Modeling Earth Systems, vol. 15, no. 12, e2023M3726, Wiley, 2023, doi:10.1029/2023MS003726.
LibreCat: https://research-explorer.ista.ac.at/record/14654
DOI: 10.1029/2023MS003726

Meggendorfer, Tobias. “Correct Approximation of Stationary Distributions.”10.1007/978-3-031-30823-9_25__TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, vol. 13993, Springer Nature, 2023, pp. 489–507, doi:10.1007/978-3-031-30823-9_25.
LibreCat: https://research-explorer.ista.ac.at/record/13139
DOI: 10.1007/978-3-031-30823-9_25
arXiv: 2301.08137

Hwong, Yi-Ling, et al. Data-Assessing Memory in Convection Schemes Using Idealized Tests. Zenodo, 2023, doi:10.5281/ZENODO.7757041.
LibreCat: https://research-explorer.ista.ac.at/record/14991
DOI: 10.5281/ZENODO.7757041

Meggendorfer, Tobias. Artefact for: Correct Approximation of Stationary Distributions. Zenodo, 2023, doi:10.5281/ZENODO.7548214.
LibreCat: https://research-explorer.ista.ac.at/record/14990
DOI: 10.5281/ZENODO.7548214

Koval, Nikita, et al. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.”10.1007/978-3-031-37706-8_8__35th International Conference on Computer Aided Verification , vol. 13964, Springer Nature, 2023, pp. 156–69, doi:10.1007/978-3-031-37706-8_8.
LibreCat: https://research-explorer.ista.ac.at/record/14260
DOI: 10.1007/978-3-031-37706-8_8

Koval, Nikita, et al. Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM. Zenodo, 2023, doi:10.5281/ZENODO.7877757.
LibreCat: https://research-explorer.ista.ac.at/record/14995
DOI: 10.5281/ZENODO.7877757

Majumdar, Rupak, et al. A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. Zenodo, 2023, doi:10.5281/ZENODO.7877790.
LibreCat: https://research-explorer.ista.ac.at/record/14994
DOI: 10.5281/ZENODO.7877790

Zikelic, Dorde, et al. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” 37th Conference on Neural Information Processing Systems, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/15023
arXiv: 2312.01456

Currin, Christopher, et al. “A Framework for Grassroots Research Collaboration in Machine Learning and Global Health.” 1st Workshop on Machine Learning &; Global Health, OpenReview, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14993

Chalupa, Marek, and Thomas A. Henzinger. “Monitoring Hyperproperties with Prefix Transducers.”10.1007/978-3-031-44267-4_9__23nd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 168–90, doi:10.1007/978-3-031-44267-4_9.
LibreCat: https://research-explorer.ista.ac.at/record/14076
DOI: 10.1007/978-3-031-44267-4_9