Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
ramseysimsub [2013/02/27 01:31]
rmayr [References]
ramseysimsub [2019/04/30 04:34] (current)
rmayr [References]
Line 26: Line 26:
  
 ====== References ====== ====== References ======
 +  *[[https://​lmcs.episciences.org/​5189 | Richard Mayr, Lorenzo Clemente. ​ Efficient reduction of nondeterministic automata with application to language inclusion testing. Logical Methods in Computer Science 15(1). 2019.]]
   *[[http://​www.inf.ed.ac.uk/​publications/​report/​1414.html | Richard Mayr, Lorenzo Clemente. Advanced Automata Minimization. POPL 2013. Extended Technical Report EDI-INF-RR-1414.]]   *[[http://​www.inf.ed.ac.uk/​publications/​report/​1414.html | Richard Mayr, Lorenzo Clemente. Advanced Automata Minimization. POPL 2013. Extended Technical Report EDI-INF-RR-1414.]]
   *[[http://​homepages.inf.ed.ac.uk/​rmayr/​tr-absim.pdf | Richard Mayr, Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holik, Chih-Duo Hong and Tomas Vojnar. Advanced Ramsey-based Buchi Automata Inclusion Testing. CONCUR 2011, volume 6901 in LNCS. 2011.]]   *[[http://​homepages.inf.ed.ac.uk/​rmayr/​tr-absim.pdf | Richard Mayr, Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holik, Chih-Duo Hong and Tomas Vojnar. Advanced Ramsey-based Buchi Automata Inclusion Testing. CONCUR 2011, volume 6901 in LNCS. 2011.]]
   * [[http://​www.fit.vutbr.cz/​units/​UITS/​pubs/​tr.php?​id=9207 | Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar: Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. CAV 2010: 132-147]]   * [[http://​www.fit.vutbr.cz/​units/​UITS/​pubs/​tr.php?​id=9207 | Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar: Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. CAV 2010: 132-147]]
  
ramseysimsub.1361899908.txt.gz · Last modified: 2013/02/27 01:31 by rmayr