Guilherme A. Pinto

According to our database, Guilherme A. Pinto authored at least 4 papers between 2002 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

Classes of Timed Automata and the Undecidability of Universality.

Arnaldo V. Moura, Guilherme A. Pinto

Fundam. Informaticae, 2008

Transposition Distance Based on the Algebraic Formalism.

Cleber V. G. Mira, Zanoni Dias, Hederson P. Santos, Guilherme A. Pinto, Maria Emília M. T. Walter

Proceedings of the Advances in Bioinformatics and Computational Biology, 2008

2007

A Method for Inferring Biological Functions Using Homologous Genes Among Three Genomes.

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

Proceedings of the Advances in Bioinformatics and Computational Biology, 2007

2002

A note on the verification of automata specifications of probabilistic real-time systems.

Arnaldo V. Moura, Guilherme A. Pinto

Inf. Process. Lett., 2002