A note on the verification of automata specifications of probabilistic real-time systems. - Arnaldo V. Moura; Guilherme A. Pinto (Inf. Process. Lett., 2002)

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 (BSB, 2007)

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 (BSB, 2008)

Classes of Timed Automata and the Undecidability of Universality. - Arnaldo V. Moura; Guilherme A. Pinto (Fundam. Informaticae, 2008)