| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Inclusion Testing of Büchi Automata Based on Well-Quasiorders | Doveri, Kyveli et al. | 2021 |
| 2 | A Quasiorder-Based Perspective on Residual Automata | Ganty, Pierre et al. | 2020 |
| 3 | A Congruence-based Perspective on Automata Minimization Algorithms | Ganty, Pierre et al. | 2019 |
| 4 | The Parikh Property for Weighted Context-Free Grammars | Ganty, Pierre et al. | 2018 |
| 5 | Verification of Immediate Observation Population Protocols | Esparza, Javier et al. | 2018 |
| 6 | Model Checking Population Protocols | Esparza, Javier et al. | 2016 |
| 7 | Verification of Population Protocols | Esparza, Javier et al. | 2015 |
| 8 | Approximating Petri Net Reachability Along Context-free Traces | Atig, Mohamed Faouzi et al. | 2011 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 8 |