A Formalization of Sambin's Normalization for GL. - Luiz Carlos Pereira; Edward Hermann Haeusler (Math. Log. Q., 1993)

Object Oriented Semantics Directed Compiler Generation: A Prototype. - Luiz Carlos Castro Guedes; Edward Hermann Haeusler; José Lucas Rangel (TAPSOFT, 1995)

A Concrete Categorical Model for the Lambek Syntactic Calculus. - Edward Hermann Haeusler; Marcelo da Silva Corrêa (Math. Log. Q., 1997)

Using transition systems to formalize a pattern for time dependable applications. - Edward Hermann Haeusler; Marcus Felipe M. C. Da Fontoura (WORDS (Jan.), 1999)

Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. - Christiano de Oliveira Braga; Edward Hermann Haeusler; José Meseguer 001; Peter D. Mosses (AMAST, 2000)

A logic-based approach for real-time object-oriented software development. - Fernando Náufel do Amaral; Edward Hermann Haeusler (RITA, 2000)

Code migration and program maintainability A categorical perspective. - Alex de V. Garcia; Edward Hermann Haeusler (Inf. Process. Lett., 2001)

Mapping Modular SOS to Rewriting Logic. - Christiano de Oliveira Braga; Edward Hermann Haeusler; José Meseguer 001; Peter D. Mosses (LOPSTR, 2002)

Preface: WoLLIC 2002 - Ruy J. G. B. de Queiroz; Luiz Carlos Pereira; Edward Hermann Haeusler (WoLLIC, 2002)

9th Workshop on Logic, Language, Information and Computation. - Ruy J. G. B. de Queiroz; Luiz Carlos Pereira; Edward Hermann Haeusler (Log. J. IGPL, 2002)

Using Ontologies to Formalize Services Specifications in Multi-agent Systems. - Karin Koogan Breitman; Aluizio Haendchen Filho; Edward Hermann Haeusler; Arndt von Staa (FAABS, 2004)

Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems. - Aluizio Haendchen Filho; Nuno Caminada; Edward Hermann Haeusler; Arndt von Staa (FAABS, 2004)

A Natural Deduction System for Keisler's Quantification. - Christian Jacques Rentería; Edward Hermann Haeusler (WoLLIC, 2004)

On the Selective Lambek Calculus. - Marcelo da Silva Corrêa; Edward Hermann Haeusler (LACL, 2005)

Defining Agents Via Strategies: Towards a View of MAS as Games. - D. R. Vasconcelos; Edward Hermann Haeusler; Mario R. F. Benevides (WRAC, 2005)

Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems. - Carlos Bazílio; Edward Hermann Haeusler; Markus Endler (SBMF, 2005)

Exploring Computational Contents of Intuitionist Proofs. - Geiza Maria Hamazaki da Silva; Edward Hermann Haeusler; Paulo A. S. Veloso (Log. J. IGPL, 2005)

An Ontology-based Approach to the Formalization of Information Security Policies. - Fernando Náufel do Amaral; Carlos Bazílio; Geiza Maria Hamazaki da Silva; Alexandre Rademaker; Edward Hermann Haeusler (EDOC Workshops, 2006)

Referee Assignment in Sports Leagues. - Alexandre R. Duarte; Celso C. Ribeiro; Sebastián Urrutia; Edward Hermann Haeusler (PATAT, 2006)

Semantic Interoperability via Category Theory. - Isabel Cafezeiro; Edward Hermann Haeusler (ER (Tutorials, Posters, Panels & Industrial Contributions), 2007)

Algebraic Framework for Reverse Engineering on Specifications. - Isabel Cafezeiro; Edward Hermann Haeusler (LAPTEC, 2007)

Using the Internal Logic of a Topos to Model Search Spaces for Problems. - Fernando Náufel do Amaral; Edward Hermann Haeusler (Log. J. IGPL, 2007)

Fibred and Indexed Categories for Abstract Model Theory. - Alfio Martini; Uwe Wolter; Edward Hermann Haeusler (Log. J. IGPL, 2007)

A note on the size of minimal covers. - Vaston G. Costa; Edward Hermann Haeusler; Eduardo Sany Laber; Loana Tito Nogueira (Inf. Process. Lett., 2007)

A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing. - Isabel Cafezeiro; José Viterbo Filho; Alexandre Rademaker; Edward Hermann Haeusler; Markus Endler (ISoLA, 2008)

Ontology and Context. - Isabel Cafezeiro; Edward Hermann Haeusler; Alexandre Rademaker (PerCom, 2008)

Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach. - Alexandre Rademaker; Edward Hermann Haeusler (SBIA, 2008)

