Edward Hermann Haeusler

ORCID

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 53

Top Venues

Publications

Lorenzo Saraiva, Edward Hermann Haeusler, Vaston G. Costa
Quantum Algorithm for Multiplicative Linear Logic. CoRR (2023)
Diogo Munaro Vieira, Elvismary Molina de Armas, Maria L. G. Jaramillo, Marcos Catanho, Antonio B. de Miranda, Edward Hermann Haeusler, Sérgio Lifschitz
A New Data Modeling Approach for Alignment-free Biological Applications. SBBD (2023)
Veronica dos Santos, Edward Hermann Haeusler, Daniel Schwabe, Sérgio Lifschitz
Context-Aware Knowledge Graphs Exploratory Search. SBBD (2023)
Edward Hermann Haeusler, Bruno Cuconato, Luiz A. Glatzl, Maria L. Guateque, Diogo Munaro Vieira, Elvismary Molina de Armas, Fernanda Baião, Marcos Catanho, Antonio B. de Miranda, Sérgio Lifschitz
Intentional Semantics for Molecular Biology. BSB (2023)
Lev Gordeev, Edward Hermann Haeusler
Proofs of Equalities NP = coNP = PSPACE: Simplification. CoRR (2023)
Eduardo N. Giovannini, Edward Hermann Haeusler, Abel Lassalle-Casanave, Paulo A. S. Veloso
De Zolt's postulate: an Abstract Approach. Rev. Symb. Log. 15 (1) (2022)
Uwe Wolter, Alfio Ricardo de Brito Martini, Edward Hermann Haeusler
Indexed and fibered structures for partial and total correctness assertions. Math. Struct. Comput. Sci. 32 (9) (2022)
Edward Hermann Haeusler, José Flávio Cavalcante Barros Junior
On the horizontal compression of dag-derivations in minimal purely implicational logic. CoRR (2022)
Bernardo Alkmim, Edward Hermann Haeusler, Cláudia Nalon
A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals. Description Logics (2022)
Lew Gordeev, Edward Hermann Haeusler
On proof theory in computational complexity: overview. CoRR (2022)
Edward Hermann Haeusler
. FLAP 9 (1) (2022)
Vaston Conçalves da Costa, Edward Hermann Haeusler
Strong normalization for Np-systems via Mimp-graphs. FLAP 9 (1) (2022)
Mariana D. A. Salgueiro, Veronica dos Santos, André L. C. Rêgo, Daniel S. Guimarães, Jefferson B. Santos, Edward Hermann Haeusler, Marcos V. Villas, Sérgio Lifschitz
Searching for Researchers: an Ontology-based NoSQL Database System Approach and Practical Implementation. J. Inf. Data Manag. 13 (5) (2022)
Mariana D. A. Salgueiro, Sérgio Lifschitz, Edward Hermann Haeusler, Veronica dos Santos, Alexandre Plastino
A Study of Database Models for Social Network Analysis. SBBD (2022)
Luciana de Sá Silva Perciliano, Veronica dos Santos, Fernanda Baião, Edward Hermann Haeusler, Sérgio Lifschitz, Ana Carolina Almeida
Inferencing Relational Database Tuning Actions with OnDBTuning Ontology. SBBD (2021)
Bruno Lopes, Cláudia Nalon, Edward Hermann Haeusler
Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic Logic. ACM Trans. Comput. Log. 22 (2) (2021)
Edward Hermann Haeusler
Yet another argument in favour of NP=CoNP. CoRR (2021)
Bruno Cuconato, Jefferson de Barros Santos, Edward Hermann Haeusler
A logical framework with a graph meta-language. CoRR (2021)
Raphael Marins, Rafael Pereira de Oliveira, Edward Hermann Haeusler, Sérgio Lifschitz, Daniel Schwabe, Ana Carolina Almeida
Outer-Tuning: an Ontology-based Extensible Framework for Supporting Database Automatic Tuning. J. Inf. Data Manag. 12 (2) (2021)
Lorenzo Saraiva, Edward Hermann Haeusler, Vaston G. Costa, Marcos Kalinowski
Non-Functional Requirements for Quantum Programs. Q-SET@QCE (2021)
Julio O. Prieto Entenza, Edward Hermann Haeusler, Sérgio Lifschitz
Efficient Out-of-Core Contig Generation. BSB (2020)
Edward Hermann Haeusler
Going from the huge to the small: Efficient succinct representation of proofs in Minimal implicational logic. CoRR (2020)
Bernardo Alkmim, Edward Hermann Haeusler, Daniel Schwabe
Reasoning over Knowledge Graphs in an Intuitionistic Description Logic. XAILA@JURIX (2020)
Lew Gordeev, Edward Hermann Haeusler
Proof Compression and NP Versus PSPACE II: Addendum. CoRR (2020)
Edward Hermann Haeusler
. CoRR (2020)
Edward Hermann Haeusler
Super-Polynomial Proofs. CoRR (2020)
Cristian Tristão, Antonio Basílio de Miranda, Edward Hermann Haeusler, Sérgio Lifschitz
Relational Text-Type for Biological Sequences. ER (Workshops) (2020)
Bernardo Alkmim, Edward Hermann Haeusler, Daniel Schwabe
A Case Study Integrating Knowledge Graphs and Intuitionistic Logic. AICOL (2020)
Lew Gordeev, Edward Hermann Haeusler
On proof theory in computer science. CoRR (2020)
Jefferson de Barros Santos, Bruno Lopes Vieira, Edward Hermann Haeusler
Revisiting Counter-model Generation for Minimal Implicational Logic. CoRR (2019)
Ruhan dos Reis, Markus Endler, Vitor Pinheiro de Almeida, Edward Hermann Haeusler
A Soft Real-Time Stream Reasoning Service for the Internet of Things. ICSC (2019)
Guilherme F. Lima, Rodrigo C. M. Santos, Roberto Ierusalimschy, Edward Hermann Haeusler, Francisco Sant'Anna
A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu. J. Syst. Archit. 97 (2019)
Elvismary Molina de Armas, Paulo Cavalcanti Gomes Ferreira, Edward Hermann Haeusler, Maristela Terto de Holanda, Sérgio Lifschitz
K-mer Mapping and RDBMS Indexes. BSB (2019)
Lev Gordeev, Edward Hermann Haeusler
Proof Compression and NP Versus PSPACE. Stud Logica 107 (1) (2019)
Rodrigo C. M. Santos, Guilherme F. Lima, Francisco Sant'Anna, Roberto Ierusalimschy, Edward Hermann Haeusler
A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu. LCTES (2018)
Ana Carolina Almeida, Edward Hermann Haeusler, Sérgio Lifschitz, Rafael Pereira de Oliveira, Daniel Schwabe
Outer-Tuning: sintonia Fina Automática Baseada em Ontologia. SBBD Companion (2018)
Edward Hermann Haeusler, Alexandre Rademaker
On How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies. CoRR (2018)
Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler
Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach. Theor. Comput. Sci. 744 (2018)
Bernardo Alkmim, Edward Hermann Haeusler, Alexandre Rademaker
Utilizing iALC to Formalize the Brazilian OAB Exam. XAILA@JURIX (2018)
Walter Carnielli, Edward Hermann Haeusler, Petrucio Viana
Foreword. Log. J. IGPL 25 (4) (2017)
Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira
A Proximity-Based Understanding of Conditionals. Trans. Large Scale Data Knowl. Centered Syst. 34 (2017)
Markus Endler, Jean-Pierre Briot, Francisco Silva E. Silva, Vitor Pinheiro de Almeida, Edward Hermann Haeusler
An Approach for Real-Time Stream Reasoning for the Internet of Things. ICSC (2017)
Christiano Braga, Edward Hermann Haeusler
Normative Multi-Agent Systems and Kelsenian Jurisprudence. CoRR (2017)
Guilherme Augusto Ferreira Lima, Roberto Gerson De Albuquerque Azevedo, Sérgio Colcher, Edward Hermann Haeusler
Converting NCL Documents to Smix and Fixing Their Semantics and Interpretation in the Process. WebMedia (2017)
Juan Carlos Nieves, Edward Hermann Haeusler, Bruno Lopes Vieira
Editorial. Computación y Sistemas 21 (3) (2017)
Pedro Delfino, Bruno Cuconato, Edward Hermann Haeusler, Alexandre Rademaker
Passing the Brazilian OAB Exam: Data Preparation and Some Experiments. JURIX (2017)
Pedro Delfino, Bruno Cuconato, Edward Hermann Haeusler, Alexandre Rademaker
Passing the Brazilian OAB Exam: data preparation and some experiments. CoRR (2017)
Jefferson de Barros Santos, Bruno Lopes Vieira, Edward Hermann Haeusler
A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic. Electron. Notes Theor. Comput. Sci. 324 (2016)
Hugo Daniel Macedo, Edward Hermann Haeusler, Alex de V. Garcia
Defining Effectiveness Using Finite Sets A Study on Computability. Electron. Notes Theor. Comput. Sci. 324 (2016)
Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler
Propositional Dynamic Logic for Petri Nets with Iteration. ICTAC (2016)
Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira
PUC-Logic. DEXA Workshops (2016)
Lew Gordeev, Edward Hermann Haeusler
NP vs PSPACE. CoRR (2016)
Elvismary Molina de Armas, Edward Hermann Haeusler, Sérgio Lifschitz, Maristela Terto de Holanda, Waldeyr Mendes Cordeiro da Silva, Paulo Cavalcanti Gomes Ferreira
K-mer Mapping and de Bruijn graphs: The case for velvet fragment assembly. BIBM (2016)
Uwe Wolter, Alfio Martini, Edward Hermann Haeusler
Towards a uniform presentation of logical systems by indexed categories and adjoint situations. J. Log. Comput. 25 (1) (2015)
Edward Hermann Haeusler
Finiteness and Computation in Toposes. DCM (2015)
Rafael Pereira de Oliveira, Sérgio Lifschitz, Ana Carolina Almeida, Edward Hermann Haeusler
Projeto e implementação do framework Outer-tuning: auto sintonia e ontologia para bancos de dados relacionais [Design of the Outer-tuning framework: self-tuning and ontology for relational databases]. SBSI (2015)
Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler
Reasoning about Multi-Agent Systems Using Stochastic Petri Nets. PAAMS (Special Sessions) (2015)
Edward Hermann Haeusler
How Many Times do We Need an Assumption to Prove a Tautology in Minimal Logic? Examples on the Compression Power of Classical Reasoning. Electron. Notes Theor. Comput. Sci. 315 (2015)
Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev
On Strong Normalization in Proof-Graphs for Propositional Logic. LSFA (2015)
Cleyton Slaviero, Edward Hermann Haeusler
Exploring concurrency on computational thinking tools. IHC (2015)
Cláudia Nalon, Bruno Lopes, Gilles Dowek, Edward Hermann Haeusler
A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics. LSFA (2014)
Edward Hermann Haeusler, Mauricio Ayala-Rincón
On the Computability of Relations on λ-Terms and Rice's Theorem - The Case of the Expansion Problem for Explicit Substitutions. LATIN (2014)
Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira
PUC-Logic. CoRR (2014)
Edward Hermann Haeusler
How many times do we need and assumption ? CoRR (2014)
Isabel Cafezeiro, José Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler
Specifying ubiquitous systems through the algebra of contextualized ontologies. Knowl. Eng. Rev. 29 (2) (2014)
Cécilia Englander, Edward Hermann Haeusler, Luiz Carlos Pereira
Finitely many-valued logics and natural deduction. Log. J. IGPL 22 (2) (2014)
Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira
Intuitionistic PUC-Logic for Constructive Counterfactuals. CoRR (2014)
Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira
PUC-Logic embedding of Lewis' Deontic Logics. CoRR (2014)
Cécilia Englander, Gilles Dowek, Edward Hermann Haeusler
Yet Another Bijection Between Sequent Calculus and Natural Deduction. LSFA (2014)
Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler
Propositional dynamic logic for Petri nets. Log. J. IGPL 22 (5) (2014)
Edward Hermann Haeusler, Alexandre Rademaker
An Intuitionisticaly based Description Logic. CoRR (2014)
Edward Hermann Haeusler
Propositional Logics Complexity and the Sub-Formula Property. DCM (2014)
Edward Hermann Haeusler
How Many Times Do We Need an Assumption to Prove a Tautology in Minimal Logic: An Example on the Compression Power of Classical Reasoning. LANMR (2014)
Vitor Pinheiro de Almeida, Markus Endler, Edward Hermann Haeusler
A framework for customizing the mobile and remote monitoring of patients with chronic diseases. Healthcom (2014)
Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler
Extending Propositional Dynamic Logic for Petri Nets. LSFA (2013)
Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev
Proof-graphs for Minimal Implicational Logic. DCM (2013)
Edward Hermann Haeusler
A celebration of Alan Turing's achievements in the year of his centenary. Int. Trans. Oper. Res. 19 (3) (2012)
Lew Gordeev, Edward Hermann Haeusler, Luiz Carlos Pereira
Propositional proof compressions and DNF logic. Log. J. IGPL 19 (1) (2011)
Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker
Intuitionistic Description Logic and Legal Reasoning. DEXA Workshops (2011)
Valeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker
Constructive Description Logics Hybrid-Style. Electron. Notes Theor. Comput. Sci. 273 (2011)
Luiz Carlos Pereira, Edward Hermann Haeusler, Vaston G. Costa, Wagner Sanz
A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic. Stud Logica 96 (1) (2010)
Edward Hermann Haeusler, Luis Fariñas del Cerro
Preface. LSFA (2010)
Christiano Braga, Edward Hermann Haeusler
Lightweight analysis of access control models with description logic. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker
Intuitionistic Logic and Legal Ontologies. JURIX (2010)
Alexandre Rademaker, Edward Hermann Haeusler
Reasoning. J. Univers. Comput. Sci. 16 (20) (2010)
Cécilia Englander, Edward Hermann Haeusler
On the 2-Categorical View of Proofs. ISoLA (1) (2010)
Luiz Carlos Castro Guedes, Edward Hermann Haeusler
Action Algebras and Model Algebras in Denotational Semantics. Semantics and Algebraic Specification (2009)
Vaston G. Costa, Wagner Sanz, Edward Hermann Haeusler, Luiz Carlos Pereira
Peirce's Rule in a Full Natural Deduction System. LSFA (2009)
Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler
A Topos-Theoretic Approach to Counterfactual Logic. LSFA (2009)
Edward Hermann Haeusler, Alexandre Rademaker
\mathcal{ALCQI}. ER Workshops (2009)
Mauricio Ayala-Rincón, Edward Hermann Haeusler
Preface. Log. J. IGPL 17 (5) (2009)
Alexandre Rademaker, Edward Hermann Haeusler
Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach. SBIA (2008)
Isabel Cafezeiro, Edward Hermann Haeusler, Alexandre Rademaker
Ontology and Context. PerCom (2008)
Isabel Cafezeiro, José Viterbo Filho, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler
A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing. ISoLA (2008)
Carlos Bazílio, Edward Hermann Haeusler, Markus Endler
Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems. Electron. Notes Theor. Comput. Sci. 184 (2007)
Fernando Náufel do Amaral, Edward Hermann Haeusler
Using the Internal Logic of a Topos to Model Search Spaces for Problems. Log. J. IGPL 15 (5-6) (2007)
Vaston G. Costa, Edward Hermann Haeusler, Eduardo Sany Laber, Loana Tito Nogueira
A note on the size of minimal covers. Inf. Process. Lett. 102 (2-3) (2007)
Isabel Cafezeiro, Edward Hermann Haeusler
Algebraic Framework for Reverse Engineering on Specifications. LAPTEC (2007)
Alfio Martini, Uwe Wolter, Edward Hermann Haeusler
Fibred and Indexed Categories for Abstract Model Theory. Log. J. IGPL 15 (5-6) (2007)
Isabel Cafezeiro, Edward Hermann Haeusler
Semantic Interoperability via Category Theory. ER (Tutorials, Posters, Panels & Industrial Contributions) (2007)

Edward Hermann Haeusler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Edward Hermann Haeusler