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) |