Action Algebras and Model Algebras in Denotational Semantics. - Luiz Carlos Castro Guedes; Edward Hermann Haeusler (Semantics and Algebraic Specification, 2009)

Is It Important to Explain a Theorem? A Case Study on UML and ALCQI mathcal{ALCQI}. - Edward Hermann Haeusler; Alexandre Rademaker (ER Workshops, 2009)

Peirce's Rule in a Full Natural Deduction System. - Vaston G. Costa; Wagner Sanz; Edward Hermann Haeusler; Luiz Carlos Pereira (LSFA, 2009)

A Topos-Theoretic Approach to Counterfactual Logic. - Ricardo Queiroz de Araujo Fernandes; Edward Hermann Haeusler (LSFA, 2009)

Preface. - Mauricio Ayala-Rincón; Edward Hermann Haeusler (Log. J. IGPL, 2009)

On the 2-Categorical View of Proofs. - Cécilia Englander; Edward Hermann Haeusler (ISoLA (1), 2010)

Intuitionistic Logic and Legal Ontologies. - Edward Hermann Haeusler; Valeria de Paiva; Alexandre Rademaker (JURIX, 2010)

Preface. - Edward Hermann Haeusler; Luis Fariñas del Cerro (LSFA, 2010)

Constructive Description Logics Hybrid-Style. - Valeria de Paiva; Edward Hermann Haeusler; Alexandre Rademaker (HyLo@LICS, 2010)

Lightweight analysis of access control models with description logic. - Christiano Braga; Edward Hermann Haeusler (Innov. Syst. Softw. Eng., 2010)

Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning. - Alexandre Rademaker; Edward Hermann Haeusler (J. Univers. Comput. Sci., 2010)

A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic. - Luiz Carlos Pereira; Edward Hermann Haeusler; Vaston G. Costa; Wagner Sanz (Stud Logica, 2010)

Intuitionistic Description Logic and Legal Reasoning. - Edward Hermann Haeusler; Valeria de Paiva; Alexandre Rademaker (DEXA Workshops, 2011)

Propositional proof compressions and DNF logic. - Lew Gordeev; Edward Hermann Haeusler; Luiz Carlos Pereira (Log. J. IGPL, 2011)

A celebration of Alan Turing's achievements in the year of his centenary. - Edward Hermann Haeusler (Int. Trans. Oper. Res., 2012)

Proof-graphs for Minimal Implicational Logic. - Marcela Quispe-Cruz; Edward Hermann Haeusler; Lew Gordeev (DCM, 2013)

Extending Propositional Dynamic Logic for Petri Nets. - Bruno Lopes 001; Mario R. F. Benevides; Edward Hermann Haeusler (LSFA, 2013)

A framework for customizing the mobile and remote monitoring of patients with chronic diseases. - Vitor Pinheiro de Almeida; Markus Endler; Edward Hermann Haeusler (Healthcom, 2014)

How Many Times Do We Need an Assumption to Prove a Tautology in Minimal Logic: An Example on the Compression Power of Classical Reasoning. - Edward Hermann Haeusler (LANMR, 2014)

On the Computability of Relations on λ-Terms and Rice's Theorem - The Case of the Expansion Problem for Explicit Substitutions. - Edward Hermann Haeusler; Mauricio Ayala-Rincón (LATIN, 2014)

Intuitionistic PUC-Logic for Constructive Counterfactuals. - Ricardo Queiroz de Araujo Fernandes; Edward Hermann Haeusler; Luiz Carlos Pereira (CoRR, 2014)

PUC-Logic embedding of Lewis' Deontic Logics. - Ricardo Queiroz de Araujo Fernandes; Edward Hermann Haeusler; Luiz Carlos Pereira (CoRR, 2014)

Propositional Logics Complexity and the Sub-Formula Property. - Edward Hermann Haeusler (DCM, 2014)

How many times do we need and assumption ? - Edward Hermann Haeusler (CoRR, 2014)

An Intuitionisticaly based Description Logic. - Edward Hermann Haeusler; Alexandre Rademaker (CoRR, 2014)

Yet Another Bijection Between Sequent Calculus and Natural Deduction. - Cécilia Englander; Gilles Dowek; Edward Hermann Haeusler (LSFA, 2014)

How Many Times do We Need an Assumption to Prove a Tautology in Minimal Logic? Examples on the Compression Power of Classical Reasoning. - Edward Hermann Haeusler (LANMR (Selected Papers), 2014)

A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics. - Cláudia Nalon; Bruno Lopes 001; Gilles Dowek; Edward Hermann Haeusler (LSFA, 2014)

Finitely many-valued logics and natural deduction. - Cécilia Englander; Edward Hermann Haeusler; Luiz Carlos Pereira (Log. J. IGPL, 2014)

Propositional dynamic logic for Petri nets. - Bruno Lopes 001; Mario R. F. Benevides; Edward Hermann Haeusler (Log. J. IGPL, 2014)

Specifying ubiquitous systems through the algebra of contextualized ontologies. - Isabel Cafezeiro; José Viterbo; Alexandre Rademaker; Edward Hermann Haeusler; Markus Endler (Knowl. Eng. Rev., 2014)

Exploring concurrency on computational thinking tools. - Cleyton Slaviero; Edward Hermann Haeusler (IHC, 2015)

Reasoning about Multi-Agent Systems Using Stochastic Petri Nets. - Bruno Lopes 001; Mario R. F. Benevides; Edward Hermann Haeusler (PAAMS (Special Sessions), 2015)

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]. - Rafael Pereira de Oliveira; Sérgio Lifschitz; Ana Carolina Almeida; Edward Hermann Haeusler (SBSI, 2015)

Finiteness and Computation in Toposes. - Edward Hermann Haeusler (DCM, 2015)

Defining Effectiveness Using Finite Sets A Study on Computability. - Hugo Daniel Macedo; Edward Hermann Haeusler; Alex de V. Garcia (WEIT, 2015)

On Strong Normalization in Proof-Graphs for Propositional Logic. - Marcela Quispe-Cruz; Edward Hermann Haeusler; Lew Gordeev (LSFA, 2015)

A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic. - Jefferson de Barros Santos; Bruno Lopes Vieira; Edward Hermann Haeusler (WEIT, 2015)

Towards a uniform presentation of logical systems by indexed categories and adjoint situations. - Uwe Wolter; Alfio Martini; Edward Hermann Haeusler (J. Log. Comput., 2015)

K-mer Mapping and de Bruijn graphs: The case for velvet fragment assembly. - Elvismary Molina de Armas; Edward Hermann Haeusler; Sérgio Lifschitz; Maristela Terto de Holanda; Waldeyr Mendes Cordeiro da Silva; Paulo Cavalcanti Gomes Ferreira (BIBM, 2016)

PUC-Logic. - Ricardo Queiroz de Araujo Fernandes; Edward Hermann Haeusler; Luiz Carlos Pereira (DEXA Workshops, 2016)

Propositional Dynamic Logic for Petri Nets with Iteration. - Mario R. F. Benevides; Bruno Lopes 001; Edward Hermann Haeusler (ICTAC, 2016)

NP vs PSPACE. - Lew Gordeev; Edward Hermann Haeusler (CoRR, 2016)

Passing the Brazilian OAB Exam: Data Preparation and Some Experiments. - Pedro Delfino; Bruno Cuconato; Edward Hermann Haeusler; Alexandre Rademaker (JURIX, 2017)

An Approach for Real-Time Stream Reasoning for the Internet of Things. - Markus Endler; Jean-Pierre Briot; Francisco Silva E. Silva; Vitor Pinheiro de Almeida; Edward Hermann Haeusler (ICSC, 2017)

Converting NCL Documents to Smix and Fixing Their Semantics and Interpretation in the Process. - Guilherme Augusto Ferreira Lima; Roberto Gerson De Albuquerque Azevedo; Sérgio Colcher; Edward Hermann Haeusler (WebMedia, 2017)

Normative Multi-Agent Systems and Kelsenian Jurisprudence. - Christiano Braga; Edward Hermann Haeusler (CoRR, 2017)

Editorial. - Juan Carlos Nieves; Edward Hermann Haeusler; Bruno Lopes Vieira (Computación y Sistemas, 2017)

Foreword. - Walter Carnielli; Edward Hermann Haeusler; Petrucio Viana (Log. J. IGPL, 2017)

A Proximity-Based Understanding of Conditionals. - Ricardo Queiroz de Araujo Fernandes; Edward Hermann Haeusler; Luiz Carlos Pereira (Trans. Large Scale Data Knowl. Centered Syst., 2017)

Utilizing iALC to Formalize the Brazilian OAB Exam. - Bernardo Alkmim; Edward Hermann Haeusler; Alexandre Rademaker (XAILA@JURIX, 2018)

