| Obtaining formal models from ladder diagrams EA da Silva Oliveira, LD da Silva, K Gorgônio, A Perkusich, AF Martins 2011 9th IEEE International Conference on Industrial Informatics, 796-801, 2011 | 19 | 2011 |
| Formal modelling and verification of a component model using coloured petri nets and model checking E Oliveira, H Almeida, L Silva Proceedings of the 2007 ACM symposium on Applied computing, 1427-1431, 2007 | 9 | 2007 |
| A java code annotation approach for model checking software systems G Ferreira, E Loureiro, E Oliveira Proceedings of the 2007 ACM symposium on Applied computing, 1536-1537, 2007 | 8 | 2007 |
| A formal approach for component based embedded software modelling and analysis HO Almeida, LD da Silva, E Oliveira, A Perkusich Proceedings of the IEEE International Symposium on Industrial Electronics …, 2005 | 8 | 2005 |
| Testing from structured algebraic specifications: The veritas case study PDL Machado, EAS Oliveira, PES Barbosa, CL Rodrigues Electronic Notes in Theoretical Computer Science 130, 235-261, 2005 | 8 | 2005 |
| Altas habilidades/superdotação: Estratégias de identificação e alternativas educacionais para estudantes talentos AJG Barbosa, ZC Ghenther, CES Pereira, FC Gonçalves, EA Oliveira, ... Desenvolvimento psicossocial: Temas em educação e saúde, 33-51, 2008 | 6 | 2008 |
| Prospecção tecnológica de aplicativos móveis para monitoramento de saúde da mulher KF Farias, RM Silva, DM Silva, AF Silva, EAS Oliveira, TL Balliano, ... REVISTA GEINTEC-GESTAO INOVACAO E TECNOLOGIAS 11 (1), 5823-5834, 2021 | 3 | 2021 |
| A Petri Net Model Specification for Delivering Adaptable Ads through Digital Signage in Pervasive Environments FM Bublitz, LC e Silva, EAS Oliveira, SOD Luiz, HO de Almeida, ... International Conference on Software Engineering & Knowledge Engineering, 2013 | 3 | 2013 |
| Uma técnica para modelagem e verificação de programas JAVA concorrentes auxiliada por anotações de código. EAS OLIVEIRA Universidade Federal de Campina Grande, 2006 | 2 | 2006 |
| Algebraic specification-based testing: The veritas case study PDL Machado, E Oliveira, PES Barbosa, CL Rodrigues Simpósio Brasileiro de Métodos Formais—SBMF, 2004 | 2 | 2004 |
| API-QUESTIONS: um serviço web para a criação de aplicações multidisciplinares voltadas à educação F Oliveira, DE Ferreira, EA Oliveira Anais da XX Escola Regional de Computação Bahia, Alagoas e Sergipe, 239-244, 2020 | 1 | 2020 |
| Aprendizado de máquina aplicado a dados agrometeorológicos F Oliveira, E Oliveira Escola Regional de Computação Bahia, Alagoas e Sergipe (ERBASE), 101-106, 2019 | 1 | 2019 |
| GiveMeJobs: desenvolvimento de uma plataforma web para a divulgação de vagas de emprego e estágio D Abreu, D Oliveira, JM Farias, L Silva, P Barros, E Oliveira Anais do XVIII Escola Regional de Computação Bahia, Alagoas e Sergipe, 66-71, 2018 | 1 | 2018 |
| iSAMU: infraestrutura tecnológica para auxiliar o SAMU no atendimento de ocorrências V Silva, P Abreu, E Oliveira Anais do XVIII Escola Regional de Computação Bahia, Alagoas e Sergipe, 19-24, 2018 | 1 | 2018 |
| O DESASTRE DE MARIANA VS SILVA, EAD OLIVEIRA, FA MESSIAS, JC MOTTA, NDS LEITE, ... Revista de Iniciação Científica da Universidade Vale do Rio Verde 6 (2), 2017 | 1 | 2017 |
| Functional Software Prototypes for Defining and Monitoring Individual Exercise Program EA da Silva Oliveira, MJF Neto, LD da Silva, HO de Almeida, A Perkusich Encyclopedia of E-Health and Telemedicine, 193-201, 2016 | 1 | 2016 |
| Reflexões acerca do ensino de Matemática Discreta no curso de Ciência da Computação LC SILVA, DP SANTOS, FV COSTA JUNIOR, EAS OLIVEIRA Congresso Nacional de Matemática Aplicada e Computacional, 2014 | 1* | 2014 |
| Model-Based Solution for Controlling Physiology E Oliveira, L Silva, H Almeida, A Perkusich Foundations of Health Information Engineering and Systems: Second …, 2013 | 1 | 2013 |
| CONTROLLED AND SAFE PHYSICAL ACTIVITIES E Oliveira, L Silva, A Tenório, H Almeida, A Perkusich, C Grande Congresso Brasileiro de Informática em Saúde, 2012 | 1 | 2012 |
| CONVERTENDO DIAGRAMAS LADDER EM MODELOS DE REDES DE PETRI COLORIDAS EA Oliveira, L Dias Da Silva, K Gorgônio, AM Perkusich Simpósio Brasileiro de Automação Inteligente, 2011 | 1 | 2011 |
