2010
LIMA, A. O. ; OLIVEIRA, E. A. da S. . Xadrez Ensinado por Software. In: Escola Regional de Computação Bahia Alagoas Sergipe, Maceió.
2009
SILVA, L. D. da ; OLIVEIRA, E. A. da S. ; ALMEIDA, H. O. de ; PERKUSICH, A. . An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems (republished). In: Terry Halpin; John Krogstie; Erik Proper. (Org.). Innovations in Information Systems Modeling: Methods and Best Practices. New York, EUA. (capítulo de livro)
OLIVEIRA, E. A. da S. ; OLIVEIRA, H. M. N. S. . A Olimpíada Brasileira de Informática no agreste Alagoano: Ontem, Hoje e Amanhã. In: Escola Regional de Computação Bahia Alagoas Sergipe, Ilhéus.
2008
OLIVEIRA, E. A. da S. ; ALMEIDA, H. O. de ; SILVA, L. D. da ; BARBOSA, N. M. ; BUBLITZ, F. M. ; PERKUSICH, A. . Formal Modeling and Verification of Virtual Community Systems. In: Goran D. Putnik; Maria Manuela Cunha. (Org.). Encyclopedia of Networked and Virtual Organizations. Hershey, PA, EUA. (capítulo de livro)
2007
SILVA, L. D. da ; OLIVEIRA, E. A. da S. ; ALMEIDA, H. O. de ; PERKUSICH, A. . An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems. In: Xuan Zha. (Org.). Artificial Intelligence and Integrated Intelligent Information Systems. Hershey, PA, EUA. (capítulo de livro)
OLIVEIRA, E. A. da S. ; LIMA, E. F. de A. ; FIGUEIREDO, J. C. A. de . Verifying Mobile Agent Design Patterns with RPOO. In: David Taniar. (Org.). Encyclopedia of Mobile Computing & Commerce. Hershey, PA, EUA. (capítulo de livro)
OLIVEIRA, E. A. da S. ; SILVA, L. D. da ; ALMEIDA, H. O. de ; PERKUSICH, A. . Formal Modelling and Verification of a Software Component Model using Coloured Petri Nets and Model Checking. In: 22nd Annual ACM Symposium on Applied Computing (ACM SAC'07), Seul, Coréia.
FERREIRA, G. V. V. de M. ; LOUREIRO FILHO, E. C. ; OLIVEIRA, E. A. da S. ; ALMEIDA, H. O. de ; SILVA, L. D. da ; PERKUSICH, A. . A Java Code Annotation Approach for Model Checking Software Systems. In: 22nd Annual ACM Symposium on Applied Computing (ACM SAC'07), Seul, Coréia.