Outer-Tuning: sintonia Fina Automática Baseada em Ontologia. - Ana Carolina Almeida; Edward Hermann Haeusler; Sérgio Lifschitz; Rafael Pereira de Oliveira; Daniel Schwabe 001 (SBBD Companion, 2018)

On How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies. - Edward Hermann Haeusler; Alexandre Rademaker (CoRR, 2018)

Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach. - Mario R. F. Benevides; Bruno Lopes 001; Edward Hermann Haeusler (Theor. Comput. Sci., 2018)

Indexed and Fibred Structures for Hoare Logic. - Uwe Wolter; Alfio Martini; Edward Hermann Häusler (LSFA, 2019)

A Soft Real-Time Stream Reasoning Service for the Internet of Things. - Ruhan dos Reis; Markus Endler; Vitor Pinheiro de Almeida; Edward Hermann Haeusler (ICSC, 2019)

K-mer Mapping and RDBMS Indexes. - Elvismary Molina de Armas; Paulo Cavalcanti Gomes Ferreira; Edward Hermann Haeusler; Maristela Terto de Holanda; Sérgio Lifschitz (BSB, 2019)

Revisiting Counter-model Generation for Minimal Implicational Logic. - Jefferson de Barros Santos; Bruno Lopes Vieira; Edward Hermann Haeusler (CoRR, 2019)

A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu. - Guilherme F. Lima; Rodrigo C. M. Santos; Roberto Ierusalimschy; Edward Hermann Haeusler; Francisco Sant'Anna (J. Syst. Archit., 2019)

Proof Compression and NP Versus PSPACE. - Lev Gordeev; Edward Hermann Haeusler (Stud Logica, 2019)

A Case Study Integrating Knowledge Graphs and Intuitionistic Logic. - Bernardo Alkmim; Edward Hermann Haeusler; Daniel Schwabe 001 (AICOL, 2020)

Relational Text-Type for Biological Sequences. - Cristian Tristão; Antonio Basílio de Miranda; Edward Hermann Haeusler; Sérgio Lifschitz (ER (Workshops), 2020)

Reasoning over Knowledge Graphs in an Intuitionistic Description Logic. - Bernardo Alkmim; Edward Hermann Haeusler; Daniel Schwabe 001 (XAILA@JURIX, 2020)

Efficient Out-of-Core Contig Generation. - Julio O. Prieto Entenza; Edward Hermann Haeusler; Sérgio Lifschitz (BSB, 2020)

On the Intrinsic Redundancy in Huge Natural Deduction proofs II: Analysing M⊃ Super-Polynomial Proofs. - Edward Hermann Haeusler (CoRR, 2020)

Proof Compression and NP Versus PSPACE II: Addendum. - Lew Gordeev; Edward Hermann Haeusler (CoRR, 2020)

On proof theory in computer science. - Lew Gordeev; Edward Hermann Haeusler (CoRR, 2020)

Going from the huge to the small: Efficient succinct representation of proofs in Minimal implicational logic. - Edward Hermann Haeusler (CoRR, 2020)

Non-Functional Requirements for Quantum Programs. - Lorenzo Saraiva; Edward Hermann Haeusler; Vaston G. Costa; Marcos Kalinowski (Q-SET@QCE, 2021)

Inferencing Relational Database Tuning Actions with OnDBTuning Ontology. - Luciana de Sá Silva Perciliano; Veronica dos Santos; Fernanda Baião; Edward Hermann Haeusler; Sérgio Lifschitz; Ana Carolina Almeida (SBBD, 2021)

Yet another argument in favour of NP=CoNP. - Edward Hermann Haeusler (CoRR, 2021)

A logical framework with a graph meta-language. - Bruno Cuconato; Jefferson de Barros Santos; Edward Hermann Haeusler (CoRR, 2021)

Outer-Tuning: an Ontology-based Extensible Framework for Supporting Database Automatic Tuning. - Raphael Marins; Rafael Pereira de Oliveira; Edward Hermann Haeusler; Sérgio Lifschitz; Daniel Schwabe 001; Ana Carolina Almeida (J. Inf. Data Manag., 2021)

Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic Logic. - Bruno Lopes 001; Cláudia Nalon; Edward Hermann Haeusler (ACM Trans. Comput. Log., 2021)

A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals. - Bernardo Alkmim; Edward Hermann Haeusler; Cláudia Nalon (Description Logics, 2022)

A Study of Database Models for Social Network Analysis. - Mariana D. A. Salgueiro; Sérgio Lifschitz; Edward Hermann Haeusler; Veronica dos Santos; Alexandre Plastino 001 (SBBD, 2022)

