 | 2008 |
|---|
| 5 |       | Cleber V. G. Mira,
Zanoni Dias,
Hederson P. Santos,
Guilherme A. Pinto,
Maria Emilia M. T. Walter:
Transposition Distance Based on the Algebraic Formalism.
BSB 2008: 115-126 |
| 4 | | Arnaldo V. Moura,
Guilherme A. Pinto:
Classes of Timed Automata and the Undecidability of Universality.
Fundam. Inform. 82(1-2): 171-184 (2008) |
| 2007 |
|---|
| 3 | | Daniel A. S. Anjos,
Gustavo G. Zerlotini,
Guilherme A. Pinto,
Maria Emilia 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: 69-80 |
| 2002 |
|---|
| 2 | | Arnaldo V. Moura,
Guilherme A. Pinto:
Classes of Timed Automata and the Undecidability of Universality.
Electr. Notes Theor. Comput. Sci. 65(6): (2002) |
| 1 | | Arnaldo V. Moura,
Guilherme A. Pinto:
A note on the verification of automata specifications of probabilistic real-time systems.
Inf. Process. Lett. 82(5): 223-228 (2002) |
