Search the dblp DataBase

Publications of Author

1. Parosh Aziz Abdulla, Joël Ouaknine, Karin Quaas, James Worrell
   Zone-Based Universality Analysis for Single-Clock Timed Automata. [Citation Graph (0, 0)][DBLP]
   FSEN, 2007, pp:98-112 [Conf]
   
2. 
   Weighted Timed MSO Logics. [Citation Graph (, )][DBLP]
   
   
3. 
   On the Supports of Recognizable Timed Series. [Citation Graph (, )][DBLP]
   
   
4. 
   A Kleene-Schützenberger Theorem for Weighted Timed Automata. [Citation Graph (, )][DBLP]