Personal information

Activities

Employment (1)

PUC-Rio: Rio de Janeiro, RJ, BR

1991-03-01 to present | Associate Professor (Informática)
Employment
Source: Self-asserted source
Edward Haeusler

Education and qualifications (1)

PUC-Rio: Rio de Janeiro, RJ, BR

1986-03-01 to 1990-12-01 | DSc (Informática)
Education
Source: Self-asserted source
Edward Haeusler

Professional activities (4)

Brazilian Logic Society: Campinas, São Paulo SP, BR

2021-08-01 to 2023-08-01 | 2nd vice-president
Membership
Source: Self-asserted source
Edward Haeusler

INRIA: Paris, Paris, FR

2013-10-01 to 2014-02-01 | Invited researcher (INRIA)
Invited position
Source: Self-asserted source
Edward Haeusler

Eberhard Karls Universität Tübingen: Tubingen, Baden-Württemberg, DE

2003-04-01 to 2003-07-16 | Invited professor (Wilhelm-Schickard-Institut für Informatik)
Invited position
Source: Self-asserted source
Edward Haeusler

Aarhus Universitet: Aarhus, Midtjylland, DK

1994-04-15 to 1994-08-01 | Invited professor (BRICS)
Invited position
Source: Self-asserted source
Edward Haeusler

Works (50 of 57)

Items per page:
Page 1 of 2

On the Expressiveness of Petri Nets for Modeling Biological Processes: The Case for mRNA Translation and Protein Synthesis

2025 | Book chapter
Contributors: Luis Henrique Costa Neto; S. Lifschitz; F. Baião; M. Catanho; A. B. de Miranda; E. H. Haeusler
Source: check_circle
Crossref

Enhancing Predictive Maintenance of Power Transformers Through Machine Learning Approaches

Learning and Nonlinear Models
2024-10-31 | Journal article
Contributors: Carla Pacheco; Vagner Paes; Marcelo Carvalho; Felipe Lopes; Gabriel Machado; Alex Garcia; Edmilson Neto; Jefferson Santos; Edward Haeusler; Ana Marotti
Source: check_circle
Crossref

Intentional Semantics for Molecular Biology

2023 | Book chapter
Contributors: Edward H. Haeusler; Bruno Cuconato; Luiz A. Glatzl; Maria L. Guateque; Diogo M. Vieira; Elvismary M. de Armas; Fernanda Baião; Marcos Catanho; Antonio B. de Miranda; Sergio Lifschitz
Source: check_circle
Crossref

On the use of Machine Learning for predictive maintenance of power transformers

2023-12-31 | Conference paper
Contributors: Carla Pacheco; Vagner Paes; Marcelo Carvalho; Felipe Lopes; Gabriel Machado; Alex Garcia; Edmilson Neto; Jefferson Santos; Edward Haeusler; Ana Marotti
Source: check_circle
Crossref

ENSIGHTS: Intelligent Monitoring of Electric Power Transmission Assets

European Conference on the Impact of Artificial Intelligence and Robotics
2022 | Conference paper
Contributors: de Vasconcellos Garcia, Alex; Machado, Gabriel Resende; Ferreira, Carla Chrystina de Castro Pacheco; Haeusler, Edward Hermann; dos Santos, Jefferson Barros; Varejão, Edmilson; Schneider, Pedro; dos Santos Barbosa, Athos; Magalhães, Mauŕıcio; de Carvalho, Marcelo et al.
Source: Self-asserted source
Edward Haeusler

Exponentially huge natural deduction proofs are redundant: Preliminary results on M\(_\mbox\(⊃\)\)

FLAP
2022 | Journal article
URI:

https://collegepublications.co.uk/ifcolog/?00053

Contributors: Edward Hermann Haeusler
Source: Self-asserted source
Edward Haeusler

Strong normalization for Np-systems via Mimp-graphs.

FLAP
2022 | Journal article
Contributors: da Costa, Vaston Conçalves; Haeusler, Edward Hermann
Source: Self-asserted source
Edward Haeusler

Searching for Researchers: an Ontology-based NoSQL Database System Approach and Practical Implementation

