| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| 2009 | Mediating for Reduction (on Minimizing Alternating Buchi Automata) | P.A. Abdulla; Y.-F. Chen; L. Holik; T. Vojnar | ||||
| 2010 | Simulation Subsumption in Ramsey-based Buchi Automata Universality and Inclusion Testing | P.A. Abdulla; Y.-F. Chen; L.o Clemente; L. Holik; C.-D. Hong; R. Mayr; T. Vojnar | ||||
| 2010 | When Simulation Meets Antichain (on Language Inclusion Checking of NFA/TA) (Best Paper Award) | P.A. Abdulla; Y.-F. Chen; L. Holik; R. Mayr; T. Vojnar |
