Jefferson de Barros Santos

e-mail:

jefferson.b.santos@gmail.com

Linkedin:

Google Scholar:

ORCID:

não disponível no Lattes

Formação:
  • Pontifícia Universidade Católica do Rio de Janeiro

    Informática | Doutorado | 2012 - 2017
  • Pontifícia Universidade Católica do Rio de Janeiro

    Informática | Mestrado | 2007 - 2010
  • Pontifícia Universidade Católica do Rio de Janeiro

    Bacharelado em Informática | Graduação | 2004 - 2006
  • Universidade Estácio de Sá

    Tecnologia em Processamento de Dados | Graduação | 1998 - 2002
  • Escola Técnica Pandiá Calógeras

    | Ensino Profissional de nível técnico | 1992 - 1995
Laboratórios:
Nenhum laboratório cadastrado
Nuvens de Palavras:
Artigos:

(100.00% artigos com DOI)

Titulo DOI Ano
Searching for Researchers: an Ontology-based NoSQL Database System Approach and Practical Implementation 10.5753/jidm.2022.2601 2022
A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic 10.1016/j.entcs.2016.09.014 2016
Eventos:

(11.76% eventos com DOI)

Titulo DOI Ano
A benchmarking for public information by Machine Learning and Regular Language 10.5753/wcge.2023.229975 2023
On the use of Machine Learning for predictive maintenance of power transformers 2023
On the Coverage Property of a Derivation Compression Algorithm 10.5753/wbl.2023.230566 2023
Jogos para o aprendizado de programação: como as modalidades mono e multijogadores afetam a motivação dos alunos? 2022
A Graph Logical Framework 2022
Towards a Proof in Lean about the Horizontal Compression of Dag-Like Derivations in Minimal Purely Implicational Logic 2022
ENSIGHTS: Intelligent Monitoring of Electric Power Transmission Assets 2022
Sistemas de Recuperação de Informações Aplicados à Produções Acadêmicas 2021
Quem@PUC - A tool to find researchers at PUC-Rio 2021
EnSights: Monitoramento Inteligente de Ativos de Transmissão 2021
A framework to model check Blockchain using nuXmv 2019
Towards a Tableaux System for Propositional Minimal Implicational Logic 2019
Proof Search and Counter-model Generation in Propositional Minimal Implicational Logic 2017
Counter-model Generation from Failed Proof Searches in Propositional Minimal Implicational Logic 2017
Towards a unified procedure for provability and counter-model generation in Minimal Implicational Logic 2015
A proof-graphs based theorem prover for Minimal Implicational Logic 2014
Improving memory performance for mimp-graph based thorem provers 2014
Publicações:
Minha Rede: