Artigos selecionados
M. Cornelio; Cavalcanti, Ana; Sampaio, Augusto 'Sound Refactorings', Science of Computer Programming (Print), v. 1, p. 1-, 2009.
Duran, Adolfo; Cavalcanti, Ana; Sampaio, Augusto 'An algebraic approach to the design of compilers for object-oriented languages', Formal Aspects of Computing, v. 1, p. 1-, 2009.
Sherif, Adnan; Cavalcanti, Ana; Jifeng, He; Sampaio, Augusto 'A process algebraic framework for specification and validation of real-time systems', Formal Aspects of Computing, , p. 1-50, 2009.
A. Farias; Alexandre Cabral Mota; Sampaio, Augusto 'Compositional Abstraction of CSPz Processes', Journal of the Brazilian Computer Society, v. 14, p. 23-44, 2008.
Gustavo Cabral; Sampaio, Augusto 'Automated Formal Specification Generation and Refinement from Requirement Documents', Journal of the Brazilian Computer Society, v. 14, p. 87-106, 2008.
Patrícia Ferreira; Alexandre Cabral Mota; Sampaio, Augusto 'Viewing CSP Specifications with UML-RT Diagram', Electronic Notes in Theoretical Computer Science, v. 195, p. 57-74, 2007.
Manuela Xavier; CAVALCANTI, A.; Sampaio, Augusto 'Type Checking Circus Specifications', Electronic Notes in Theoretical Computer Science, v. 195, p. 75-93, 2007.