Journal papers
Ramos, Rodrigo; Sampaio, Augusto; Mota, Alexandre 'Conformance notions for the coordination of interaction components', Science of Computer Programming (Print), v. 75, p. 350-373, 2010.
Duran, Adolfo; Cavalcanti, Ana; Sampaio, Augusto 'An algebraic approach to the design of compilers for object-oriented languages', Formal Aspects of Computing, v. 22, p. 489-535, 2010.
Sherif, Adnan; Cavalcanti, Ana; Jifeng, He; Sampaio, Augusto 'A process algebraic framework for specification and validation of real-time systems', Formal Aspects of Computing, v. 22, p. 153-191, 2010.
Falcão, Flávia; IYODA, J; Iyoda, Juliano; Sampaio, Augusto 'Multiple Synchrony in MSC', Electronic Notes in Theoretical Computer Science, v. 240, p. 149-166, 2009.
FERREIRA, P; SAMPAIO, A; Mota, A 'Viewing CSP Specifications with UML-RT Diagrams?', Electronic Notes in Theoretical Computer Science, v. 195, p. 57-74, 2008.
XAVIER, M; Cavalcanti, A; SAMPAIO, A 'Type Checking Circus Specifications', Electronic Notes in Theoretical Computer Science, v. 195, p. 75-93, 2008.
Farias, Adalberto; Mota, Alexandre; Sampaio, Augusto 'Compositional abstraction of CSP Z processes', Journal of the Brazilian Computer Society (Impresso), v. 14, p. 23-44, 2008.