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.
5991 Publications
2025 | Published | Conference Paper | IST-REx-ID: 19666 | 
Meggendorfer T, Weininger M, Wienhöft P. Solving robust Markov decision processes: Generic, reliable, efficient. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:26631-26641. doi:10.1609/aaai.v39i25.34865
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19936 |
Bedarkar K, Elbeheiry L, Sammler MJ, et al. RefinedProsa: Connecting response-time analysis with C verification for interrupt-free schedulers. Proceedings of the ACM on Programming Languages. 2025;9(PLDI):73-97. doi:10.1145/3729249
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19935 |
Spies S, Mück N, Zeng H, et al. Destabilizing Iris. Proceedings of the ACM on Programming Languages. 2025;9(PLDI):848-873. doi:10.1145/3729284
[Published Version]
View
| Files available
| DOI
2025 | Research Data | IST-REx-ID: 19885 |
Saez Mollejo J. Automated All-RF Tuning for Spin Qubit Readout and Control. 2025. doi:10.15479/AT:ISTA:19885
[Published Version]
View
| Files available
| DOI
2025 | Research Data | IST-REx-ID: 19915 |
Springstein BL. Files for “Evolutionary repurposing of a DNA segregation machinery into a cytoskeletal system controlling cyanobacterial cell shape.” 2025. doi:10.15479/AT:ISTA:19915
View
| Files available
| DOI