On proof theory in computational complexity: overview. - Lew Gordeev; Edward Hermann Haeusler (CoRR, 2022)

On the horizontal compression of dag-derivations in minimal purely implicational logic. - Edward Hermann Haeusler; José Flávio Cavalcante Barros Junior (CoRR, 2022)

Strong normalization for Np-systems via Mimp-graphs. - Vaston Conçalves da Costa; Edward Hermann Haeusler (FLAP, 2022)

Exponentially huge natural deduction proofs are redundant: Preliminary results on M⊃. - Edward Hermann Haeusler (FLAP, 2022)

De Zolt's postulate: an Abstract Approach. - Eduardo N. Giovannini; Edward Hermann Haeusler; Abel Lassalle-Casanave; Paulo A. S. Veloso (Rev. Symb. Log., 2022)

Indexed and fibered structures for partial and total correctness assertions. - Uwe Wolter; Alfio Ricardo de Brito Martini; Edward Hermann Haeusler (Math. Struct. Comput. Sci., 2022)

Searching for Researchers: an Ontology-based NoSQL Database System Approach and Practical Implementation. - Mariana D. A. Salgueiro; Veronica dos Santos; André L. C. Rêgo; Daniel S. Guimarães; Jefferson de Barros Santos; Edward Hermann Haeusler; Marcos V. Villas; Sérgio Lifschitz (J. Inf. Data Manag., 2022)

Context-Aware Knowledge Graphs Exploratory Search. - Veronica dos Santos; Edward Hermann Haeusler; Daniel Schwabe 001; Sérgio Lifschitz (SBBD, 2023)

A New Data Modeling Approach for Alignment-free Biological Applications. - Diogo Munaro Vieira; Elvismary Molina de Armas; Maria L. G. Jaramillo; Marcos Catanho; Antonio B. de Miranda; Edward Hermann Haeusler; Sérgio Lifschitz (SBBD, 2023)

Intentional Semantics for Molecular Biology. - Edward Hermann Haeusler; Bruno Cuconato; Luiz A. Glatzl; Maria Leandra Guateque; Diogo Munaro Vieira; Elvismary Molina de Armas; Fernanda Baião; Marcos Catanho; Antonio B. de Miranda; Sérgio Lifschitz (BSB, 2023)

Quantum Algorithm for Multiplicative Linear Logic. - Lorenzo Saraiva; Edward Hermann Haeusler; Vaston G. Costa (CoRR, 2023)

Proofs of Equalities NP = coNP = PSPACE: Simplification. - Lev Gordeev; Edward Hermann Haeusler (CoRR, 2023)

An Approach for Modeling and Analysis of Insulin Biosynthesis using Petri Nets. - Maria Leandra Guateque; Antonio Basílio de Miranda; Marcos Catanho; Edward Hermann Haeusler; Sérgio Lifschitz (CIBCB, 2024)

On the Expressiveness of Petri Nets for Modeling Biological Processes: The Case for mRNA Translation and Protein Synthesis. - Luis Henrique Costa Neto; Sérgio Lifschitz; Fernanda Baião; Marcos Catanho; Antonio B. de Miranda; Edward Hermann Haeusler (ER (Workshops), 2024)

A Two-tiered Approach for Knowledge Reasoning. - Fernando Antonio Dantas Gomes Pinto; Jefferson de Barros Santos; Sérgio Lifschitz; Edward Hermann Haeusler (SBBD, 2024)

Towards a Simpler Semantics for Systems Biology. - Luis Henrique Costa Neto; Sérgio Lifschitz; Marcos Catanho; Antonio B. de Miranda; Edward Hermann Haeusler (BSB, 2024)

Deep Reinforcement Learning for Auctions: Evaluating Bidding Strategies Effectiveness and Convergence. - Luis Eduardo Craizer; Edward Hermann Haeusler; Moacyr Alvim Silva (ICAART (1), 2025)

Leveraging Transfer Learning to Improve Convergence in All-Pay Auctions. - Luis Eduardo Craizer; Edward Hermann Haeusler; Moacyr Alvim Silva (ICEIS (1), 2025)

Proceedings of the XX Encontro Brasileiro de Lógica. - Edward Hermann Haeusler; Ciro Russo; Gisele Dalva Secco (J. Log. Comput., 2025)

Contemporary Logic in Brazil - Proceedings of the XX Encontro Brasileiro de Lógica. - Edward Hermann Haeusler; Ciro Russo; Gisele Dalva Secco (Stud Logica, 2025)