Journal of Information and Data Management
2022-12-19 | Journal article
Part of ISSN: 2178-7107
Part of ISSN: 2178-7107
Contributors: Mariana D. A. Salgueiro; Veronica Dos Santos; André L. C. Rêgo; Daniel S. Guimarães; Jefferson B. Santos; Edward H. Haeusler; Marcos V. Villas; Sérgio Lifschitz
Source: Self-asserted source
Edward Haeusler

Towards a proof in Lean about the Horizontal Compression of Dag-Like Derivations in Minimal Purely Implicational Logic

LSFA, Logical and Semantical Frameworks with Applications
2022-09-23 | Conference paper
Contributors: Robinson Callou de Moura Brasil Filho; Jefferson de Barros Santos; Edward Haeusler
Source: Self-asserted source
Edward Haeusler

A Study of Database Models for Social Network Analysis

Anais do XXXVII Simpósio Brasileiro de Banco de Dados (SBBD 2022)
2022-09-19 | Conference paper
Contributors: Mariana D. A. Salgueiro; Sergio Lifschitz; Edward Hermann Haeusler; Verônica dos Santos; Alexandre A. P. Heine
Source: Self-asserted source
Edward Haeusler

Indexed and fibered structures for partial and total correctness assertions

Mathematical Structures in Computer Science
2022-09-19 | Journal article
Part of ISSN: 0960-1295
Part of ISSN: 1469-8072
Contributors: Uwe Egbert Wolter; Alfio Martini; E.H. Häusler
Source: Self-asserted source
Edward Haeusler

A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals

DL 2022: 35th International Workshop on Description Logics
2022-08-07 | Conference paper
Contributors: Bernardo Alkmin; Edward Haeusler; Claudia Nalon
Source: Self-asserted source
Edward Haeusler

A Graph Knowledge-base for Auditing Human Resources Public Management

Anais do X Workshop de Computação Aplicada em Governo Eletrônico (WCGE 2022)
2022-07-31 | Conference paper
Contributors: Fernando Antonio D. G. Pinto; Sérgio Lifschitz; Edward Hermann Haeusler
Source: Self-asserted source
Edward Haeusler

Bio-Strings: A Relational Database Data-Type for Dealing with Large Biosequences

BioTech
2022-07-30 | Journal article
Contributors: Sergio Lifschitz; Edward H. Haeusler; Marcos Catanho; Antonio B. de Miranda; Elvismary Molina de Armas; Alexandre Heine; Sergio G. M. P. Moreira; Cristian Tristão
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

DE ZOLT’S POSTULATE: AN ABSTRACT APPROACH

The Review of Symbolic Logic
2022-03 | Journal article
Part of ISSN: 1755-0203
Part of ISSN: 1755-0211
Contributors: EDUARDO N. GIOVANNINI; EDWARD H. HAEUSLER; ABEL LASSALLE-CASANAVE; PAULO A. S. VELOSO
Source: Self-asserted source
Edward Haeusler
grade
Preferred source (of 2)‎

A knowledge base of public acts based on the grammar of the Official Gazette

2022 International Conference on Digital Government Technology and Innovation (DGTi-CON)
2022-03-24 | Conference paper
Contributors: Fernando Antonio D G Pinto; Sergio Lifschitz; Edward Hermann Haeusler
Source: Self-asserted source
Edward Haeusler

Sobre el Postulado de De Zolt en tres dimensiones

O que nos faz pensar
2022-01-15 | Journal article
Contributors: Eduardo N. Giovannini; Abel Lassalle Casanave; Edward Hermann Haeusler
Source: check_circle
Crossref

Proof Compression and NP Versus PSPACE II: Addendum

Bulletin of the Section of Logic
2022-01-07 | Journal article
Part of ISSN: 2449-836X
Contributors: Lew Gordeev; Edward Hermann Haeusler
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search
grade
Preferred source (of 2)‎

Non-Functional Requirements for Quantum Programs

Short Papers Proceedings of the 2nd International Workshop on Software Engineering & Technology (Q-SET 2021) co-located with IEEE International Conference on Quantum Computing and Engineering (IEEE Quantum Week 2021), Virtual Conference, October 19, 2021
2021 | Conference paper
URI:

https://ceur-ws.org/Vol-3008/paper4.pdf

