1994, Lemos Meira, Giovanny Fernando Lucero Palma, Adding Processes To A Lazy Functional Language And A Possible Action Semantics For The Extension, , Anais, ISSN:
1995, P. R. Serrano Santos, Paulor Roberto Freire Cunha, Giovanny Fernando Lucero Palma, Especificando Um Sistema Celular Baseado Em CDMA, , Anais, ISSN:
1995, S. R. Palma Martin Musicante, Lemos Meira, Giovanny Fernando Lucero Palma, A Novel Formal Semantics For A Parallel Object-Oriented Language, , Anais, ISSN:
1995, S. R. L. Meira, Giovanny Fernando Lucero Palma, Comunicação, Concorrencia & Engenharia de Software, , Anais, ISSN:
1996, Queda Silva, Giovanny Fernando Lucero Palma, Translating A Configuration Language To The Pi-Calculus, , Anais, ISSN:
1997, Juan Quemada, Giovanny Fernando Lucero Palma, Specifying The ODP Trader: An Introduction To E-LOTOS, , Anais, ISSN:
2000, Jedidias Pereira Souza, Giovanny Fernando Lucero Palma, Especificação e Projeto de Sistemas Comunicantes em E-LOTOS, , Resumo, ISSN:
2005, Sandra Avila, Leila Silva, Giovanny Fernando Lucero Palma, Linguagens de Programação Funcionais e Reativas para o Ensino de Física, , Resumo, ISSN:
2005, Breno Ribeiro, Leila Silva, Giovanny Fernando Lucero Palma, Verificação de Modelos de Sistemas Concorrentes Descritos em E-LOTOS, , Resumo, ISSN:
2006, Sandra Avila, Leila Silva, Kalil Bispo, Giovanny Fernando Lucero Palma, FiSiKa: Linguagem de Programação Funcional para Animação, , Anais, ISSN:
2006, Breno Ribeiro, Giovanny Fernando Lucero Palma, E-LIFT: Verifying E-LOTOS Specifications with SPIN, , Resumo, ISSN:
2006, Breno Ribeiro, Leila Silva, Giovanny Fernando Lucero Palma, LIFT: Aliando LOTOS a SPIN, , Anais, ISSN:
2010, Leonardo Nogueira Matos, Hendrik Teixeira Macedo, Giovanny Fernando Lucero Palma, Residential Automation with Vocal Interaction in Brazilian Portuguese Language, , Resumo, ISSN:
2011, Giovanny Fernando Lucero Palma, Augusto Cezar Alves Sampaio, Laws of Programming with References, 14th Brazilian Symposium on Formal Methods, Anais, ISSN: 978-85-87837-21-9
2013, Giovanny Fernando Lucero Palma, Augusto Cezar Alves Sampaio, David Naumann, Laws of Programming for References, Programming Languages and Systems. 11th International Symposium APLAS 2013, LNCS 8301, Jornal Cientifico, ISSN: 978-3-319-03541-3
2017, CRUZ, P. J. S. (Patrick Jones de Souza Cruz)
LUCERO, G. (Giovanny Fernando Lucero Palma), Leis de programação em Coq, XVII ESCOLA REGIONAL DE COMPUTAÇÃO BAHIA - ALAGOAS SERGIPE Anais do Workshop de Trabalhos de Iniciação Científica e Graduação, Anais, ISSN: 2177-469
Quantidade de itens: 16
2015, CONCURSO PÚBLICO PARA PROVIMENTO DE VAGA DA CARREIRA DE MAGISTÉRIO SUPERIOR PROFESSOR EFETIVO,
Quantidade de itens: 1
2004, Monografia de Graduação Aplicando Programação Extrema no Desenvolvimento do Sistema de Alocação de salas do DAA/UFS, Edvanessa Florêncio e Silva, José Coutinho dos Santos Neto
2004, Monografia de Graduação Projeto e Implementação de um Sistema de Alocação de Salas para o DAA/UFS, Milton César de Souza Leite
2004, Monografia de Graduação Explorando Sistemas de Reescrita no Contexto de Co-Design, Amdré Luis Menezes da Silva
2005, Comissão examinadora para seleção de monitores,
2005, Comissão examinadora de Aproveitamento de Estudos em Microcomputadores,
2006, Comissão examinadora de Aproveitamento de Estudos em Compiladores,
2006, Comissão examinadora para seleção de monitores,
2006, Comissão examinadora de Aproveitamento de Estudos em Programação I,
2006, Monografia de Graduação Modelagem e Avaliação do Desempenho do Pop da Rede do Campus Principal da Universidade Federal de Sergipe, Bruno Eduardo Nascimento Oliveira
2006, Monografia de Graduação Estudo da Adequação do Uso da Plataforma Net e da Metodologo de Desenvolvimento XP na Elaboração de um Software para a Área Médica, Paula Costa de Souza, Vanessa Oliveira Fonseca
2006, Monografia de Graduação QoS em Sistemas Distribuídos, Kalil Araújo Bispo
2006, Comissão examinadora de Aproveitamento de Estudos em Microcomputadores,
2006, Monografia de Graduação Explorando UML-RT na Modelagem de Sistemas Mecatrônicos, Beatriz Trinchão Andrade
2006, Monografia de Graduação Explorando Sistemas de Reescrita na Formalização de Refactorings, Antonio Carlos de Carvalho Junior
2006, Monografia de Graduação Extensões e Dados de Tempo para o LIFT, Breno Piva Ribeiro
2007, Monografia de Especialização GonaX - Ferramenta CASE para Criar Projetos e Gerar Código Fonte, Alberto Dantas Souza, Eduardo Silveira Garcez
2007, Comissão examinadora de Aproveitamento de Estudos em Fundamentos da Computação,
2007, Monografia de Especialização ReuseMais: Uma Ferramenta para Gestão de Componentes de Softwares, Glauco Luiz Rezende de Carvalho, Luiz Marcel Feitosa Melo
2007, Comissão examinadora para seleção de monitores,
2007, Monografia de Especialização Testes de Software: Teoria e Ferramentas, Alfredo M. Vieira, Fábio S. F. Lima, Luiz E. F. Santos
2007, Monografia de Especialização Modelo de Melhoria de Qualidade nos Processos de Desenvolvimento de Software no CPD da UFS, Elisângela Oliveira Rocha, Estelamaris da Costa Pina
2007, Comissão examinadora de Aproveitamento de Estudos em Microcomputadores,
2007, Monografia de Especialização PLUS - Planejamento Unificado de Software, Henrique de Melo Cardoso e Sávio Américo Vieira Pessoa
2007, Monografia de Especialização Desenvolvimento de um Sistema de Gestão de Almoxarifado para o Serviço Público Federal, utilizando Ferramentas LIvres, Annanette R. de Oliveira, Jaziel Souza Lôbo, José W. Chaves
2009, Monografia de Especialização Garantindo e Controlando Qualidade de Software com Monitoramento Através de Modelos de Dados Dimensionais, Edson Farias
2009, Monografia de Graduação Construção do Portal Departamental: Definição e Validação da Arquitetura com a Implementação da Aplicação "Atualidade", Marco Aurélio dos Santos, Paulo Eduardo Ferreira Osses
2009, Comissão examinadora de Aproveitamento de Estudos em Microcomputadores,
2016, Monografia de Graduação Uma Estratégia para a Verificação de Implementações de Sistemas de Controle em Safety-Critical Java, Rodrigo Benedito Otoni
2016, Dissertação de Mestrado Validação de uma Especificacão TDevC para o desenvolvimento de Device Drivers Robustos, Vanessa Larize Alves de Carvalho
2017, Monografia de Graduação Verificações Formais com Redes de Petri Coloridas em Processos de Saúde Modelados com BPMN, Renato Silveira Nunes Júnior
Quantidade de itens: 30
2006,, Universidade Federal de Sergipe, NACIONAL,
2009,, São Cristóvão, NACIONAL,
2015,Revisor de Periodicos, Jornais e Similares, Belo Horizonte - MG, NACIONAL, 2015 29th Brazilian Symposium on Software Engineering (SBES 2015)
2016,Revisor de Periodicos, Jornais e Similares, Natal, NACIONAL, Escola de Informática Teórica e Métodos Formais
2016,Revisor de Periodicos, Jornais e Similares, Natal, INTERNACIONAL, Brazilian Symposium on Formal Methods (SBMF)
2017,Revisor de Periodicos, Jornais e Similares, Elsevier, INTERNACIONAL, Science of Computer Programming.
Quantidade de itens: 6
Uma Estratégia para Implementar Refatorações Seguras no Eclipse, IGOR NASCIMENTO DOS SANTOS ,
10/2017
Estudo de Componentes de FIWARE para IoT e Cidades Inteligentes, FELIPE MATHEUS CONCEIÇÃO DA SILVA ,
04/2019
Estudo sobre IoT, Cidades Inteligentes e FIWARE, MARIANA MARTINS DE ALBUQUERQUE LEITE ,
04/2019