Edward Hermann Haeusler

139 papers A* 1B 2C 11Journal 56Unranked 67

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A note on Jerabek's paper "A simplified lower bound for implicational logic". CoRR Lev Gordeev, Edward Hermann Haeusler
2026	—	`conf`	Evaluating the Sample Efficiency of Solomonoff-Inspired Predictive Models. ICAART (4) Cleyton Slaviero, Edward Hermann Haeusler, Luiz Carlos Castro Guedes
2025	—	`conf`	A Note on Learning Algorithms as Approximations of Solomonoff Induction. BRACIS (1) Cleyton Slaviero, Edward Hermann Haeusler
2025	—	`conf`	A Proof of the De Zolt Postulate in Three-Dimensional Space. SBMF Bruno Cuconato, Edward Hermann Haeusler
2025	J	`jnl`	Contemporary Logic in Brazil - Proceedings of the XX Encontro Brasileiro de Lógica. Stud Logica Edward Hermann Haeusler, Ciro Russo, Gisele Dalva Secco
2025	—	`conf`	Deep Reinforcement Learning for Auctions: Evaluating Bidding Strategies Effectiveness and Convergence. ICAART (1) Luis Eduardo Craizer, Edward Hermann Haeusler, Moacyr Alvim Silva
2025	—	`conf`	Integration of the OnDBTuning Ontology into the OuterTuning Framework. ONTOBRAS Eric Ruas Leão, Edward Hermann Haeusler, Sérgio Lifschitz
2025	—	`conf`	LLM Assisted Vocabulary Harmonization. ONTOBRAS Maria Cláudia Reis Cavalcanti, Samir de Oliveira Ramos, Ronaldo Ribeiro Goldschmidt, Wallace Anacleto Pinheiro, Alexandra Miguel Raibolt da Silva, Alex Garcia, Bernardo Alkmim, Robinson Callou, Edward Hermann Haeusler, Cecília de Azevedo Castro César, Ferrucio de Franco Rosa, José Maria Parente de Oliveira
2025	—	`conf`	Leveraging Transfer Learning to Improve Convergence in All-Pay Auctions. ICEIS (1) Luis Eduardo Craizer, Edward Hermann Haeusler, Moacyr Alvim Silva
2025	—	`conf`	Mind the Context: Enriching Knowledge Graphs with Rules and Mappings. ICKG Veronica dos Santos, Daniel de Oliveira, Daniel Schwabe, Edward Hermann Haeusler, Fernanda Baião, Sérgio Lifschitz
2025	J	`jnl`	Proceedings of the XX Encontro Brasileiro de Lógica. J. Log. Comput. Edward Hermann Haeusler, Ciro Russo, Gisele Dalva Secco
2025	—	`conf`	SemantriX: An Explainable Hybrid Model for Aligning Vector Similarity and Semantic Relevance. IJCCI (3) Antony Seabra, Claudio Cavalcante, Edward Hermann Haeusler, Daniel Schwabe, Sérgio Lifschitz
2025	—	`conf`	Unpacking Trust: An Ontological Framework for Information Trustworthiness in Decision-Making. ER (Workshops) Glenda C. M. Amaral, Veronica dos Santos, Edward Hermann Haeusler, Giancarlo Guizzardi, Daniel Schwabe, Sérgio Lifschitz
2024	—	`conf`	A Two-tiered Approach for Knowledge Reasoning. SBBD Fernando Antonio Dantas Gomes Pinto, Jefferson de Barros Santos, Sérgio Lifschitz, Edward Hermann Haeusler
2024	C	`conf`	An Approach for Modeling and Analysis of Insulin Biosynthesis using Petri Nets. CIBCB Maria Leandra Guateque, Antonio Basílio de Miranda, Marcos Catanho, Edward Hermann Haeusler, Sérgio Lifschitz
2024	—	`conf`	On the Expressiveness of Petri Nets for Modeling Biological Processes: The Case for mRNA Translation and Protein Synthesis. ER (Workshops) Luis Henrique Costa Neto, Sérgio Lifschitz, Fernanda Baião, Marcos Catanho, Antonio B. de Miranda, Edward Hermann Haeusler
2024	—	`conf`	Towards a Simpler Semantics for Systems Biology. BSB Luis Henrique Costa Neto, Sérgio Lifschitz, Marcos Catanho, Antonio B. de Miranda, Edward Hermann Haeusler
2023	—	`conf`	A New Data Modeling Approach for Alignment-free Biological Applications. SBBD Diogo Munaro Vieira, Elvismary Molina de Armas, Maria L. G. Jaramillo, Marcos Catanho, Antonio B. de Miranda, Edward Hermann Haeusler, Sérgio Lifschitz
2023	—	`conf`	Context-Aware Knowledge Graphs Exploratory Search. SBBD Veronica dos Santos, Edward Hermann Haeusler, Daniel Schwabe, Sérgio Lifschitz
2023	—	`conf`	Intentional Semantics for Molecular Biology. BSB 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
2023	J	`jnl`	Proofs of Equalities NP = coNP = PSPACE: Simplification. CoRR Lev Gordeev, Edward Hermann Haeusler
2023	J	`jnl`	Quantum Algorithm for Multiplicative Linear Logic. CoRR Lorenzo Saraiva, Edward Hermann Haeusler, Vaston G. Costa
2022	—	`conf`	A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals. Description Logics Bernardo Alkmim, Edward Hermann Haeusler, Cláudia Nalon
2022	—	`conf`	A Study of Database Models for Social Network Analysis. SBBD Mariana D. A. Salgueiro, Sérgio Lifschitz, Edward Hermann Haeusler, Veronica dos Santos, Alexandre Plastino
2022	J	`jnl`	De Zolt's postulate: an Abstract Approach. Rev. Symb. Log. Eduardo N. Giovannini, Edward Hermann Haeusler, Abel Lassalle-Casanave, Paulo A. S. Veloso
2022	J	`jnl`	Exponentially huge natural deduction proofs are redundant: Preliminary results on M FLAP Edward Hermann Haeusler
2022	J	`jnl`	Indexed and fibered structures for partial and total correctness assertions. Math. Struct. Comput. Sci. Uwe Wolter, Alfio Ricardo de Brito Martini, Edward Hermann Haeusler
2022	J	`jnl`	On proof theory in computational complexity: overview. CoRR Lew Gordeev, Edward Hermann Haeusler
2022	J	`jnl`	On the horizontal compression of dag-derivations in minimal purely implicational logic. CoRR Edward Hermann Haeusler, José Flávio Cavalcante Barros Junior
2022	J	`jnl`	Searching for Researchers: an Ontology-based NoSQL Database System Approach and Practical Implementation. J. Inf. Data Manag. 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
2022	J	`jnl`	Strong normalization for Np-systems via Mimp-graphs. FLAP Vaston Conçalves da Costa, Edward Hermann Haeusler
2021	J	`jnl`	A logical framework with a graph meta-language. CoRR Bruno Cuconato, Jefferson de Barros Santos, Edward Hermann Haeusler
2021	—	`conf`	Inferencing Relational Database Tuning Actions with OnDBTuning Ontology. SBBD Luciana de Sá Silva Perciliano, Veronica dos Santos, Fernanda Baião, Edward Hermann Haeusler, Sérgio Lifschitz, Ana Carolina Almeida
2021	—	`conf`	Non-Functional Requirements for Quantum Programs. Q-SET@QCE Lorenzo Saraiva, Edward Hermann Haeusler, Vaston G. Costa, Marcos Kalinowski
2021	J	`jnl`	Outer-Tuning: an Ontology-based Extensible Framework for Supporting Database Automatic Tuning. J. Inf. Data Manag. Raphael Marins, Rafael Pereira de Oliveira, Edward Hermann Haeusler, Sérgio Lifschitz, Daniel Schwabe, Ana Carolina Almeida
2021	J	`jnl`	Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic Logic. ACM Trans. Comput. Log. Bruno Lopes, Cláudia Nalon, Edward Hermann Haeusler
2021	J	`jnl`	Yet another argument in favour of NP=CoNP. CoRR Edward Hermann Haeusler
2020	—	`conf`	A Case Study Integrating Knowledge Graphs and Intuitionistic Logic. AICOL Bernardo Alkmim, Edward Hermann Haeusler, Daniel Schwabe
2020	—	`conf`	Efficient Out-of-Core Contig Generation. BSB Julio O. Prieto Entenza, Edward Hermann Haeusler, Sérgio Lifschitz
2020	J	`jnl`	Exponentially Huge Natural Deduction proofs are Redundant: Preliminary results on M CoRR Edward Hermann Haeusler
2020	J	`jnl`	Going from the huge to the small: Efficient succinct representation of proofs in Minimal implicational logic. CoRR Edward Hermann Haeusler
2020	J	`jnl`	On proof theory in computer science. CoRR Lew Gordeev, Edward Hermann Haeusler
2020	J	`jnl`	On the Intrinsic Redundancy in Huge Natural Deduction proofs II: Analysing M CoRR Edward Hermann Haeusler
2020	J	`jnl`	Proof Compression and NP Versus PSPACE II: Addendum. CoRR Lew Gordeev, Edward Hermann Haeusler
2020	—	`conf`	Reasoning over Knowledge Graphs in an Intuitionistic Description Logic. XAILA@JURIX Bernardo Alkmim, Edward Hermann Haeusler, Daniel Schwabe
2020	—	`conf`	Relational Text-Type for Biological Sequences. ER (Workshops) Cristian Tristão, Antonio Basílio de Miranda, Edward Hermann Haeusler, Sérgio Lifschitz
2019	—	`conf`	A Soft Real-Time Stream Reasoning Service for the Internet of Things. ICSC Ruhan dos Reis, Markus Endler, Vitor Pinheiro de Almeida, Edward Hermann Haeusler
2019	J	`jnl`	A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu. J. Syst. Archit. Guilherme F. Lima, Rodrigo C. M. Santos, Roberto Ierusalimschy, Edward Hermann Haeusler, Francisco Sant'Anna
2019	—	`conf`	K-mer Mapping and RDBMS Indexes. BSB Elvismary Molina de Armas, Paulo Cavalcanti Gomes Ferreira, Edward Hermann Haeusler, Maristela Terto de Holanda, Sérgio Lifschitz
2019	J	`jnl`	Proof Compression and NP Versus PSPACE. Stud Logica Lev Gordeev, Edward Hermann Haeusler
2019	J	`jnl`	Revisiting Counter-model Generation for Minimal Implicational Logic. CoRR Jefferson de Barros Santos, Bruno Lopes Vieira, Edward Hermann Haeusler
2018	B	`conf`	A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu. LCTES Rodrigo C. M. Santos, Guilherme F. Lima, Francisco Sant'Anna, Roberto Ierusalimschy, Edward Hermann Haeusler
2018	J	`jnl`	On How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies. CoRR Edward Hermann Haeusler, Alexandre Rademaker
2018	—	`conf`	Outer-Tuning: sintonia Fina Automática Baseada em Ontologia. SBBD Companion Ana Carolina Almeida, Edward Hermann Haeusler, Sérgio Lifschitz, Rafael Pereira de Oliveira, Daniel Schwabe
2018	J	`jnl`	Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach. Theor. Comput. Sci. Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler
2018	—	`conf`	Utilizing iALC to Formalize the Brazilian OAB Exam. XAILA@JURIX Bernardo Alkmim, Edward Hermann Haeusler, Alexandre Rademaker
2017	J	`jnl`	A Proximity-Based Understanding of Conditionals. Trans. Large Scale Data Knowl. Centered Syst. Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira
2017	—	`conf`	An Approach for Real-Time Stream Reasoning for the Internet of Things. ICSC Markus Endler, Jean-Pierre Briot, Francisco Silva E. Silva, Vitor Pinheiro de Almeida, Edward Hermann Haeusler
2017	—	`conf`	Converting NCL Documents to Smix and Fixing Their Semantics and Interpretation in the Process. WebMedia Guilherme Augusto Ferreira Lima, Roberto Gerson de Albuquerque Azevedo, Sérgio Colcher, Edward Hermann Haeusler
2017	J	`jnl`	Editorial. Computación y Sistemas Juan Carlos Nieves, Edward Hermann Haeusler, Bruno Lopes Vieira
2017	J	`jnl`	Foreword. Log. J. IGPL Walter Carnielli, Edward Hermann Haeusler, Petrucio Viana
2017	J	`jnl`	Normative Multi-Agent Systems and Kelsenian Jurisprudence. CoRR Christiano Braga, Edward Hermann Haeusler
2017	C	`conf`	Passing the Brazilian OAB Exam: Data Preparation and Some Experiments. JURIX Pedro Delfino, Bruno Cuconato, Edward Hermann Haeusler, Alexandre Rademaker
2017	J	`jnl`	Passing the Brazilian OAB Exam: data preparation and some experiments. CoRR Pedro Delfino, Bruno Cuconato, Edward Hermann Haeusler, Alexandre Rademaker
2016	—	`conf`	K-mer Mapping and de Bruijn graphs: The case for velvet fragment assembly. BIBM Elvismary Molina de Armas, Edward Hermann Haeusler, Sérgio Lifschitz, Maristela Terto de Holanda, Waldeyr Mendes Cordeiro da Silva, Paulo Cavalcanti Gomes Ferreira
2016	J	`jnl`	NP vs PSPACE. CoRR Lew Gordeev, Edward Hermann Haeusler
2016	—	`conf`	PUC-Logic. DEXA Workshops Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira
2016	C	`conf`	Propositional Dynamic Logic for Petri Nets with Iteration. ICTAC Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler
2015	—	`conf`	A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic. WEIT Jefferson de Barros Santos, Bruno Lopes Vieira, Edward Hermann Haeusler
2015	—	`conf`	Defining Effectiveness Using Finite Sets A Study on Computability. WEIT Hugo Daniel Macedo, Edward Hermann Haeusler, Alex de V. Garcia
2015	—	`conf`	Exploring concurrency on computational thinking tools. IHC Cleyton Slaviero, Edward Hermann Haeusler
2015	—	`conf`	Finiteness and Computation in Toposes. DCM Edward Hermann Haeusler
2015	—	`conf`	On Strong Normalization in Proof-Graphs for Propositional Logic. LSFA Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev
2015	—	`conf`	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 Rafael Pereira de Oliveira, Sérgio Lifschitz, Ana Carolina Almeida, Edward Hermann Haeusler
2015	—	`conf`	Reasoning about Multi-Agent Systems Using Stochastic Petri Nets. PAAMS (Special Sessions) Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler
2015	J	`jnl`	Towards a uniform presentation of logical systems by indexed categories and adjoint situations. J. Log. Comput. Uwe Wolter, Alfio Martini, Edward Hermann Haeusler
2014	—	`conf`	A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics. LSFA Cláudia Nalon, Bruno Lopes, Gilles Dowek, Edward Hermann Haeusler
2014	C	`conf`	A framework for customizing the mobile and remote monitoring of patients with chronic diseases. Healthcom Vitor Pinheiro de Almeida, Markus Endler, Edward Hermann Haeusler
2014	J	`jnl`	An Intuitionisticaly based Description Logic. CoRR Edward Hermann Haeusler, Alexandre Rademaker
2014	J	`jnl`	Finitely many-valued logics and natural deduction. Log. J. IGPL Cécilia Englander, Edward Hermann Haeusler, Luiz Carlos Pereira
2014	—	`conf`	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 Edward Hermann Haeusler
2014	—	`conf`	How Many Times do We Need an Assumption to Prove a Tautology in Minimal Logic? Examples on the Compression Power of Classical Reasoning. LANMR (Selected Papers) Edward Hermann Haeusler
2014	J	`jnl`	How many times do we need and assumption ? CoRR Edward Hermann Haeusler
2014	J	`jnl`	Intuitionistic PUC-Logic for Constructive Counterfactuals. CoRR Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira
2014	B	`conf`	On the Computability of Relations on λ-Terms and Rice's Theorem - The Case of the Expansion Problem for Explicit Substitutions. LATIN Edward Hermann Haeusler, Mauricio Ayala-Rincón
2014	J	`jnl`	PUC-Logic embedding of Lewis' Deontic Logics. CoRR Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira
2014	J	`jnl`	PUC-Logic. CoRR Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira
2014	—	`conf`	Propositional Logics Complexity and the Sub-Formula Property. DCM Edward Hermann Haeusler
2014	J	`jnl`	Propositional dynamic logic for Petri nets. Log. J. IGPL Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler
2014	J	`jnl`	Specifying ubiquitous systems through the algebra of contextualized ontologies. Knowl. Eng. Rev. Isabel Cafezeiro, José Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler
2014	—	`conf`	Yet Another Bijection Between Sequent Calculus and Natural Deduction. LSFA Cécilia Englander, Gilles Dowek, Edward Hermann Haeusler
2013	—	`conf`	Extending Propositional Dynamic Logic for Petri Nets. LSFA Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler
2013	—	`conf`	Proof-graphs for Minimal Implicational Logic. DCM Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev
2012	J	`jnl`	A celebration of Alan Turing's achievements in the year of his centenary. Int. Trans. Oper. Res. Edward Hermann Haeusler
2011	—	`conf`	Intuitionistic Description Logic and Legal Reasoning. DEXA Workshops Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker
2011	—	`ed.`	Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010 LSFA Edward Hermann Haeusler, Luis Fariñas del Cerro
2011	J	`jnl`	Propositional proof compressions and DNF logic. Log. J. IGPL Lew Gordeev, Edward Hermann Haeusler, Luiz Carlos Pereira
2010	J	`jnl`	A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic. Stud Logica Luiz Carlos Pereira, Edward Hermann Haeusler, Vaston G. Costa, Wagner Sanz
2010	—	`conf`	Constructive Description Logics Hybrid-Style. HyLo@LICS Valeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker
2010	C	`conf`	Intuitionistic Logic and Legal Ontologies. JURIX Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker
2010	J	`jnl`	Lightweight analysis of access control models with description logic. Innov. Syst. Softw. Eng. Christiano Braga, Edward Hermann Haeusler
2010	—	`conf`	On the 2-Categorical View of Proofs. ISoLA (1) Cécilia Englander, Edward Hermann Haeusler
2010	—	`conf`	Preface. LSFA Edward Hermann Haeusler, Luis Fariñas del Cerro
2010	J	`jnl`	Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and J. Univers. Comput. Sci. Alexandre Rademaker, Edward Hermann Haeusler
2009	—	`conf`	A Topos-Theoretic Approach to Counterfactual Logic. LSFA Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler
2009	—	`conf`	Action Algebras and Model Algebras in Denotational Semantics. Semantics and Algebraic Specification Luiz Carlos Castro Guedes, Edward Hermann Haeusler
2009	—	`conf`	Is It Important to Explain a Theorem? A Case Study on UML and ER Workshops Edward Hermann Haeusler, Alexandre Rademaker
2009	—	`conf`	Peirce's Rule in a Full Natural Deduction System. LSFA Vaston G. Costa, Wagner Sanz, Edward Hermann Haeusler, Luiz Carlos Pereira
2009	J	`jnl`	Preface. Log. J. IGPL Mauricio Ayala-Rincón, Edward Hermann Haeusler
2008	C	`conf`	A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing. ISoLA Isabel Cafezeiro, José Viterbo Filho, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler
2008	A*	`conf`	Ontology and Context. PerCom Isabel Cafezeiro, Edward Hermann Haeusler, Alexandre Rademaker
2008	—	`ed.`	Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2007, Ouro Preto, Brazil, August 28-29, 2007 LSFA Mauricio Ayala-Rincón, Edward Hermann Haeusler
2008	—	`conf`	Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach. SBIA Alexandre Rademaker, Edward Hermann Haeusler
2007	J	`jnl`	A note on the size of minimal covers. Inf. Process. Lett. Vaston G. Costa, Edward Hermann Haeusler, Eduardo Sany Laber, Loana Tito Nogueira
2007	—	`conf`	Algebraic Framework for Reverse Engineering on Specifications. LAPTEC Isabel Cafezeiro, Edward Hermann Haeusler
2007	J	`jnl`	Fibred and Indexed Categories for Abstract Model Theory. Log. J. IGPL Alfio Martini, Uwe Wolter, Edward Hermann Haeusler
2007	—	`conf`	Preface. LSFA Mauricio Ayala-Rincón, Edward Hermann Haeusler
2007	—	`conf`	Semantic Interoperability via Category Theory. ER (Tutorials, Posters, Panels & Industrial Contributions) Isabel Cafezeiro, Edward Hermann Haeusler
2007	J	`jnl`	Using the Internal Logic of a Topos to Model Search Spaces for Problems. Log. J. IGPL Fernando Náufel do Amaral, Edward Hermann Haeusler
2006	—	`conf`	An Ontology-based Approach to the Formalization of Information Security Policies. EDOC Workshops Fernando Náufel do Amaral, Carlos Bazílio, Geiza Maria Hamazaki da Silva, Alexandre Rademaker, Edward Hermann Haeusler
2006	C	`conf`	Referee Assignment in Sports Leagues. PATAT Alexandre R. Duarte, Celso C. Ribeiro, Sebastián Urrutia, Edward Hermann Haeusler
2005	—	`conf`	Defining Agents Via Strategies: Towards a View of MAS as Games. WRAC D. R. Vasconcelos, Edward Hermann Haeusler, Mario R. F. Benevides
2005	J	`jnl`	Exploring Computational Contents of Intuitionist Proofs. Log. J. IGPL Geiza Maria Hamazaki da Silva, Edward Hermann Haeusler, Paulo A. S. Veloso
2005	—	`conf`	Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems. SBMF Carlos Bazílio, Edward Hermann Haeusler, Markus Endler
2005	—	`conf`	On the Selective Lambek Calculus. LACL Marcelo da Silva Corrêa, Edward Hermann Haeusler
2004	C	`conf`	A Natural Deduction System for Keisler's Quantification. WoLLIC Christian Jacques Rentería, Edward Hermann Haeusler
2004	—	`conf`	Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems. FAABS Aluizio Haendchen Filho, Nuno Caminada, Edward Hermann Haeusler, Arndt von Staa
2004	—	`conf`	Using Ontologies to Formalize Services Specifications in Multi-agent Systems. FAABS Karin Koogan Breitman, Aluizio Haendchen Filho, Edward Hermann Haeusler, Arndt von Staa
2002	C	`ed.`	9th Workhop on Logic, Language, Information and Computation, WoLLIC 2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002 WoLLIC Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler
2002	J	`jnl`	9th Workshop on Logic, Language, Information and Computation. Log. J. IGPL Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler
2002	C	`conf`	Mapping Modular SOS to Rewriting Logic. LOPSTR Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses
2002	C	`conf`	Preface: WoLLIC 2002 WoLLIC Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler
2001	J	`jnl`	Code migration and program maintainability A categorical perspective. Inf. Process. Lett. Alex de V. Garcia, Edward Hermann Haeusler
2000	J	`jnl`	A logic-based approach for real-time object-oriented software development. RITA Fernando Náufel do Amaral, Edward Hermann Haeusler
2000	—	`conf`	Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. AMAST Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses
1999	—	`conf`	Using transition systems to formalize a pattern for time dependable applications. WORDS (Jan.) Edward Hermann Haeusler, Marcus Felipe M. C. Da Fontoura
1997	J	`jnl`	A Concrete Categorical Model for the Lambek Syntactic Calculus. Math. Log. Q. Edward Hermann Haeusler, Marcelo da Silva Corrêa
1995	—	`conf`	Object Oriented Semantics Directed Compiler Generation: A Prototype. TAPSOFT Luiz Carlos Castro Guedes, Edward Hermann Haeusler, José Lucas Rangel
1993	J	`jnl`	A Formalization of Sambin's Normalization for GL. Math. Log. Q. Luiz Carlos Pereira, Edward Hermann Haeusler