|
Search the dblp DataBase
Guilherme A. Pinto:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Arnaldo V. Moura, Guilherme A. Pinto
Classes of Timed Automata and the Undecidability of Universality. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
- Arnaldo V. Moura, Guilherme A. Pinto
A note on the verification of automata specifications of probabilistic real-time systems. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2002, v:82, n:5, pp:223-228 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] BSB, 2007, pp:69-80 [Conf]
Transposition Distance Based on the Algebraic Formalism. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|