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.
5146 Publications
2023 |Published| Conference Paper | IST-REx-ID: 14411 | 
Beneš, Nikola, et al. “Phenotype Control of Partially Specified Boolean Networks.” 21st International Conference on Computational Methods in Systems Biology, vol. 14137, Springer Nature, 2023, pp. 18–35, doi:10.1007/978-3-031-42697-1_2.
[Submitted Version]
View
| Files available
| DOI
2023 |Published| Book Chapter | IST-REx-ID: 14992 |
Lewin, Mathieu, et al. “Universal Functionals in Density Functional Theory.” Density Functional Theory, edited by Eric Cances and Gero Friesecke, 1st ed., Springer, 2023, pp. 115–82, doi:10.1007/978-3-031-22340-2_3.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12675 |
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 |
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 |
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 |
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 |Published| Journal Article | IST-REx-ID: 13314 |
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 |Epub ahead of print| Journal Article | IST-REx-ID: 14257 |
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 |Published| 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 |Published| Thesis | IST-REx-ID: 13286 |
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 |
Curk, Samo. Aggregation_data. Figshare, 2023.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 14758 |
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 |Published| Journal Article | IST-REx-ID: 14654 |
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 |Published| Conference Paper | IST-REx-ID: 13139 |
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 |
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 |
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 |Published| Conference Paper | IST-REx-ID: 14260 |
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 |
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 |
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 |Epub ahead of print| Conference Paper | IST-REx-ID: 15023 |
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