Guilherme A. Pinto

Publication Activity (10 Years)

Years Active: 2002-2008
Publications (10 Years): 0

Publications

Arnaldo V. Moura, Guilherme A. Pinto
Classes of Timed Automata and the Undecidability of Universality. Fundam. Informaticae 82 (1-2) (2008)
Cleber V. G. Mira, Zanoni Dias, Hederson P. Santos, Guilherme A. Pinto, Maria Emília M. T. Walter
Transposition Distance Based on the Algebraic Formalism. BSB (2008)
Daniel A. S. Anjos, Gustavo G. Zerlotini, Guilherme A. Pinto, Maria Emília Telles Walter, Marcelo M. Brigido, Guilherme P. Telles, Carlos Juliano M. Viana, Nalvo F. Almeida
A Method for Inferring Biological Functions Using Homologous Genes Among Three Genomes. BSB (2007)
Arnaldo V. Moura, Guilherme A. Pinto
Classes of Timed Automata and the Undecidability of Universality. Electron. Notes Theor. Comput. Sci. 65 (6) (2002)
Arnaldo V. Moura, Guilherme A. Pinto
A note on the verification of automata specifications of probabilistic real-time systems. Inf. Process. Lett. 82 (5) (2002)