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.
5017 Publications
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 |
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 | 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 | 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 | 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 | 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 | 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
2023 | Conference Paper | IST-REx-ID: 14993 |
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 |
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
2023 | Conference Paper | IST-REx-ID: 14743 |
Tennage, Pasindu, et al. “QuePaxa: Escaping the Tyranny of Timeouts in Consensus.” Proceedings of the 29th Symposium on Operating Systems Principles, Association for Computing Machinery, 2023, pp. 281–97, doi:10.1145/3600006.3613150.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Conference Abstract | IST-REx-ID: 14748
Chen, Yi-Lu, et al. “Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation.” Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, 5, Association for Computing Machinery, 2023, doi:10.1145/3606037.3606836.
View
| DOI
2023 | Research Data Reference | IST-REx-ID: 15035 |
Chalupa, Marek, and Thomas A. Henzinger. Monitoring Hyperproperties with Prefix Transducers. Zenodo, 2023, doi:10.5281/ZENODO.8191723.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Thesis | IST-REx-ID: 13984
Franschitz, Anna. Individual and Social Immunity against Viral Infections in Ants. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13984.
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 15039 |
Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More Expressive with N-Activations.” ArXiv, 2311.06103, doi:10.48550/ARXIV.2311.06103.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data Reference | IST-REx-ID: 14812 |
Stankowski, Sean. Data and Code for: The Genetic Architecture of a Recent Transition to Live-Bearing in Marine Snails. Zenodo, 2023, doi:10.5281/ZENODO.8318995.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)