Contributors: Lorenzo Saraiva; Edward Hermann Haeusler; Vaston G. Costa; Marcos Kalinowski; Ricardo Pérez-Castillo; Manuel A. Serrano; Mario Piattini
Source: Self-asserted source
Edward Haeusler

A-Games: using game-like representation for representing finite automata

2021-11-17 | Conference paper
Contributors: Cleyton Slaviero; Edward Hermann Haeusler
Source: check_circle
Crossref

Description of Command and Control Networks in Coq

2021-11-17 | Conference paper
Contributors: Guilherme G. F. da Silva; Edward Hermann Haeusler; Cláudia Nalon
Source: check_circle
Crossref

Outer-Tuning: an Ontology-based Extensible Framework for Supporting Database Automatic Tuning

Journal of Information and Data Management
2021-09-10 | Journal article
Part of ISSN: 2178-7107
Contributors: Raphael Marins; Rafael Pereira de Oliveira; Edward Hermann Haeusler; Sérgio Lifschitz; Daniel Schwabe; Ana Carolina Almeida
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic Logic

ACM Transactions on Computational Logic
2021-05 | Journal article
Part of ISSN: 1529-3785
Contributors: Bruno Lopes; Cláudia Nalon; Edward Hermann Haeusler
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

A Case Study Integrating Knowledge Graphs and Intuitionistic Logic

AI Approaches to the Complexity of Legal Systems XI-XII - AICOL International Workshops 2018 and 2020: AICOL-XI@JURIX 2018, AICOL-XII@JURIX 2020, XAILA@JURIX 2020, Revised Selected Papers
2020 | Conference paper
Contributors: Bernardo Alkmim; Edward Hermann Haeusler; Daniel Schwabe; Víctor Rodríguez-Doncel; Monica Palmirani; Michal Araszkiewicz; Pompeu Casanovas; Ugo Pagallo; Giovanni Sartor
Source: Self-asserted source
Edward Haeusler

Efficient Out-of-Core Contig Generation

2020 | Book chapter
Contributors: Julio Omar Prieto Entenza; Edward Hermann Haeusler; Sérgio Lifschitz
Source: check_circle
Crossref

Relational Text-Type for Biological Sequences

2020 | Book chapter
Contributors: Cristian Tristão; Antonio Basilio de Miranda; Edward Hermann Haeusler; Sergio Lifschitz
Source: check_circle
Crossref

Proof Compression and NP Versus PSPACE II

Bulletin of the Section of Logic
2020-08 | Journal article
Part of ISSN: 2449-836X
Contributors: Lew Gordeev; Edward Hermann Haeusler
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search
grade
Preferred source (of 2)‎

On how kelsenian jurisprudence and intuitionistic logic help to avoid contrary-to-duty paradoxes in legal ontologies

Seminário Lógica no Avião
2019 | Other
Contributors: Edward H. Haeusler; Alexandre Rademaker
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

On What There Must Be: Existence in Logic and Some Related Riddles

Disputatio
2018 | Journal article
Part of ISSN: 0873-626X
Contributors: Paulo A. S. Veloso; Luiz Carlos Pereira; E. Hermann Haeusler
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach

Theoretical Computer Science
2018-10 | Journal article
Part of ISSN: 0304-3975
Contributors: Mario Benevides; Bruno Lopes; Edward Hermann Haeusler
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

Editorial

Computación y Sistemas
2017-09 | Journal article
Part of ISSN: 2007-9737
Contributors: Juan Carlos Nieves; Edward Hermann Haeusler; Bruno Lopes
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

Foreword

Logic Journal of the IGPL
2017-06 | Journal article
Part of ISSN: 1367-0751
Contributors: Walter Carnielli; Edward Hermann Haeusler; Petrucio Viana
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic

Electronic Notes in Theoretical Computer Science
2016-09 | Journal article
Part of ISSN: 1571-0661
Contributors: Jefferson de Barros Santos; Bruno Lopes Vieira; Edward Hermann Haeusler
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

Propositional Dynamic Logic for Petri Nets with Iteration

