Differences
This shows you the differences between two versions of the page.
| 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) | ||