Differences

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

Link to this comparison view

Both sides previous revision Previous revision
news [2012/10/29 22:55]
rmayr
news [2016/03/04 23:35] (current)
rmayr
Line 1: Line 1:
 ======News====== ======News======
 +  * Ricardo Almeida, Lukas Holik, Richard Mayr. Reduction of Nondeterministic Tree Automata. TACAS 2016, LNCS 9636. Eindhoven, The Netherlands. 2016. [[http://​arxiv.org/​abs/​1512.08823|Arxiv]].
   * Our paper "​Advanced Automata Minimization"​ is accepted at [[http://​popl.mpi-sws.org/​2013/​|POPL 2013]]. For an extended version see [[http://​www.inf.ed.ac.uk/​publications/​report/​1414.html|Technical report EDI-INF-RR-1414]]. (2012/​10/​29)   * Our paper "​Advanced Automata Minimization"​ is accepted at [[http://​popl.mpi-sws.org/​2013/​|POPL 2013]]. For an extended version see [[http://​www.inf.ed.ac.uk/​publications/​report/​1414.html|Technical report EDI-INF-RR-1414]]. (2012/​10/​29)
   * Our paper "​Advanced Ramsey-based Buchi Automata Inclusion Testing"​ is accepted to [[http://​concur2011.rwth-aachen.de/​about/​concuraccepted|CONCUR]]. (2011/5/30)   * Our paper "​Advanced Ramsey-based Buchi Automata Inclusion Testing"​ is accepted to [[http://​concur2011.rwth-aachen.de/​about/​concuraccepted|CONCUR]]. (2011/5/30)
news.txt ยท Last modified: 2016/03/04 23:35 by rmayr