| A unified procedure for provability and counter-model generation in minimal implicational logic J de Barros Santos, BL Vieira, EH Haeusler Electronic Notes in Theoretical Computer Science 324, 165-179, 2016 | 3 | 2016 |
| SpaceEduc: Uma Proposta para Estimular a Aprendizagem de Alunos Portadores de Necessidades Educacionais Especiais I Lima, L Costa, J Santos, ES Neto Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2017 | 2 | 2017 |
| Extraindo o melhor de XP, Agile Modeling e RUP para melhor produzir software JB SANTOS Vice-Reitoria Administrativa, PUC-Rio: November, 2002 | 2 | 2002 |
| A benchmarking for public information by Machine Learning and Regular Language FADG Pinto, J de Barros Santos, S Lifschitz, EH Haeusler Workshop de Computação Aplicada em Governo Eletrônico (WCGE), 60-71, 2023 | 1 | 2023 |
| Quem@ PUC-A tool to find researchers at PUC-Rio MDA Salgueiro, V dos Santos, ALC Rêgo, DS Guimaraes, EH Haeusler, ... Simpósio Brasileiro de Banco de Dados (SBBD), 93-98, 2021 | 1 | 2021 |
| A logical framework with a graph meta-language B Cuconato, JB Santos, EH Haeusler arXiv preprint arXiv:2106.13843, 2021 | 1 | 2021 |
| A Graph Logical Framework B Cuconato, J de Barros Santos, EH Haeusler BOOK OF ABSTRACTS LIVRO DE RESUMOS, 92, 0 | 1 | |
| A Two-tiered Approach for Knowledge Reasoning FADG Pinto, J de Barros Santos, S Lifschitz, EH Haeusler Simpósio Brasileiro de Banco de Dados (SBBD), 652-658, 2024 | | 2024 |
| On the Coverage Property of a Derivation Compression Algorithm RC de MB Filho, JB Santos, EH Haeusler Workshop Brasileiro de Lógica (WBL), 1-8, 2023 | | 2023 |
| Searching for Researchers: an Ontology-based NoSQL Database System Approach and Practical Implementation MDA Salgueiro, V dos Santos, ALC Rêgo, DS Guimarães, JB Santos, ... Journal of Information and Data Management 13 (5), 2022 | | 2022 |
| Towards a proof in Lean about the Horizontal Compression of Dag-Like Derivations in Minimal Purely Implicational Logic RC de Moura Brasil Filho, J de Barros Santos, EH Haeusler The Seventeenth International Workshop on Logical and Semantic Frameworks …, 2022 | | 2022 |
| Jogos para o aprendizado de programação: como as modalidades mono e multijogadores afetam a motivação dos alunos? R Leite, E Haeusler, J Santos Simpósio Brasileiro de Educação em Computação (EDUCOMP), 44-46, 2022 | | 2022 |
| Sistemas de Recuperação de Informações Aplicados à Produções Acadêmicas MDA Salgueiro, V dos Santos, ALC Rêgo, DS Guimaraes, EH Haeusler, ... Simpósio Brasileiro de Banco de Dados (SBBD), 43-48, 2021 | | 2021 |
| A Sequent Calculus Proof Search Procedure and Counter-model Generation based on Natural Deduction Bounds JB Santos, BL Vieira, EH Haeusler arXiv preprint arXiv:1905.02059, 2019 | | 2019 |
| Systems for Provability and Countermodel Generation in Propositional Minimal Implicational Logic J de Barros Santos PUC-Rio, 2017 | | 2017 |
| NP system and Mimp-graph association VG da Costa, EH Haeusler, MQ Cruz, J de Barros Santos Handbook of the 5th World Congress and School on Universal Logic, 346, 2015 | | 2015 |
| ENHANCING PREDICTIVE MAINTENANCE OF POWER TRANSFORMERS THROUGH MACHINE LEARNING APPROACHES C Pacheco, V Paes, M de Carvalho, F Lopes, G Machado, A Garcia, ... | | |
Edward HaeuslerProfessor of Computer Science, PUC-RioVerifisert e-postadresse på inf.puc-rio.br
