| 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 | 2 | 2016 |
| 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 Anais do XI Workshop de Computação Aplicada em Governo Eletrônico, 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, ... Anais Estendidos do XXXVI Simpósio Brasileiro de Bancos de Dados, 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 | |
| On the Coverage Property of a Derivation Compression Algorithm RC de MB Filho, JB Santos, EH Haeusler Anais do IV Workshop Brasileiro de Lógica, 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 Anais Estendidos do II Simpósio Brasileiro de Educação em Computação, 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, ... Anais Estendidos do XXXVI Simpósio Brasileiro de Bancos de Dados, 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 |
Edward HaeuslerProfessor of Computer Science, PUC-RioVerified email at inf.puc-rio.br