Theoretical Aspects of Computing – ICTAC 2016
2016-09 | Other
Part of ISSN: 0302-9743
Contributors: Mario R. F. Benevides; Bruno Lopes; Edward Hermann Haeusler
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

PUC-Logic

2016 27th International Workshop on Database and Expert Systems Applications (DEXA)
2016-09 | Other
Contributors: Ricardo Queiroz De Araujo Fernandes; Edward Hermann Haeusler; Luiz Carlos Pereira
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

On Strong Normalization in Proof-Graphs for Propositional Logic

Electronic Notes in Theoretical Computer Science
2016-07 | Journal article
Part of ISSN: 1571-0661
Contributors: Marcela Quispe-Cruz; Edward Haeusler; Lew Gordeev
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

How Many Times do We Need an Assumption to Prove a Tautology in Minimal Logic? Examples on the Compression Power of Classical Reasoning

Electronic Notes in Theoretical Computer Science
2015-09 | Journal article
Part of ISSN: 1571-0661
Contributors: Edward Hermann Haeusler
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

Advances in Natural Deduction

Trends in Logic
2014 | Book
Part of ISSN: 1572-6126
Contributors: Luiz Carlos Pereira; Edward Hermann Haeusler; Valeria de Paiva
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

On Constructive Fragments of Classical Logic

Dag Prawitz on Proofs and Meaning
2014-11 | Other
Part of ISSN: 2211-2758
Contributors: Luiz Carlos Pereira; Edward Hermann Haeusler
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

Extending Propositional Dynamic Logic for Petri Nets

Electronic Notes in Theoretical Computer Science
2014-07 | Journal article
Part of ISSN: 1571-0661
Contributors: Bruno Lopes; Mario Benevides; Edward Hermann Haeusler
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

Propositional dynamic logic for Petri nets

Logic Journal of IGPL
2014-04 | Journal article
Part of ISSN: 1367-0751
Contributors: B. Lopes; M. Benevides; E. H. Haeusler
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

Proof-graphs for Minimal Implicational Logic

Electronic Proceedings in Theoretical Computer Science
2014-03 | Journal article
Part of ISSN: 2075-2180
Contributors: Marcela Quispe-Cruz; Edward Hermann Haeusler; Lew Gordeev
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

XII Brazilian Logic Conference

Bulletin of Symbolic Logic
2014-01 | Journal article
Part of ISSN: 1079-8986
Contributors: Edward Hermann Haeusler
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

Finitely many-valued logics and natural deduction

Logic Journal of IGPL
2013-08-06 | Journal article
Part of ISSN: 1367-0751
Contributors: C. Englander; E. H. Haeusler; L. C. Pereira
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

Intuitionistic Description Logic and Legal Reasoning

2011 22nd International Workshop on Database and Expert Systems Applications
2011-08 | Other
Contributors: Edward Hermann Haeusler; Valeria de Paiva; Alexandre Rademaker
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic

Studia Logica
2010-08-08 | Journal article
Part of ISSN: 0039-3215
Contributors: Luiz C. Pereira; Edward H. Haeusler; Vaston G. Costa; Wagner Sanz
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

Propositional proof compressions and DNF logic

Logic Journal of IGPL
2010-02 | Journal article
Part of ISSN: 1367-0751
Contributors: L. Gordeev; E. H. Haeusler; L. C. Pereira
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

A Topos-Theoretic Approach to Counterfactual Logic

Electronic Notes in Theoretical Computer Science
2009 | Journal article
Part of ISSN: 1571-0661
Contributors: Ricardo Queiroz de Araujo Fernandes; Edward Hermann Haeusler
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

Preface

Logic Journal of IGPL
2009-08 | Journal article
Part of ISSN: 1367-0751
Contributors: M. Ayala-Rincon; E. H. Haeusler
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search

Fibred and Indexed Categories for Abstract Model Theory

Logic Journal of IGPL
2007-09 | Journal article
Part of ISSN: 1367-0751
Contributors: A. Martini; U. Wolter; E. H. Haeusler
Source: Self-asserted source
Edward Haeusler via Crossref Metadata Search
Items per page:
Page 1 of 2

Peer review (2 reviews for 2 publications/grants)

Review activity for Archive for mathematical logic. (1)
Review activity for Journal of philosophical logic. (1)