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 |