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.
662 Publications
2023 | Journal Article | IST-REx-ID: 12675 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Becker, Lea Marie, et al. “The Rigid Core and Flexible Surface of Amyloid Fibrils Probed by Magic‐Angle Spinning NMR of Aromatic Residues.” Angewandte Chemie International Edition, vol. 62, no. 19, e202219314, Wiley, 2023, doi:10.1002/anie.202219314.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Research Data | IST-REx-ID: 12497 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Published Version]
View
| Files available
| DOI
2023 | Research Data | IST-REx-ID: 13126 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Published Version]
View
| Files available
| DOI
2023 | Research Data | IST-REx-ID: 13116 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13314 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dunajova, Zuzana, et al. “Chiral and Nematic Phases of Flexible Active Filaments.” Nature Physics, vol. 19, Springer Nature, 2023, pp. 1916–26, doi:10.1038/s41567-023-02218-w.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14257 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Michalska, Julia M., et al. “Imaging Brain Tissue Architecture across Millimeter to Nanometer Scales.” Nature Biotechnology, Springer Nature, 2023, doi:10.1038/s41587-023-01911-8.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2023 | Thesis | IST-REx-ID: 14280
Radler, Philipp. Spatiotemporal Signaling during Assembly of the Bacterial Divisome. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14280.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 13286 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Valentini, Marco. Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13286.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 15027 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Curk, Samo. Aggregation_data. Figshare, 2023.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 14758 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Majumdar, Rupak, et al. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” 35th International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 3–15, doi:10.1007/978-3-031-37709-9_1.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14654 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hwong, Yi-Ling, et al. “Assessing Memory in Convection Schemes Using Idealized Tests.” Journal of Advances in Modeling Earth Systems, vol. 15, no. 12, e2023MS003726, Wiley, 2023, doi:10.1029/2023MS003726.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13139 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Meggendorfer, Tobias. “Correct Approximation of Stationary Distributions.” 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.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Research Data Reference | IST-REx-ID: 14991 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hwong, Yi-Ling, et al. Data-Assessing Memory in Convection Schemes Using Idealized Tests. Zenodo, 2023, doi:10.5281/ZENODO.7757041.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14990 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Meggendorfer, Tobias. Artefact for: Correct Approximation of Stationary Distributions. Zenodo, 2023, doi:10.5281/ZENODO.7548214.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 14260 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Koval, Nikita, et al. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” 35th International Conference on Computer Aided Verification , vol. 13964, Springer Nature, 2023, pp. 156–69, doi:10.1007/978-3-031-37706-8_8.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 14995 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Koval, Nikita, et al. Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM. Zenodo, 2023, doi:10.5281/ZENODO.7877757.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14994 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Majumdar, Rupak, et al. A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. Zenodo, 2023, doi:10.5281/ZENODO.7877790.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 15023 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zikelic, Dorde, et al. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” 37th Conference on Neural Information Processing Systems, 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14993 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Published Version]
View
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 14076 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chalupa, Marek, and Thomas A. Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” 23nd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 168–90, doi:10.1007/978-3-031-44267-4_9.
[Published Version]
View
| Files available
| DOI