1. Regular tree model checking;Abdulla,2002
2. Conditional narrowing modulo in rewriting logic and maude;Aguirre,2014
3. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems;Alur,1993
4. A theory of timed automata;Alur;Theor. Comput. Sci.,1994
5. Adding nesting structure to words;Alur;J. ACM,2009