Artigos selecionados
M. Cornelio; CAVALCANTI, A.; Sampaio, Augusto 'Refactoring by Transformation', Electronic Notes in Theoretical Computer Science, v. 70, p. 641-660, 2002.
MOTA, A.; Sampaio, Augusto 'Model-Checking CSP-Z: Strategy, Tool Support and Industrial Application', Science of Computer Programming, Elsevier, v. 40, p. 59-96, 2001.
P. Borba; Sampaio, Augusto 'Basic Laws of ROOL: an Object-Oriented Language', Revista de Informática Teórica e Aplicada, v. 7, p. 49-68, 2000.
CAVALCANTE, A.; WOODCOCK, J.; Sampaio, Augusto 'An Inconsistency In Procedures, Parameters and Substitution in the Refinement Calculus', Science of Computer Programming, v. 33, p. 87-96, 1999.
CAVALCANTI, A.; WOODCOCK, J.; Sampaio, Augusto 'Procedures And Recursion In The Refinement Calculus', Journal of the Brazilian Computer Society, v. 5, p. 5-19, 1998.
CAMPOS, M.; BRAINER, A.; Sampaio, Augusto 'Mechanising The Theory Of Intervals Using Obj3', Jounal of Reliable Computing, v. 2, p. 97-102, 1996.
HOARE, C. A. R.; HE, J.; Sampaio, Augusto 'Normal Form Approach To Compiler Design', ACTA INFORMÁTICA, v. 30, p. 701-739, 1993.