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.
309 Publications
2020 | Conference Paper | IST-REx-ID: 8287 |

Bogomolov, Sergiy, et al. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” Proceedings of the International Conference on Embedded Software.
View
| Files available
| arXiv
2020 | Thesis | IST-REx-ID: 8332 |

Kragl, Bernhard. Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization. IST Austria, 2020, doi:10.15479/AT:ISTA:8332.
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8571 |

Geretti, Luca, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” EPiC Series in Computing, vol. 74, EasyChair, 2020, pp. 49–75, doi:10.29007/zkf6.
View
| DOI
| Download Published Version (ext.)
2020 | Conference Paper | IST-REx-ID: 8572 |

Althoff, Matthias, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Dynamics.” EPiC Series in Computing, vol. 74, EasyChair, 2020, pp. 16–48, doi:10.29007/7dt2.
View
| DOI
| Download Published Version (ext.)
2020 | Conference Paper | IST-REx-ID: 8599 |

Avni, Guy, and Thomas A. Henzinger. “A Survey of Bidding Games on Graphs.” 31st International Conference on Concurrency Theory, vol. 171, 2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.CONCUR.2020.2.
View
| Files available
| DOI