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.
311 Publications
2021 | Preprint | IST-REx-ID: 9200 | 
Garcia Soto M, Henzinger TA, Schilling C. Synthesis of hybrid automata with affine dynamics from time-series data. arXiv, .
View
| Files available
| arXiv
2021 | Conference Paper | IST-REx-ID: 9202 |
Garcia Soto M, Prabhakar P. 2021. Hybridization for stability verification of nonlinear switched systems. 2020 IEEE Real-Time Systems Symposium. RTTS: Real-Time Systems Symposium, 244–256.
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 9239
Avni G, Henzinger TA, Žikelić Đ. 2021. Bidding mechanisms in graph games. Journal of Computer and System Sciences. 119(8), 133–144.
View
| Files available
| DOI
2021 | Preprint | IST-REx-ID: 9281 |
Dubach G, Mühlböck F. Formal verification of Zagier’s one-sentence proof. arXiv, 2103.11389.
View
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 8912 |
Sarac NE, Altun ÖF, Atam KT, Karahoda S, Kaya K, Yenigün H. 2021. Boosting expensive synchronizing heuristics. Expert Systems with Applications. 167(4), 114203.
View
| Files available
| DOI