Classes of Timed Automata and the Undecidability of Universality
On Almost Deterministic Timed Automata
Additively Weighted Voronoi Diagram on the Oriented Projective Plane
A Semi-decision Procedure for Testing Language Inclusion of Nondeterministic Timed Automata
On the Verification of Nondeterministic Automata Specifications of Probabilistic Real-Time Systems
Representing Conics using the Oriented Projective Plane
IC Technical Reports 2001
IC Technical Reports 2000
IC Technical Reports 1999
IC Technical Reports 1998
Arnaldo V. Moura
Pedro J. de Rezende