| 2008 | ||
|---|---|---|
| 2 | M. Oliveira, Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro: CRefine: Support for the Circus Refinement Calculus. SEFM 2008: 281-290 | |
| 2001 | ||
| 1 | Ana Tereza R. Vasconcelos, L. Gonzaga, Rangel C. Souza, D. Q. Mendes, Roger F. C. Paixão, R. Kersanach, M. Oliveira, S. M. Martins, Andrew J. G. Simpson: A Tool for Automatic Genome Annotation. German Conference on Bioinformatics 2001: 231-232 | |