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, T. A., & Schilling, C. (n.d.). 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. In 2020 IEEE Real-Time Systems Symposium (pp. 244–256). Houston, TX, USA : IEEE. https://doi.org/10.1109/RTSS49844.2020.00031
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 9239
Avni, G., Henzinger, T. A., & Žikelić, Đ. (2021). Bidding mechanisms in graph games. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2021.02.008
View
| Files available
| DOI
2021 | Preprint | IST-REx-ID: 9281 |

Dubach, G., & Mühlböck, F. (n.d.). Formal verification of Zagier’s one-sentence proof. arXiv.
View
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 8912 |

Sarac, N. E., Altun, Ö. F., Atam, K. T., Karahoda, S., Kaya, K., & Yenigün, H. (2021). Boosting expensive synchronizing heuristics. Expert Systems with Applications. Elsevier. https://doi.org/10.1016/j.eswa.2020.114203
View
| Files available
| DOI