Edward Hermann Haeusler

Bolsista de Produtividade em Pesquisa do CNPq - Nível 2

  • Endereço para acessar este CV: http://lattes.cnpq.br/6075905438020841
  • Última atualização do currículo em 21/09/2018


possui graduação em Matemática pela Universidade de Brasília (1983), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1986) e doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1990). Atualmente é professor associado da Pontifícia Universidade Católica do Rio de Janeiro. Tem experiência na área de Ciência da Computação, com ênfase em Computabilidade e Modelos de Computação, atuando principalmente nos seguintes temas: teoria da prova, proof theory, teoria das categorias, semântica formal e Lógica. Foi coordenador de Pós-Graduação do DI-PUC de 2010-2 a 2014-1 (Texto informado pelo autor)


Identificação


Nome
Edward Hermann Haeusler
Nome em citações bibliográficas
HAEUSLER, E. H.;Haeusler, Edward Hermann;Haeusler, Edward H.;Hausler, E. H.;Häusler, E. H.;HAEUSLER, EDWARD

Endereço


Endereço Profissional
Pontifícia Universidade Católica do Rio de Janeiro, Centro Técnico-Científico, Departamento de Informática.
Rua Marquês de São Vicente, 225
Gávea
22453-900 - Rio de Janeiro, RJ - Brasil
Telefone: (21) 35299385
Fax: (21) 35115645


Formação acadêmica/titulação


1986 - 1990
Doutorado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Prova Automática de Teoremas em Dedução Natural : Uma Abordagem Abstrata, Ano de obtenção: 1990.
Orientador: Tarcísio Haroldo Cavalcanti Pequeno.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
1984 - 1986
Mestrado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Prova Automática de Teoremas: Uma abordagem para melhorar a legibilidade de provas baseada em Dedução Natural,Ano de Obtenção: 1986.
Orientador: Paulo Augusto Silva Veloso.
Grande área: Ciências Exatas e da Terra
1979 - 1983
Graduação em Matemática.
Universidade de Brasília, UnB, Brasil.


Pós-doutorado


2013 - 2014
Pós-Doutorado.
Institut National de Recherche en Informatique et en Automatique - Siège, INRIA, França.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra
2003 - 2003
Pós-Doutorado.
Eberhard Karls Universitãt Tuebingen, EKUT, Alemanha.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra
1994 - 1994
Pós-Doutorado.
Aarhus University, AU, Dinamarca.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.


Atuação Profissional



Sociedade Brasileira de Lógica, SBL, Brasil.
Vínculo institucional

2008 - Atual
Vínculo: Colaborator, Enquadramento Funcional: Primeiro Vice-Presidente


Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Vínculo institucional

1991 - Atual
Vínculo: Servidor público ou celetista, Enquadramento Funcional: PROFESSOR ASSOCIADO, Carga horária: 44

Vínculo institucional

1985 - 1986
Vínculo: Servidor público ou celetista, Enquadramento Funcional: INSTRUTOR HORISTA, Carga horária: 8

Atividades

11/2001 - Atual
Direção e administração, Centro Técnico-Científico, Departamento de Informática.

Cargo ou função
Membro Titular da Comissão de Pós-Graduação do Departamento de Informática.
3/2000 - Atual
Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática.

3/1999 - Atual
Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática.

3/1996 - Atual
Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática.

3/1996 - Atual
Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática.

8/1992 - Atual
Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática.

3/1991 - Atual
Ensino, Informática, Nível: Pós-Graduação

Disciplinas ministradas
Lógica e Especificação
Computabilidade
Semântica de Linguagens
Teoria das Categorias
Lógica Modal e Temporal
Teoria de Topos I
Teoria de Topos II
Teoria Intuicionista dos Tipos
3/1991 - Atual
Ensino,

Disciplinas ministradas
ICC
Lógica e Especificação
Computabilidade
Semântica de Linguagens de Programação
Teoria da Programação
Linguagens Formais e Autômatos
Estruturas Discretas
Linguagens de Programação I
Introdução a Engenharia
9/2001 - 10/2001
Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática.

Linhas de pesquisa
Organizador do WMF'2001
7/2001 - 7/2001
Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática.

3/2000 - 7/2001
Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática.

3/2001 - 6/2001
Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática.

8/1998 - 4/2001
Direção e administração, Centro Técnico-Científico, Departamento de Informática.

Cargo ou função
Coordenador de Graduação do Departamento de Informática.
3/1999 - 3/2001
Extensão universitária , Centro Técnico-Científico, Departamento de Informática.

Atividade de extensão realizada
Professor do Curso de Especialização em Redes.
3/2000 - 12/2000
Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática.

10/1997 - 10/1999
Direção e administração, Centro Técnico-Científico, Departamento de Informática.

Cargo ou função
Membro Titular da Comissão de Pós-Graduação do Depto de Informática.
5/1999 - 5/1999
Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática.

3/1994 - 12/1998
Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática.

3/1994 - 12/1996
Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática.

1/1996 - 2/1996
Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática.

10/1993 - 12/1995
Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática.

3/1993 - 3/1995
Direção e administração, Centro Técnico-Científico, Departamento de Informática.

Cargo ou função
Coordenador de Graduação do Depto de Informática.
5/1994 - 8/1994
Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática.

10/1992 - 10/1993
Direção e administração, Centro Técnico-Científico, Departamento de Informática.

Cargo ou função
Membro Titular da Comissão de Pós-Graduação do Depto de Informática.

Universidade Federal Fluminense, UFF, Brasil.
Vínculo institucional

1991 - 1991
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Adjunto, Carga horária: 40

Vínculo institucional

1991 - 1991
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Adjunto, Carga horária: 40

Vínculo institucional

1991 - 1991
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Adjunto I, Carga horária: 40

Vínculo institucional

1989 - 1990
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Assistente, Carga horária: 40

Vínculo institucional

1989 - 1990
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Assistente, Carga horária: 40

Vínculo institucional

1986 - 1989
Vínculo: Professor Visitante, Enquadramento Funcional: Professor Assistente, Carga horária: 40

Atividades

12/1989 - 9/1991
Direção e administração, Centro de Estudos Gerais, Departamento de Computação.

Cargo ou função
COORDENACAO DE PESQUISA. COORDENACAO DE PESQUISA..
8/1986 - 8/1991
Pesquisa e desenvolvimento , Centro de Estudos Gerais, Departamento de Computação.

8/1986 - 8/1991
Ensino,

Disciplinas ministradas
ASPECTOS FORMAIS DA COMPUTACAO I E II; SISTEMAS FORMAIS.

Universidade Estácio de Sá, UNESA, Brasil.
Vínculo institucional

1985 - 1986
Vínculo: Servidor público ou celetista, Enquadramento Funcional: PROFESSOR ASSISTENTE, Carga horária: 8
Outras informações
Ensino de Fortran e Estruturas de Dados

Atividades

3/1985 - 7/1986
Ensino,

Disciplinas ministradas
Fortran
Estruturas de Dados


Linhas de pesquisa


1.
Membro de Comitê de Programa SBLP'1996, SBLP'1997, SBLP'1999, SBLP'2000, SBLP'2002, WMF'1998, WMF'1999, WMF'2000, WMF'2001, WMF'2002, AMAST'1999, SBES'1998, SBES'1999, SBES'2000
2.
Vice-Coordenação de Laboratório (LMF) 1993-1995
3.
Coordenacao Tecnica Junto a PUC do Projeto ALQUIMIA: Desenvolvimento de Tecnologia de Migracao de Codigo Baseada em Semantica. Patrocinio PNUD/CPqD de 1994 a 1996
4.
Coordenação do PRovAS TIpos e CAtegorias (PRATICA) (Projeto Integrado) CNPq 1994 a 1998
5.
Coordenação, XXII Brazilian Logic Meeting, Sim, Itatiaia, 25/5/1999-28/5/1999 Apoio CNPq
6.
Presidente de Comitê de Programa do SBLP'2001
7.
Coordenador do GRECO , Projeto CTPETRO I Valor, R$ 30.000,00 de 2000 a 2001
8.
Organizador do WMF'2001
9.
Co-Organizador do Natural Deduction 2001 CNPq
10.
Coordenador Técnico do Projeto: Aplicações de Métodos Formais em Projetos e Desenvolvimento de Softwares Embutidos (Projeto Integrado
11.
International Fellowship no BRICS universidade de Aarhus/Dinamarca
12.
Professor Visitante na Universidade Nova de Lisboa: Colaboração Técnica
13.
Bolsista CNPQ (Níveis IIC, IIB, ID, II (2009-2013)
14.
Consultor adhoc CAPES, FAPERJ, FAPESP, CNPq
15.
Membro do corpo de consultores MEC-SESU
16.
Coordenador Brasileiro do MEFIA : Mathematical and Engeneering Foundations for Interoperability via Architecture Projeto CNPQ-NSF Valor R$ 60.000,00 2001/2003
17.
AUTOMATIZACAO DO RACIOCINIO; TEORIA DA PROGRAMACAO; ESPEC.FORMAL DE LING.DE PROGRAMACAO, LOGICA.


Projetos de pesquisa


2014 - Atual
BJT- Bolsa Jovens Talentos (Dr. Hugo Daniel dos Santos Macedo
Descrição: Bolsa de pesquisa de 3 anos para o Dr. Hugo Macedo realizar trabalho de pesquisa no ambito de Teoria das Categorias em sistemas computacionais e modelos..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (1) .
Integrantes: Edward Hermann Haeusler - Coordenador / Jefferson Santos - Integrante / Hugo Macedo - Integrante / Bruno Lopes Vieira - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2014 - Atual
MCTI/CNPQ/Universal 14/2014 - Faixa B
Descrição: A Teoria das Categorias tem um estreito relacionamento com modelos de semântica para computação e sistemas computacionais, assim como uma forte ligação com a teoria da prova através da semântica para sistemas lógicos via extensões do isomorfismo Curry-Howard. Este projeto de pesquisa investiga como a Teoria da Prova e a Teoria das Categorias podem contribuir como base teórica para a fundamentação de Linguagens e Abordagens Lógicas e Semânticas. OBJETIVO Os objetivos principais deste projeto são: (i) Investigar como técnicas e ferramentas da Teoria das Categorias podem ser usadas no processo de especificação semântica de modelos e sistemas (ii) Investigar como o uso de conceitos, técnicas e abordagens em Teoria da Prova podem ser usados na fundamentação de Linguagens e abordagens lógicas para a representação de conhecimento e modelos de sistemas (provavvelmente com o uso de Ontologias Formais) (iii) Relacionar os ítens i e ii acima através de morfismos composicionais (Funtores) e associar uma semântica computável a estes morfismos..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (4) .
Integrantes: Edward Hermann Haeusler - Coordenador / Isabel Leite Cafezeiro - Integrante / Christiano de Oliveira Braga - Integrante / Geiza Maria Hamazaki da Silva - Integrante / Mario Roberto Folhadela Benevides - Integrante / Alexandre Rademaker - Integrante / Lew Gordeev - Integrante / Luiz Carlos Pereira - Integrante / Vaston Gonçalves Costa - Integrante / Jean Baptiste Joinet - Integrante / Gilles Dowek - Integrante / Marcela Quispe Cruz - Integrante / Jefferson Santos - Integrante / Hugo Macedo - Integrante / Bruno Lopes Vieira - Integrante / Cecilia Lustosa - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2014 - Atual
Certificação de software através de Lógica Dinâmica e Redes de Petri (Edital 29/2014 FAPERJ)
Descrição: Lógica Proposicional Dinâmica (PDL) e ́ um sistema lógico multi-modal utilizada para especificar e verificar propriedades em programas sequenciais. Redes de Petri são um formalismo largamente utilizado na especificação de sistemas concorrentes e possuem uma interpretação/apelo gráfica bastante intuitiva. Neste trabalho apresentam-se aplicações de extensões da Lógica Proposicional Dina?mica onde os programas sa ̃o substituídos por Redes de Petri Estoca ́sticas de forma a efetuar a verificação formal de propriedades em software. O objetivo e ́ converter automaticamente especificações UML em Redes de Petri Estocásticas para efetuar inferências e validar propriedades, certificando o sistema..
Situação: Em andamento; Natureza: Pesquisa.
2014 - Atual
Login- Logic and Information - STIC-AmSUD
Descrição: Cooperação entre PUC-Rio, Universidade de Buenos Aires e INRIA no desenvolvimento de ferramentas e lógicas para o suporte ao projeto e validação de sistemas e modelos computacionais.
Situação: Em andamento; Natureza: Pesquisa.
2013 - Atual
GetFun - Generalizing truth-functionality
Descrição: A coordinated exchange programme for the investigation of compositional meaning in logic and applications. The scientific guideline of the GeTFun project is to study and relate various well-motivated ways in which the attractive properties and meta-properties of truth-functionality may be generalized to cover more extensive logical grounds. Besides the abstract, model- and proof-theoretical aspects, the project will keep a strong focus in meaningful application areas where the complexity of the phenomena involved goes beyond the scope of standard approaches. The impact and relevance of the proposed line of work should accordingly be measured directly by its foundational character with respect to a better and deeper understanding of meaning in logics modeling complex phenomena and, of necessity, suitable general forms of compositional reasoning..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (3) .
Integrantes: Edward Hermann Haeusler - Integrante / Alexandre Rademaker - Integrante / Luiz Carlos Pereira - Integrante / João Marcos Almeida - Integrante / Rajsvan Diaconescu - Integrante / Jean Yves Beziau - Integrante / Carlos Caleiro - Coordenador / Ofer Arieli - Integrante / Arnon Avron - Integrante / Carolina Blasio - Integrante / Ori Lahav - Integrante / Yaroslav Shramko - Integrante / Luca Viganò - Integrante.Financiador(es): Research Executive Agency - Cooperação.
2012 - 2013
Universal 14/2011 - Lógica intuicionista como base para ontologias jurídicas
Descrição: Este projeto visa investigar a efici?encia da l ́ogica descritiva intuicionista como alternativa `a ALC cl ́assica, com foco no dom ́ınio das ontologias jur ́ıdicas. Assim, espera-se promover a consolida ̧ca ̃o de conhecimentos de teoria da prova, focado na prova automa ́tica de teoremas. Al ́em dos estudos sobre l ́ogica descritiva, propo ̃e-se o desenvolvimento de um ferramental para a prova automa ́tica de teoremas atrav ́es de tableaux e dedu ̧ca ̃o natural. Esse mesmo ferramental ser ́a adequado de forma que possa ser utilizado no ensino de l ́ogica em cursos de graduac ̧a ̃o e po ́s-gradua ̧ca ̃o. Por fim, trabalhar-se- ́a num m ́odulo do provador para explicac ̧a ̃o em termos jur ́ıdicos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (3) .
Integrantes: Edward Hermann Haeusler - Coordenador / Valeria de Paiva - Integrante / Mario Roberto Folhadela Benevides - Integrante / Alexandre Rademaker - Integrante / Luiz Carlos Pereira - Integrante / Cecília Englander - Integrante / Bruno Lopes Vieira - Integrante / V. Pinheiro - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 4 / Número de orientações: 2
2010 - Atual
Théories contemporaines de la logique et philosophie du langage : enjeux épistémologiques et sémantiques

Projeto certificado pelo(a) coordenador(a) Luiz Carlos Pinheiro Dias Pereira em 07/03/2018.
Descrição: Estudos lógicos e filosóficos da linguagem. Ênfase em semântica baseada em Teoria da prova.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (4) .
Integrantes: Edward Hermann Haeusler - Integrante / Paulo Augusto Silva Veloso - Integrante / Luiz Carlos Pereira - Coordenador / Cecília Englander - Integrante / Bruno Lopes Vieira - Integrante / Jean Baptiste Joinet - Integrante / Gilles Dowek - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
Número de produções C, T & A: 4
2009 - 2012
Projeto e Desenvolvimento de Redes de Sensores sem Fios
Descrição: Estudo, pesquisa e desenvolvimento de técnicas e métodos para a implementação e validação formal de redes de sensores..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) / Mestrado profissional: (1) / Doutorado: (1) .
Integrantes: Edward Hermann Haeusler - Integrante / Eliana da Silva Almeida - Integrante / Bruno Lopes Vieira - Integrante / Ajejandro Frey - Coordenador / Antonio Loureiro - Integrante.Financiador(es): CAPES - Centro Anhanguera de Promoção e Educação Social - Auxílio financeiro.
2009 - 2011
Modelagem e Desenvolvimento de ferramentas para armazenamento e recuperação de Modelos Hidrodinâmicos
Descrição: Este projeto trata do uso de técnicas conjugadas de reconhecimento de padrão (processamento de sinais) e ontologias (lógica de Descrição), bem como da modelagem (ontologias) de simulações e ensaios em escala de plataformas de petróleo, para a recuperação de informação/conhecimento (Knowledge Mining) via "queries" lógicas. O projeto forneceu ao CENPES/Petrobrás um set bem amplo de suas simulações e ensaios que estavam em estado de material legado.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (1) .
Integrantes: Edward Hermann Haeusler - Coordenador / Geiza Maria Hamazaki da Silva - Integrante / V. Pinheiro - Integrante.Financiador(es): Petróleo Brasileiro - Rio de Janeiro - Matriz - Auxílio financeiro.
2005 - 2007
(CTINFO) Anubis: Um Framework para Análise Formal de Sistemas Multi-Agente para Segurança da Informação
Descrição: Modelagem e Análise de Sistemas Multi-Agentes com camada de Segurança (Trust).
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (4) .
Integrantes: Edward Hermann Haeusler - Coordenador / Isabel Leite Cafezeiro - Integrante / Carlos José Pereira de Lucena - Integrante / Christiano de Oliveira Braga - Integrante / Geiza Maria Hamazaki da Silva - Integrante / Fernando Naufel do Amaral - Integrante / Markus Endler - Integrante / Davi Romero Vasconcelos - Integrante / Juliana Carpes Imperial - Integrante / Mario Roberto Folhadela Benevides - Integrante / Alexandre Rademaker - Integrante / Carlos Bazílio Martins - Integrante / Vaston Gonçalves Costa - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / MODULO SECURITY S.A. - Cooperação.
Número de produções C, T & A: 16 / Número de orientações: 4
2005 - 2006
Teoria da Prova na Fundamentação do Processo de Teoria da Prova na Fundamentação do Processo de Especificação e Validação de Sistemas
Descrição: A presente proposta tem por objetivos a justificação de uma abordagem baseada em teoria da prova para a fundamentação do processo de desenvolvimento e validação de software. Dentro deste escopo tem-se os seguintes objetivos espeçificos: 1- Justificação da abordagem baseda no Isomorfismo Curry-Howard com uso de especificação abstrata de dados e funcionalidades em lógica poli-sortida de primeira ordem, em detrimento da abordagem totalmente construtiva baseada em lógica de alta ordem e teoria intuicionista dos tipos. \item Aprimoramento dos sistemas de Dedução Natural para lógicas de tempo ramificado com uso em análise formal de especificação de sistemas reativos. Trata-se neste caso do aprimoramento de dos sistemas para CTL e CTL* e seu uso em especificação. A abordagem geral para quantificação em Dedução Natural é um resultado em lógica bastante interessante neste ponto, apesar de não estar diretamente conectado com a ciência da computação. 2- Desenvolvimento de critérios de identidade para provas que se mostrem mais adequados no tocante à interpretação, em teoria das categorias, do isomorfismo Curry-Howard. Este tópico está bastante inserido no projeto CAPES-DAAD coordenado pelo autor. 3- Conclusão do trabalho em interoperabilidade formal, com o desenvolvimento da sua contra-partida em teoria da prova. 4- Implementação dos modelos propostos em [Fnaufel] na forma de Framework (software) com análise formal provida por prova de teoremas em Teoria Local dos Conjuntos. Desenvolvimento de alguma ferramenta para o suporte, ao menos semi-automático, a prova de teoremas em Teoria Local dos Conjuntos. 4- Desenvolvimento de sistemas dedutivos para a lógica modal de jogos e definição de um verificador de modelos para a mesma (tarefas independentes). O uso da técnica utilizada em [Renteria & Haeusler] será explorada por Davi Romero (aluno de doutorado) neste contexto. Pesquisa preliminar em lógica modal foi publicada em [MAS e Jogos] pela equipe do autor..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (3) .
Integrantes: Edward Hermann Haeusler - Coordenador / Isabel Leite Cafezeiro - Integrante / Christiano de Oliveira Braga - Integrante / Geiza Maria Hamazaki da Silva - Integrante / Christian Jacques Renteria - Integrante / Fernando Naufel do Amaral - Integrante / Alfio Martini - Integrante / Uwe Wolter - Integrante / Juliana Vizzoto - Integrante / Davi Romero Vasconcelos - Integrante / Juliana Carpes Imperial - Integrante / Mario Roberto Folhadela Benevides - Integrante / Alexandre Rademaker - Integrante / Luiz Carlos Pereira - Integrante / Carlos Bazílio Martins - Integrante.Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
Número de produções C, T & A: 22 / Número de orientações: 5
2004 - 2006
Semântica via Teoria da Prova
Descrição: Projeto de Cooperação CAPES-DAAD. Objetiva o uso de Teoria da Prova para atribuir semântica à sistemas computacioanais , modelos e construções linguísticas..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (3) .
Integrantes: Edward Hermann Haeusler - Coordenador / Marcelo da Silva Corrêa - Integrante / Christian Jacques Renteria - Integrante / Davi Romero Vasconcelos - Integrante / Peter Schroeder-Heister - Integrante / Lew Gordeev - Integrante / Luiz Carlos Pereira - Integrante / Vaston Gonçalves Costa - Integrante / Wagner Sanz - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Deutscher Akademischer Austauschdienst - Auxílio financeiro.
Número de produções C, T & A: 20 / Número de orientações: 3
2000 - 2002
MEFIA : Mathematical and Engeneering Foundations for Interoperability via Architecture (CNPQ-NSF)
Descrição: Os objetivos deste projeto são: (1) O desenvolvimento de fundamentos matemáticos para integrar e interoperar de forma coerente e rigorosa diversos componentes, de sistemas orientados a objetos distribuídos, tais como : descrições de arquitetura, especificações formais e protótipos executáveis. (2) Baseando-se em tais fundamentos, desenvolver uma metodologia para o projeto, desenvolvimento e evolução de sistemas que suporte uma integração transparente de descrições informais e formais de sistemas e torne explícito as restrições que as diferentes visões que os componentes se impõem mutuamente. O desenvolvimento da fundamentação matemática terá seu início com o estudo de uma ampla gama de notações e formalismos, dentre aqueles que se mostram promissores a descrição de sistemas em diferentes níveis, e seus relacionamentos mútuos. Dentre estes estão incluídos modelos semânticos para concorrência e interação, lógicas de especificação de alta ordem, notação de projeto, cálculo de objetos e linguagens de especificação executáveis. Lógica de Reescrita desempenhará um papel importante não só como formalismo executável, mas também como abordagem metalógica reflexiva na qual os formalismos escolhidos e seus relacionamentos serão especificados. Estas especificações serão executadas nas meta-ferramentas desenvolvidas em Maude (uma implementação de lógica de reescrita). O desenvolvimento de uma metodologia baseada nos fundamentos propostos será guiada por estudos de caso nos quais o conjunto de formalismos e seus relacionamentos sistemáticos serão aplicados e testados em aplicações concretas que demonstrem a interoperação dos formalismos e seus benefícios. É esperado que tais fundamentos e metodologia contribuam para o avanço do estado-da-arte em desenvolvimento e evolução de Software, e, indiquem novas ferramentas e métodos que, quando usados de forma apropriada, reduzirão o custo e e esforço na manutenção e desenvolvimento de Sofwtare..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (3) .
Integrantes: Edward Hermann Haeusler - Coordenador / Alex Vasconcelos Garcia - Integrante / Armando Haerberer - Integrante / Tom Maibaum - Integrante / José Luiz Lopes Fiadeiro - Integrante / José Meseguer - Integrante / Peter D Mosses - Integrante / Alfio Martini - Integrante / Paulo Blauth Menezes - Integrante / Carolyn Talcott - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / National Science Foundation - Cooperação.
Número de produções C, T & A: 27 / Número de orientações: 6
1994 - 1998
PRATICA (PRovAs, TIpos e CAtegorias)
Descrição: Modelagem dos aspectos categoricos e algebricos dos diversos Lambda-calculi.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (3) .
Integrantes: Edward Hermann Haeusler - Coordenador / Marcelo da Silva Corrêa - Integrante / Valeria de Paiva - Integrante / Regina Celia Moreth - Integrante / Luiz Carlos Pereira - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 15 / Número de orientações: 3


Projetos de desenvolvimento


2007 - 2010
(DMH) Modelagem e Desenvolvimento de ferramentas para armazenamento e recuperação de Modelos Hidrodinâmicos
Descrição: Modelagem e Desenvolvimento de ferramentas para armazenamento e recuperação de Modelos Hidrodinâmicos.
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) / Doutorado: (1) .
Integrantes: Edward Hermann Haeusler - Coordenador / Geiza Maria Hamazaki da Silva - Integrante / Alexandre Rademaker - Integrante.Financiador(es): Petróleo Brasileiro - Rio de Janeiro - Matriz - Auxílio financeiro.
Número de produções C, T & A: 2
2000 - 2001
(CTPETRO) GRECO : Gerador de Relatórios Reconfigurável
Descrição: O projeto objetiva desenvolver uma nova solução para o problema da emissão de relatórios do atual sistema Petrox. O Petrox é um simulador de processos químicos, desenvolvido pelo CENPES para uso interno à Petrobrás. Ele vem sendo desenvolvido ao longo de mais de uma década, e é constituído de um núcleo básico de cálculo, uma interface para entrada de dados, e um gerador de relatórios. O programa foi inicialmente desenvolvido exclusivamente em Fortran para um computador de grande porte, mas atualmente vem sofrendo modificações com o intuito de facilitar a manutenção e o desenvolvimento de novos módulos. Um protótipo de interface gráfica em C++ foi construído e uma versão operacional está em fase de testes. Também alguns trechos do núcleo de cálculo foram modificados, utilizando rotinas em C. O gerador de relatórios atual é um dos módulos mais antigos. O formato e conteúdo dos relatórios é fixo e está codificado diretamente em Fortran, tornando sua manutenção penosa e custosa. Com o aumento do número de usuários nos diversos órgãos da Companhia, criou-se também uma demanda por relatórios personalizados, cujo custo de implementação é inviável na atual arquitetura. Com o intuito de alavancar a adoção do Petrox em todos os setores da Petrobrás, o SEPROJ decidiu então, junto com o projeto da interface gráfica, reformular a geração de relatórios do simulador. Especificações: 1. Gerador de relatórios consistirá de um módulo executável independente da interface gráfica e do núcleo de simulação principal 2. Sistema deverá executar no mínimo nas seguintes plataformas: Windows 95/98/NT e Linux. 3. Módulo poderá ser executado diretamente, via linha de comando, ou de dentro de outro aplicativo, usando uma chamada ao sistema. 4. Os parâmetros necessários à geração do relatório devem ser todos indicados na linha de comando, usando arquivos de configuração editáveis pelo desenvolvedor ou pelo usuário. 5. Não deve haver restrições quando à localização dos arquivos de configuração e d.
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Doutorado: (2) .
Integrantes: Edward Hermann Haeusler - Coordenador.Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.


Revisor de periódico


2012 - Atual
Periódico: Information and Software Technology
2011 - Atual
Periódico: Journal of the Brazilian Computer Society (Impresso)
2012 - Atual
Periódico: Journal of Logic, Language and Information
2007 - Atual
Periódico: Journal of Logic and Computation

2008 - Atual
Periódico: Journal of Logic and Algebraic Programming

2009 - Atual
Periódico: Science of Computer Programming (Print)

2007 - Atual
Periódico: IEEE-RITA



Revisor de projeto de fomento


2004 - Atual
Agência de fomento: Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ
1995 - 2005
Agência de fomento: Fundação de Amparo à Pesquisa do Estado de São Paulo
1992 - Atual
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico
1991 - Atual
Agência de fomento: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Computabilidade e Modelos de Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.


Idiomas


Alemão
Fala Pouco, Lê Pouco, Escreve Pouco.
Inglês
Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2012
Festschirifft at LSFA 2012 International conference. Celebration's Volume in http://www2.ic.uff.br/~cbraga/hermann50/hermann50.pdf, Workshop in Logical Frameworks with Applications. http://www2.ic.uff.br/~cbraga/hermann50/.
2005
Cientistas do Nosso Estado, FAPERJ.
2001
BEST PAPER AWARD, CHAOS - Belgium (Symposium on Computer Science, Algorithms and Programs (CASYS'2001).


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:93
Total de citações:46
Fator H:3
Haeusler, Edward H  Data: 03/01/2017

Outras
Total de trabalhos:100
Total de citações:316
Edward Haeusler  Data: 16/10/2013

Artigos completos publicados em periódicos

1.
SLAVIERO, C.2018SLAVIERO, C. ; Haeusler, Edward H. . Computational Thinking Tools: Analyzing concurrency and its representations. SBC JOURNAL ON 3D INTERACTIVE SYSTEMS, v. 9, p. 40-52, 2018.

2.
BENEVIDES, M. R. F.2018BENEVIDES, M. R. F. ; LOPES VIEIRA, BRUNO ; Haeusler, Edward Hermann . Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach. THEORETICAL COMPUTER SCIENCE, v. 744, p. 22-36, 2018.

3.
Haeusler, Edward Hermann2016Haeusler, Edward Hermann. Finiteness and Computation in Toposes. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, v. 204, p. 61-77, 2016.

4.
QUISPE-CRUZ, MARCELA2016QUISPE-CRUZ, MARCELA ; HAEUSLER, EDWARD ; GORDEEV, LEW . On Strong Normalization in Proof-Graphs for Propositional Logic. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 323, p. 181-196, 2016.

5.
DE BARROS SANTOS, JEFFERSON2016DE BARROS SANTOS, JEFFERSON ; LOPES VIEIRA, BRUNO ; Haeusler, Edward Hermann . A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 324, p. 165-179, 2016.

6.
MACEDO, HUGO D.2016MACEDO, HUGO D. ; Haeusler, Edward H. ; GARCIA, ALEX . Defining Effectiveness Using Finite Sets A Study on Computability. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 324, p. 91-106, 2016.

7.
HAEUSLER, E. H.2016HAEUSLER, E. H.; Pereira, Luiz Carlos . Two basic results on translations between logics. O QUE NOS FAZ PENSAR (PUCRJ), v. 25, p. 51-54, 2016.

8.
LUSTOSA, C.2015LUSTOSA, C. ; DOWEK, G. ; Haeusler, Edward Hermann . Yet another bijection between Sequent Calculus and Natural Deduction. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 312, p. 107-124, 2015.

9.
NALON, C.2015NALON, C. ; VIEIRA, Bruno Lopes ; DOWEK, G. ; Hæusler, Edward Hermann . A calculus for automatic verification of Petri Nets based on Resolution and Dynamic Logics. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 312, p. 125-141, 2015.

10.
Haeusler, Edward Hermann2015Haeusler, Edward Hermann. Propositional Logics Complexity and the Sub-Formula Property. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, v. 179, p. 1-16, 2015.

11.
Haeusler, Edward Hermann2015Haeusler, Edward Hermann. 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, v. 315, p. 31-46, 2015.

12.
WOLTER, U.2015WOLTER, U. ; MARTINI, A. ; Hausler, E. H. . Towards a uniform presentation of logical systems by indexed categories and adjoint situations. Journal of Logic and Computation (Online), v. 25, p. 57-93, 2015.

13.
CAFEZEIRO, I. L.2014CAFEZEIRO, I. L. ; VITERBO, J. ; RADEMAKER, A. ; HAEUSLER, E. H. ; ENDLER, M. . Specifying ubiquitous systems through the Algebra of Contextualized Ontologies. Knowledge Engineering Review (Print), v. 29, p. 171-185, 2014.

14.
QUISPE-CRUZ, MARCELA2014QUISPE-CRUZ, MARCELA ; Haeusler, Edward Hermann ; GORDEEV, LEW . Proof-graphs for Minimal Implicational Logic. Electronic Proceedings in Theoretical Computer Science, v. 144, p. 16-29, 2014.

15.
VIEIRA, Bruno Lopes2014VIEIRA, Bruno Lopes ; Benevides, M. ; HAEUSLER, E. H. . Extending Propositional Dynamic Logic for Petri Nets. Electronic Notes in Theoretical Computer Science, v. 305, p. 67-83, 2014.

16.
LOPES, B.2014LOPES, B. ; BENEVIDES, M. ; HAEUSLER, E. H. . Propositional dynamic logic for Petri Nets. Logic Journal of the IGPL (Online), v. 22, p. 721-736, 2014.

17.
ENGLANDER, C.2013ENGLANDER, C. ; PEREIRA, L. C. ; Haeusler, Edward Hermann . Finitely many-valued logics and natural deduction. Logic Journal of the IGPL (Print), v. advanc, p. 1-22, 2013.

18.
Haeusler, Edward H.2013Haeusler, Edward H.. A proof-theoretical discussion on the mechanization of propositional logics. Electronic Proceedings in Theoretical Computer Science, v. 113, p. 7-8, 2013.

19.
HAEUSLER, E. H.2013HAEUSLER, E. H.; PEREIRA, L. C. ; VELOSO, P. A. S. . CATEGORIFICAÇÃO, TEORIA DOS CONJUNTOS E FINITUDE. Notae Philosophicae Scientiae Formalis, v. 2, p. 1-22, 2013.

20.
HAEUSLER, E. H.2012HAEUSLER, E. H.. A celebration of Alan Turing's achievements in the year of his centenary. International Transactions in Operational Research, v. 19, p. 487-491, 2012.

21.
VELOSO, P. A. S.2012VELOSO, P. A. S. ; PEREIRA, L. C. ; HAEUSLER, E. H. . On what there must be: existence in Logic and some related riddle. Disputatio (Lisboa), v. 4, p. 889-910, 2012.

22.
Gordeev, L.2011Gordeev, L. ; HAEUSLER, E. H. ; PEREIRA, L. C. . Propositional proof compressions and DNF logic. Logic Journal of the IGPL (Print), v. 19, p. 62-86, 2011.

23.
PAIVA, V.2011PAIVA, V. ; RADEMAKER, A. ; HAEUSLER, E. H. . Constructive Description Logics Hybrid-Style. Electronic Notes in Theoretical Computer Science, v. 273, p. 21-31, 2011.

24.
HAEUSLER, E. H.2011HAEUSLER, E. H.; PAIVA, V. ; RADEMAKER, A. . Using Intuitionistic Logic as a Basis for Legal Ontologies. Informatica e diritto, v. 1, p. 289-298, 2011.

25.
PEREIRA, L. C.2010PEREIRA, L. C. ; Haeusler, Edward H. ; COSTA, V. G. ; SANZ, Wagner . A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic. Studia Logica, v. 96, p. 95-108, 2010.

26.
RADEMAKER, A.2010RADEMAKER, A. ; HAEUSLER, E. H. . Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning. Journal of Universal Computer Science (Online), v. 16, p. 3016-3042, 2010.

27.
CAFEZEIRO, I. L.2010CAFEZEIRO, I. L. ; HAEUSLER, E. H. ; CUKIERMAN, H. L. ; MARQUES, I. C. . Recontando a Computabiliddade. Revista Brasileira de História da Ciência, v. 3, p. 231-251, 2010.

28.
Gordeev, L.2009Gordeev, L. ; HAEUSLER, E. H. ; COSTA, V. G. . Proof compressions with circuit-structured substitutions. Journal of Mathematical Sciences (New York), v. 158, p. 645-658, 2009.

29.
FERNANDES, R.2009FERNANDES, R. ; HAEUSLER, E. H. . A Topos-Theoretic Approach to Counterfactual Logic. Electronic Notes in Theoretical Computer Science, v. 256, p. 33-47, 2009.

30.
COSTA, V. G.2009COSTA, V. G. ; SANZ, Wagner ; HAEUSLER, E. H. ; PEREIRA, L. C. . Peirce's rule in a full Natural Deduction system. Electronic Notes in Theoretical Computer Science, v. 256, p. 5-18, 2009.

31.
BRAGA, C. O.2009BRAGA, C. O. ; HAEUSLER, E. H. . Lightweight analysis of access control models with description logic. Innovations in Systems and Software Engineering (Print), v. 6, p. 115-123, 2009.

32.
VELOSO, P. A. S.2009VELOSO, P. A. S. ; PEREIRA, L. C. ; HAEUSLER, E. H. . Validades existenciais e enigmas relacionados. Dois Pontos (UFPR), v. 6, p. 145-163, 2009.

33.
Gordeev, L.2008 Gordeev, L. ; HAEUSLER, E. H. ; COSTA, V. G. . Proof compressions with circuit-structured substituitions. Zapiski Naucnyh Seminarov Leningradskogo Otdelenia Ordena Lenina Matematiceskogo Instituta im. V.A. Steklova Akademii Nauk SSSR, v. 358, p. 77-99, 2008.

34.
PEREIRA, L. C.2008PEREIRA, L. C. ; HAEUSLER, E. H. ; MEDEIROS, M. P. . Alguns resultados sobre fragmentos da lógica proposicional clássica,. O Que nos Faz Pensar (PUCRJ), v. 23, p. 105-111, 2008.

35.
VASCONCELOS, D. R.2008VASCONCELOS, D. R. ; HAEUSLER, E. H. . Quantifying in extensive games. CLE e-Prints (Online), v. 8, p. 7, 2008.

36.
RADEMAKER, A.2008RADEMAKER, A. ; PEREIRA, L. C. ; Hæusler, Edward Hermann . On The Proof Theory of ALC. CLE e-Prints, v. 8, p. Article 14, 2008.

37.
COSTA, V. G.2007COSTA, V. G. ; HAEUSLER, E. H. ; LABER, E. S. ; NOGUEIRA, L. . A note on the size of minimal covers. Information Processing Letters, v. 102, p. 124-126, 2007.

38.
AMARAL, F. N.2007AMARAL, F. N. ; HAEUSLER, E. H. . Using the internal logic of a topos to model search space for problems. Logic Journal of the IGPL, v. 15, p. 457-474, 2007.

39.
MARTINI, A.2007MARTINI, A. ; WOLTER, U. ; HAEUSLER, E. H. . Fibred and Indexed Categories for Abstract Model Theory. Logic Journal of the IGPL, v. 15, p. 707-739, 2007.

40.
MARTINS, C. B.2007MARTINS, C. B. ; HAEUSLER, E. H. ; ENDLER, M. . Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems. Electronic Notes in Theoretical Computer Science, v. 184, p. 189-207, 2007.

41.
SILVA, G. M. H.2005SILVA, G. M. H. ; HAEUSLER, E. H. ; VELOSO, P. A. S. . Exploring Computational Contents of Intuitionist Proofs. Logic Journal of the IGPL, Oxford - UK, v. 13, n.1, p. 69-93, 2005.

42.
RENTERIA, C. J.2005RENTERIA, C. J. ; HAEUSLER, E. H. . A Natural Deduction System for Keisler Logic. Electronic Notes in Theoretical Computer Science, v. 123, p. 229-240, 2005.

43.
MARTINS, C. B.2005MARTINS, C. B. ; HAEUSLER, E. H. ; ENDLER, M. . Binding Network Topologies to Specifications via Pronouns. Annals of Mathematics, Computing & Teleinformatics, v. 1, p. 1-7, 2005.

44.
RENTERIA, C. J.2003RENTERIA, C. J. ; HAEUSLER, E. H. ; VELOSO, P. A. S. . NUL: A Natural Deduction for Ultrafilter Logic. Bulletin of the Section of Logic, Lodz, v. 32, n.4, p. 191-200, 2003.

45.
RENTERIA, C. J.2002RENTERIA, C. J. ; HAEUSLER, E. H. . Natural Deduction for CTL. Bulletin of the Section of Logic, Polonia, v. 31, n.4, p. 231-240, 2002.

46.
GARCIA, Alex V.2001GARCIA, Alex V. ; HAEUSLER, E. H. . Code Migration and Program Maintainability - A Categorical Perspective. Information Processing Letters, Holanda, v. 79, n.5, p. 249-254, 2001.

47.
GARCIA, Alex V.2000GARCIA, Alex V. ; HAEUSLER, E. H. . A Categorical Model for Programming Languages Translation. Electronic Notes in Theoretical Computer Science, Nova Iorque, v. XX, p. 1-15, 2000.

48.
De MOURA, L.2000De MOURA, L. ; LUCENA, C. J. P. ; HAEUSLER, E. H. . Analysis of Parallel Programs. Electronic Notes in Theoretical Computer Science, Nova Iorque, v. XX, p. 1-15, 2000.

49.
AMARAL, F. N.2000AMARAL, F. N. ; HAEUSLER, E. H. . A Logic-Based Approach for Real-Time Object-Oriented Software Development. Revista de Informática Teórica e Aplicada, Porto Alegre - RS, v. 7, n.1, p. 69-88, 2000.

50.
AMARAL, F. N.2000AMARAL, F. N. ; HAEUSLER, E. H. . Completeness of an Action Logic for Timed Transition Systems. Bulletin of the Section of Logic, Polonia, v. 29, n.4, p. 151-160, 2000.

51.
PEREIRA, L. C.1999PEREIRA, L. C. ; HAEUSLER, E. H. . An Infinitary Extension of MALL-. Bulletin of the Section of Logic, Lodz, v. 28, n.4, p. 225-233, 1999.

52.
HAEUSLER, E. H.;Haeusler, Edward Hermann;Haeusler, Edward H.;Hausler, E. H.;Häusler, E. H.;HAEUSLER, EDWARD1999HAEUSLER, E. H.; PEREIRA, L. C. . The Rules-as-Types Interpretation of Schroeder-Heister's Extension of Natural Deduction. Manuscrito (UNICAMP), Campinas, v. XXII, n.2, p. 149-164, 1999.

53.
VELOSO, P. A. S.1999VELOSO, P. A. S. ; HAEUSLER, E. H. . Extracting Solutions from Constructive Proofs: Towards a Programming Methodology. Brazilian Eletronic Journal Of Mathematics Of Computation, Pelotas, v. 0, n.0, p. 1-31, 1999.

54.
SPINOLA, A. I. A.1999SPINOLA, A. I. A. ; HAEUSLER, E. H. . A Semi-Sheaf Theoretical Approach to Reactive Systems. Brazilian Eletronic Journal Of Mathematics Of Computation, Pelotas, v. 0, n.0, p. 1-17, 1999.

55.
ALMEIDA, E. S.1999ALMEIDA, E. S. ; HAEUSLER, E. H. . Proving Properties in Ordinary Petri Nets using LoRes logical language. Petri Nets Newsletter, Karlsruhe, v. 57, p. 23-36, 1999.

56.
HAEUSLER, E. H.;Haeusler, Edward Hermann;Haeusler, Edward H.;Hausler, E. H.;Häusler, E. H.;HAEUSLER, EDWARD1998HAEUSLER, E. H.; PEREIRA, L. C. . Gentzen'S Second Consistency Proof And Strong Cut-Elimination. Logique et Analyse, Bélgica, v. 153, p. 95-111, 1998.

57.
CORRÊA, M. S.1997CORRÊA, M. S. ; Haeusler, Edward Hermann . A Concrete Categorical Model for the Lambek Syntactic Calculus. Mathematical Logic Quarterly, GREISWALD, ALEMANHA, v. 43, n.2, p. 49-59, 1997.

58.
HAEUSLER, E. H.;Haeusler, Edward Hermann;Haeusler, Edward H.;Hausler, E. H.;Häusler, E. H.;HAEUSLER, EDWARD1996HAEUSLER, E. H.. Generating Programs From Problems: Interaction Between Problem Theory And Type Theory. Investigación Operativa, Chile, v. 5, n.2-3, p. 153-168, 1996.

59.
HAEUSLER, E. H.;Haeusler, Edward Hermann;Haeusler, Edward H.;Hausler, E. H.;Häusler, E. H.;HAEUSLER, EDWARD1993HAEUSLER, E. H.; PEREIRA, L. C. . A formalization of Sambins's normalization for GL. Mathematical Logic Quarterly, GREISWALD, ALEMANHA, v. 39, n.1, p. 133-142, 1993.

60.
HAEUSLER, E. H.;Haeusler, Edward Hermann;Haeusler, Edward H.;Hausler, E. H.;Häusler, E. H.;HAEUSLER, EDWARD1991HAEUSLER, E. H.; BITTEL, O. . On The Relationship Between Well-Orderings In Intuitionistic Type Theory And Data-Types Inductively Defined. O Que nos Faz Pensar, RIO DE JANEIRO, v. MAR/91, p. 61-79, 1991.

61.
HAEUSLER, E. H.;Haeusler, Edward Hermann;Haeusler, Edward H.;Hausler, E. H.;Häusler, E. H.;HAEUSLER, EDWARD1988HAEUSLER, E. H.. Automatic Theorem Proving: An Attempt To Improve The Readability Of Proofs Generated By Resolution.. Contemporary Mathematics. American Mathematical Society, RHODE ISLAND, NY, v. 69, p. 179-188, 1988.

Livros publicados/organizados ou edições
1.
Haeusler, Edward Hermann; SANZ, Wagner ; VIEIRA, Bruno Lopes . Why is this a Proof ? Festschrift for Luiz Carlos Pereira. 1. ed. College Publications, 2015.

2.
PEREIRA, L. C. ; HAEUSLER, E. H. ; PAIVA, V. . A Celebration of Dag Prawitz's Work. 1. ed. Springer-Verlag, 2013.

3.
AYALA-RINCÓN, M. (Org.) ; HAEUSLER, E. H. (Org.) . V.1, n. 18 of Logic Journal of IGPL. Oxford: Oxford University Press, 2009.

4.
AYALA-RINCÓN, M. (Org.) ; HAEUSLER, E. H. (Org.) . Volume 205 ENTCS . Post-Proceedings of LFSA 2007. 205. ed. Amsterdam: Elsevier, 2008. 144p .

5.
BALDWIN, J. T. (Org.) ; QUEIROZ, R. (Org.) ; HAEUSLER, E. H. (Org.) . 8th Workshop on Logic, Language, Informations and Computation. Rio de Janeiro: Sociedade Brasileira de Matemática (SBM), 2003. 183p .

6.
QUEIROZ, R. (Org.) ; PEREIRA, L. C. (Org.) ; HAEUSLER, E. H. (Org.) . Proceedings of the WOLLIC'2002. 1. ed. NY: Elsevier Science, 2002.

7.
HAEUSLER, E. H.; FIGUEIREDO, C. C. (Org.) ; GARCIA, Alex V. (Org.) ; CERQUEIRA, R. (Org.) . Anais do Simpósio Brasileiro de Linguagens de Programação. Rio de Janeiro: PUC-Rio , SBC, 2002.

8.
MUSICANTE, M. A. (Org.) ; HAEUSLER, E. H. (Org.) . Anais do V SImpósio Brasileiro de Linguagens de Programação. Paraná: Universidade Federal do Paraná - SBC, 2001. v. 250. 275p .

9.
MELO, A. C. V. (Org.) ; HAEUSLER, E. H. (Org.) . Proceedings of the IV WMF. Rio de Janeiro: UFRJ - SBC -IME, 2001. v. 250. 120p .

10.
MENEZES, P. B. ; HAEUSLER, E. H. . Teoria das Categorias e Ciência da Computação. 1. ed. Porto Alegra- RS: Sagra/Luzzato/UFRGS, 2001. v. 1000. 350p .

11.
PEREIRA, L. C. (Org.) ; HAEUSLER, E. H. (Org.) . Pre-Proceedings of The XII Brazilian Logic Meeting. Rio de Janeiro: Sociedade Brasileira de Lógica, 1999. v. 1. 149p .

12.
HAEUSLER, E. H.; PEREIRA, L. C. . PRATICA:Proofs, Types and Categories. 1. ed. Rio de Janeiro: Independente, 1999. v. 1. 219p .

Capítulos de livros publicados
1.
de Araujo Fernandes, Ricardo Queiroz ; Haeusler, Edward Hermann ; Pereira, Luiz Carlos Pinheiro Dias . A Proximity-Based Understanding of Conditionals. Lecture Notes in Computer Science. 1ed.Berlin: Springer Berlin Heidelberg, 2017, v. , p. 123-152.

2.
Pereira, Luiz Carlos ; Haeusler, Edward Hermann . On Constructive Fragments of Classical Logic. In: Heinrich Wansing. (Org.). Outstanding Contributions to Logic. 1ed.: Springer International Publishing, 2015, v. , p. 281-292.

3.
HAEUSLER, E. H.; PEREIRA, L. C. . Fibonacci estimation for the height of Schutte-like cut-free proofs. In: Jean-Yves Beziau and Marcelo Esteban Coniglio. (Org.). Logic without Frontiers:Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday. London: College Publications, 2011, v. 17, p. 97-104.

4.
RADEMAKER, A. ; HAEUSLER, E. H. . Is it important to explain a theorem ? A case study on UML and ALCQI. In: C.A. Heuser and G. Pernul. (Org.). ER-2009, Proceedings, LNCS. 1ed.Berlim: Springer-Verlag, 2009, v. 5833, p. 34-44.

5.
VASCONCELOS, D. R. ; HAEUSLER, E. H. . Quantifying in Extensive Games. In: Walter Carnielli; Marcelo Coniglio ; Itala D'Otaviano. (Org.). The Many Sides of Logic. London: College Publications, 2009, v. 21, p. 321-336.

6.
RADEMAKER, A. ; Hæusler, Edward Hermann ; PEREIRA, L. C. . On the Proof Theory of ALC. In: Walter Carnielli; Marcelo Coniglio; Itala D'Ottaviano. (Org.). The Many Sides of Logic. London: College Pulications, 2009, v. 21, p. 273-285.

7.
CAFEZEIRO, I. L. ; Hæusler, Edward Hermann . Algebraic Framework for Reverse Engineering on Specifications. In: Minoro Abe, J.. (Org.). Frontiers in Artificial Intelligence and Applications. 1ed.Amsterdam: IOS, 2009, v. 186, p. 1-12.

8.
HAEUSLER, E. H.; MARTINI, A. ; WOLTER, U. . Some Models of Heterogeneous and Distributed Specifications based on Universal Constructions. In: J. Y. Beziau and A. Costa-leite. (Org.). Perspectives on Universal Logic. Monza: Polimétrica, 2007, v. , p. 297-318.

9.
ABOIM, D. S. ; SOUZA, C. S. ; HAEUSLER, E. H. . Structured Argument Generation in a Logic Based KB-System. In: Lawrence S. Moss; Jonathan Ginzburg; Maarten de Rijke. (Org.). Logic Language and Computation. 1ed.Stanford, California: CSLI Publications, 1999, v. 2, p. 237-265.

10.
FIGUEIREDO, L. C. ; HAEUSLER, E. H. . Another Approach To Abramsky'S Proofs-As-Processes For Multiplicative Linear Logic. In: Walter A. Carnielli; Luiz Carlos P.D. Pereira. (Org.). LOGIC, SETS AND INFORMATION. 1ed.CAMPINAS: ED. UNICAMP, 1995, v. 14, p. 107-135.

Trabalhos completos publicados em anais de congressos
1.
SANTOS, RODRIGO C. M. ; LIMA, GUILHERME F. ; SANT'ANNA, FRANCISCO ; IERUSALIMSCHY, ROBERTO ; Haeusler, Edward H. . A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu. In: the 19th ACM SIGPLAN/SIGBED International Conference, 2018, Philadelphia. Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems - LCTES 2018. Philadelphia: ACM, 2018. p. 1.

2.
ALMEIDA, A. C. ; HAEUSLER, E. H. ; LIFSCHITZ, S. ; OLIVEIRA, R. P. ; SCHWABE, D. . Outer-Tuning: sintonia Fina Autom{\'{a}}tica Baseada em Ontologia. In: SBBD, 2018, Rio de Janeiro. SBBD. Companion. Rio de janeiro: Sociedade Brasileira de Computação, 2018.

3.
ENDLER, MARKUS ; BRIOT, JEAN-PIERRE ; SILVA, FRANCISCO SILVA E ; ALMEIDA, VITOR P. DE ; Haeusler, Edward H. . An Approach for Real-Time Stream Reasoning for the Internet of Things. In: 2017 IEEE 11th International Conference on Semantic Computing (ICSC), 2017, San Diego. 2017 IEEE 11th International Conference on Semantic Computing (ICSC), 2017. p. 348-353.

4.
SANTOS, J. ; VIEIRA, Bruno Lopes ; Haeusler, Edward Hermann . Counter-model Generation from Failed Proof Searches in Propositional Minimal Implicational Logic. In: LSFA, 2017, Brasilia. Proceedings of 12th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2017). Brasilia: UnB, 2017.

5.
LIMA, GUILHERME F. ; AZEVEDO, ROBERTO GERSON DE ALBUQUERQUE ; COLCHER, SÉRGIO ; Haeusler, Edward Hermann . Converting NCL Documents to Smix and Fixing Their Semantics and Interpretation in the Process. In: 23rd Brazillian Symposium on Multimedia and the Web, 2017, Gramado. Proceedings of the 23rd Brazillian Symposium on Multimedia and the Web - WebMedia '17, 2017. p. 109.

6.
Delfino, P. ; Cucolato, B. ; HAEUSLER, E. H. ; RADEMAKER, A. . Passing the Brazilian OAB Exam: Data Preparation and Some Experiments. In: Legal Knowledge and Information Systems - JURIX 2017: The Thirtieth Annual Conference, 2017, Luxembourg. Frontiers in Artificial Intelligence and Applications: Legal Knowledge and information systems. Amsterdam: IOS, 2017. v. 302. p. 89-94.

7.
Gordeev, L. ; HAEUSLER, E. H. . Compression of proofs and NP vs PSPACE. In: GETFUN4.0/IJCAR2016, 2016, Coimbra. Pre-Proceedings of GETFUN4.0. Coimbra: University of Coimbra, 2016.

8.
BENEVIDES, M. R. F. ; VIEIRA, Bruno Lopes ; Haeusler, Edward H. . Propositional Dynamic Logic for Petri Nets with Iteration. In: ICTAC - International Colloquium on Theoretical Aspects of Computing, 2016, Taipei. Proceedings of ICTAC, LNCS. Berlin: Springer-Verlag, 2016. v. 9965. p. 441-456.

9.
FERNANDES, R. ; PEREIRA, L. C. ; Haeusler, Edward Hermann . PUC-Logic. In: COIN/DEXA International Conference, 2016, Porto. Proceedings of the Consistency and Inconsistency Workshop of DEXA conference. Los Alamitos: IEEE, 2016. p. 102-105.

10.
Haeusler, Edward H.; RADEMAKER, A. . How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies. In: 3rd Workshop on Logical Reasoning and computation, 2016, Toulouse. Proceeding of the 3rd workshop on Logical Reasoning and computation. Toulouse: Univ. Toulouse., 2015. p. 55-68.

11.
BRAGA, C. O. ; Haeusler, Edward Hermann . Notes on Topoi and Refinement. In: Escola de Informática Teórica e Métodos Formais, 2016, Natal. Anais do ETMF 2016, 2016. p. 21-32.

12.
LIMA, G. ; BRAGA, C. O. ; Haeusler, Edward Hermann . The Smix synchronous multimedia language: Operational semantics and coroutine implementation. In: Escola de Informática Teórica e Métodos Formais, 2016, Natal. Anais do ETMF 2016, 2016. p. 145-154.

13.
LIFSCHITZ, S. ; ARMAS, E. ; Haeusler, Edward Hermann ; HOLANDA, M. T. ; P.C.G., F. ; Silva, W.M.C. . An index-based RDBMS approach for K-mer Mapping and memoryaware fragment assembly. In: The 3rd International Workshop on High Performance Computing on Bioinformatics (HPCB 2016), 2016, Shenzen. Proceedings of the 3rd International Workshop on High Performance Computing on Bioinformatics (HPCB 2016). IEEE BIBM: IEEE, 2016. p. 882-889.

14.
OLIVEIRA, R. D. ; LIFSCHITZ, S. ; ALMEIDA, A. C. ; HAEUSLER, E. H. . Projeto e implementação do framework Outer-tuning: auto sintonia e ontologia para bancos de dados relacionais.. In: Simpósio Brasileiro de Sistemas de Informação, 2015, Goiânia. Proceeding of the XI Brazilian Symposium on Information Systems. Goiânia: SBC-UFG, 2015. v. 1. p. 171-178.

15.
VIEIRA, B. L. ; BENEVIDES, M. ; Haeusler, Edward H. . Reasoning about Multi-Agent Systems Using Stochastic Petri Nets. In: 13th Conference on Practical Applications of Agents, Multi-Agent Systems and Sustainability, 2015, Salamanca. Trends in Practical Applications of Agents, Multi-Agent Systems and Sustainability. London: Springer-Verlad, 2015. v. 372. p. 75-86.

16.
CRUZ, M. Q. ; HAEUSLER, E. H. ; Gordeev, L. . On Strong Normalization in Proof-graphs for Propositional Logic. In: Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015, Natal. Proceedingos of the Tenth Workshop on Logical and Semantic Frameworks, with Applications. Natal: UFRN, 2015. p. 85-101.

17.
MACEDO, H. ; Haeusler, Edward Hermann . Defining Effectiveness Using Finite Sets ? A Study on Computability. In: 3ro Workshop-Escola de Informática Teórica (WEIT2015), 2015, Porto Alegre. Proceedings of WEIT2015. Porto Alegre: UFRGS, 2015.

18.
SANTOS, J. ; VIEIRA, Bruno Lopes ; Haeusler, Edward Hermann . Towards a Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic. In: 3ro Workshop-Escola de Informática Teórica (WEIT2015), 2015, Porto Alegre. Proceedings of WEIT2015. Porto Alegre: UFRGS, 2015.

19.
PEREIRA, L. C. ; Haeusler, Edward H. . The Russell-Prawitz translation and schematic rules: a view from proof-theory. In: General Proof Theory. Celebrating 50 Years of Dag Prawitz's 'Natural Deduction', 2015, Tuebingen. Proceedings of the Conference held in Tübingen, 27-29 November 2015. Tuebingen: Mathematisch-Naturwissenschaftliche Fakultät Tuebingen, 2016. p. 29-54.

20.
Haeusler, Edward Hermann. Finiteness and Computation in Toposes. In: DCM 2015 at ICTAC, 2015, Cali. Pre-Proceedings of DCM 2015. Cali: Universidad Javeriana, 2015. p. 27-38.

21.
HAEUSLER, E. H.; AYALA-RINCÓN, M. . On the Computability of Relations on λ-Terms and Rice?s Theorem - The Case of the Expansion Problem for Explicit Substitutions. In: LATIN2012, 2014, Montevideo. LATIN2014: Theoretical Informatics, Lecture Notes on Computer Science. Berlin-Heidelberg: Springer-Verlag, 2014. v. 8392. p. 202-213.

22.
PEREIRA, L. C. ; HAEUSLER, E. H. . Cut-elimination and consistency: variations on a Gentzen-Prawitz theme. In: Gentzen's and Jaśkowski's heritage; 80 years of Natural Deduction and Sequent Calculi, 2014, Lodz. Proceedings of Trends in Logic XIII. Lodz: Lodz Universty Press, 2014. p. 165-179.

23.
HAEUSLER, E. H.. Propositional Logics Complexity and the sub-formula Property. In: Development of Computational Models (DCM2014), 2014, Viena. Pre-Proceedings of DCM 2014, 2014. p. 1-10.

24.
NALON, C. ; VIEIRA, B. L. ; DOWEK, G. ; HAEUSLER, E. H. . A Calculus for Automatic Verification of Petri Nets based on Resolution and Dynamic Logics. In: LSFA 2014, 2014, Brasília. Pre-proceedings of the LSFA 2014. Brasília: CIC-UnB, 2014. p. 95-110.

25.
ENGLANDER, C. ; DOWEK, G. ; HAEUSLER, E. H. . Yet Another Bijection Between Sequent Calculus and Natural Deduction. In: LSFA 2014, 2014, Brasília. Pre-proceedings of the LSFA 2014. Brasília: CIC-UnB, 2014. p. 75-90.

26.
Hausler, E. H.. How many times do we need an assumption to prove a tautology in Minimal logic: An example on the compression power of Classical reasoning. In: Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR2014, 2014, Valle de Bravo, México. Proceedings of Ninth LANMR. Aachen: CEUR-Workshops, 2012. v. 1287. p. 1-12.

27.
PINHEIRO, V. ; ENDLER, M. ; HAEUSLER, E. H. . A Framework for Customizing the Mobile and Remote Monitoring of Patients with Chronic Diseases. In: IEEE 16th International Conference on E-health Networking, Application & Services (Healthcom), 2014, Natal. Proceedings of A Framework for Customizing the Mobile and Remote Monitoring of Patients with Chronic Diseases. Los Alamitos: IEEE, 2014. p. 259-264.

28.
PINHEIRO, V. ; ENDLER, M. ; HAEUSLER, E. H. . Customized mobile monitoring for patients with chronic diseases (short paper). In: 5th International Conference on eHealth, Telemedicine, and Social Medicine (eTELEMED 2013), 2013, Nice. Proceedings of the 5th International Conference on eHealth, Telemedicine, and Social Medicine (eTELEMED 2013), 2013.

29.
CRUZ, M. Q. ; HAEUSLER, E. H. . Proof-graphs for Minimal Implicational Logic. In: Developments in Computational Models, CONCUR2013, 2013, Argentina. Preliminary Proceedings (Pre-proceedings), 2013. p. 15-24.

30.
TELES, A. ; PINHEIRO, D. ; GONCALVEZ, J. F. ; BATISTA, R. ; SILVA, F. ; PINHEIRO, V. ; Haeusler, Edward H. ; ENDLER, M. . MobileHealthNet: A Middleware for Mobile Social Networks in m-Health. In: 3rd International Conference on Wireless Mobile Communication and Healthcare (MOBIHEALTH 2012), 2012, Paris. Proccedings of the 3rd International Conference on Wireless Mobile Communication and Healthcare (MOBIHEALTH 2012), 2012.

31.
PINHEIRO, V. ; ENDLER, M. ; Haeusler, Edward H. . Acompanhamento remoto movel customizavel de pacientes com doenç?as crônicas. In: XIII Congresso Brasileiro de Informatica em Saude, 2012, Curitiba. Proceedings of the XIII Congresso Brasileiro de Informatica em Saude, 2012.

32.
HAEUSLER, E. H.; PAIVA, V. ; RADEMAKER, A. . Intuitionistic Description Logic and Legal Reasoning. In: DALI 2011 - DEXA workshops, 2011, Toulouse. 22nd Database and Expert Systems Applications: International Workshops. Los Alamitos: IEEE Computer Society, 2011. p. 345-349.

33.
VIEIRA, B. L. ; BENEVIDES, M. R. F. ; HAEUSLER, E. H. . Propositional Dynamic Logic for Petri Nets.. In: 6th Workshop on Logical and Semantic Frameworks, 2011, Belo Horizontes. Proceedings of the 6th Workshop on Logical and Semantic Frameworks, 2011.

34.
HAEUSLER, E. H.; RADEMAKER, A. ; PAIVA, V. . Using Intuitionistic Logic as a basis for Legal Ontologies. In: 4th Workshop on Legal Ontologies and Artificial Intelligence Techniques, 2010, Firenze. CEUR Workshop Proceedings, 2010. v. 605. p. 69-76.

35.
PAIVA, V. ; RADEMAKER, A. ; HAEUSLER, E. H. . Constructive Description Logic, Hybrid Style. In: Hylo2010. Hybrid Logic Workshop. FLOCS 2010, 2010, Edinburgh. Pre-proceedings, 2010.

36.
ENGLANDER, C. ; HAEUSLER, E. H. . On the 2-Categorical View of Proofs. In: ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, 2010., 2010, Amirandes, Heraclion, Crete. Lectures Notes in Computer Science - Leveraging Applications of Formal Methods, Verification and Validation. Heidelberg: Springer-Verlag, 2010. v. 6415. p. 508-518.

37.
HAEUSLER, E. H.; PAIVA, V. ; RADEMAKER, A. . Intuitionistic Logic and Legal Ontologies. In: JURIX 2010: The 23rd International Conference on Legal Knowledge and Information Systems., 2010, Liverpool. Frontiers of Artificial Intelligence and Applications. Amsterdam: IOS Press, 2010. p. 155-158.

38.
CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Algebraic Framework for Reverse Engineering on Specifications. In: IV Congress on Logic Applied to Technology, 2009, Santos. Advances in Technological Applications of Logical and Intelligent Systems - Selected Papers from the Sixth Congress on Logic Applied to Technology. Amsterdam: IOS Press, 2009. v. 186. p. 1-12.

39.
FERNANDES, R. ; HAEUSLER, E. H. . A Topos-Theoretic Approach to Counterfactual Logic. In: Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009, Brasília. Pre-proceedings. Brasília: UnB, 2009.

40.
COSTA, V. G. ; SANZ, Wagner ; HAEUSLER, E. H. ; PEREIRA, L. C. . Peirce's rule in a full Natural Deduction system. In: Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009, Brasilia. Pre-proceedings. Brasilia: UnB, 2009.

41.
GUEDES, L. C. C. ; HAEUSLER, E. H. . Action Algebras and Model Algebras in Denotational Semantics. In: PDM09, 2009, Udine. Peter Mosses Festschirifft. Berlim: Springer-Verlag, 2009. v. 5700. p. 227-249.

42.
BRAGA, C. O. ; HAEUSLER, E. H. . Programming Games and their Equilibria in Maude.. In: RULE09 The Tenth International Workshop on Rule-Based Programming, 2009, Brasília. Pre-proceedings. Brasília: UNB, 2009.

43.
CAFEZEIRO, I. L. ; VITERBO, J. ; RADEMAKER, A. ; Haeusler, Edward Hermann ; ENDLER, M. . Designing Ubiquitous Applications: A Proposal of Architecture for Specification Environment. In: 6th IEEE International Workshop on Managing Ubiquitous Communications and Services (MUCS 2009),, 2009, Barcelona. Proc. of 6th IEEE International Workshop on Managing Ubiquitous Communications and Services (MUCS 2009),. USA: IEEE, 2009.

44.
RADEMAKER, A. ; Hæusler, Edward Hermann . Is it important to explain a theorem ? A case study on UML and ALCQI. In: ETHECOM - ER, 2009, Gramado. Lecture Notes in Computer Science. Berlin: Springer-Verlag, 2009. v. 5833. p. 33-44.

45.
CAFEZEIRO, I. L. ; HAEUSLER, E. H. ; RADEMAKER, A. . Ontology and Context. In: 5th IEEE Workshop on Context Modeling and Reasoning (CoMoRea) co-Located with PerCom2008., 2008, Hong Kong. Proceedings. Los Alamitos: IEEE, 2008.

46.
VASCONCELOS, D. R. ; HAEUSLER, E. H. . Towards an Implementation Theory via a Game Logic Approach. In: 8th Conference on Logic and the Foundations of Game and Decision Theory, 2008, Amsterdam. Pre-Proceedings. Amsterdam: UVA, 2008.

47.
RADEMAKER, A. ; HAEUSLER, E. H. . Toward Short and Structural ALC-Reasoning Explanations: A Sequent Calculus Approach. In: SImpósio Brasileiro de Inteligência Artificial, 2008, Salvador. LNAI. Berlim: Springer-Verlag, 2008. v. 5249. p. 167-176.

48.
CAFEZEIRO, I. L. ; VITERBO, J. ; RADEMAKER, A. ; HAEUSLER, E. H. ; ENDLER, M. . A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing. In: ISOLA 2008, 2008, Kassandra Grécia. Communications in Computer and Information Science. |Berlim: Springer-Verlag, 2008. v. 17. p. 519-533.

49.
MARTINS, C. B. ; HAEUSLER, E. H. . Automatic Parallel Code Generation through Denotational Semantics and Dependence Graphs. In: II workshop on Languages and Tools for Parallel and Distributed Programming (LTPD 2008), 2008, Fortaleza. Proceedings of LTPD 2008. Fortaleza: Editora-UFC, 2008.

50.
CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Semantics Interoperability via Category Theory. In: ER 2007, 2007, Auckland. Proc. Tutorials, posters, panels and industrial contributions at the 26th International Conference on Conceptual Modeling - ER 2007. Auckland: CRPIT, 2007. v. 83. p. 197-202.

51.
VASCONCELOS, D. R. ; HAEUSLER, E. H. . Reasoning about Games via a First-order Modal Model Checking. In: Simpósio Brasileiro de Métodos Formais, 2007, Ouro Preto. Proceedings of SBMF 2007. Ouro Preto: Universidade de Ouro Preto - SBC, 2007.

52.
CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Algebraic Framework for Reverse Engineering on Specifications. In: VI Congress of Logic Applied to Technology, 2007, Santos. Proceedeings LAPTEC. Santos: SENAC-SBC, 2007.

53.
IMPERIAL, J. C. ; HAEUSLER, E. H. . Trust in Intelligent Agents. In: LAACS, 2007, Petrópolis. Proceedings of LAACS 2007. Los Alamitos: IEEE, 2007.

54.
DUARTE, A. R. ; HAEUSLER, E. H. ; RIBEIRO, C. C. ; URRUTIA, S. . Referee Assignment in Sports Tournaments. In: The 6th International Conference on the Practice and Theory of Automated Timetabling, 2007, Brno. Lecture Notes in Computer Science. Berlin: Springer-Verlag, 2007. v. 3867. p. 158-173.

55.
SILVA, G. M. H. ; RADEMAKER, A. ; VASCONCELOS, D. R. ; AMARAL, F. N. ; MARTINS, C. B. ; COSTA, V. G. ; HAEUSLER, E. H. . Dealing with the Formal Analysis of Information Security Policies through Ontologies: A Case Study. In: Australasian Ontology Workshop, 2007, Surfers Paradise. proceedings of AOW-07. Melbourne: CRPIT- Australian Computer Society, 2007. v. 85.

56.
HAEUSLER, E. H.; VASCONCELOS, D. R. ; BENEVIDES, M. R. F. . Defining Agents via Strategies: Towards a Game-Theoretical view of MAS. In: Workshop on Radical Agent Concepts, 2006, Washington. Lecture Notes in Artificial Inteligence. London: Springer-Verlag, 2006. v. 3825. p. 299-311.

57.
AMARAL, F. N. ; MARTINS, C. B. ; SILVA, G. M. H. ; RADEMAKER, A. ; HAEUSLER, E. H. . An Ontology-based Approach to the Formalization of Information Security Policies. In: VORTE-EDOC, 2006, HONG-KONG. Proceedings of VORTE-EDOC. Los Alamitos, USA: IEEE Communications Society, 2006. p. 20-28.

58.
WOLTER, U. ; MARTINI, A. ; HAEUSLER, E. H. . Indexed General Logics. In: Logical and Semantic Frameworks with Applications, 2006, Natal. Pre-Proceedings. NATAL: UFRN, 2006.

59.
AMARAL, F. N. ; HAEUSLER, E. H. . Topos-Based Logical Frameworks and an Application to (Meta)Heuristic Search. In: Logical and Semantic Frameworks with Applications, 2006, Natal. Pre-Proceedings. Natal: UFRN, 2006.

60.
CORRÊA, M. S. ; HAEUSLER, E. H. . On the Selective Lambek Calculus. In: Logical Aspects of Computational Linguistics, 5th International Conference, 2005, Bordeaux. Lecture Notes in Computer Science. Berlim: Springer-Verlag, 2005. v. 3492. p. 67-83.

61.
HAEUSLER, E. H.; MARTINS, C. B. ; ENDLER, M. . Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems. In: SBMF, 2005, Porto Alegre. Proceedings of the Brazilian Symposim on Formal Methods 2005. Amsterdam: Elsevier, 2005.

62.
MARTINS, C. B. ; HAEUSLER, E. H. ; ENDLER, M. . Binding Network Topologies to Specifications via Pronouns. In: II South-West European Workshop on Formal Methods, 2005, Orhid. Proceedings, 2005.

63.
RENTERIA, C. J. ; HAEUSLER, E. H. . A Natural Deduction for Keisler Quantification. In: WOLLIC, 2004, PARIS. Proceedings of WOLLIC. Amsterdam: Elsevier, 2004.

64.
HAENDCHEN FILHO, A. ; CAMINADA, N. ; HAEUSLER, E. H. ; STAA, A. V. . Facilitating the Process of Specification Capture and Transformation on the Formal Development of Multi-Agent Systems. In: FAAB NASA 2004, 2004, Washington. Proceedings. Washington: IEEE, 2004.

65.
BREITMAN, K. K. ; HAENDCHEN FILHO, A. ; HAEUSLER, E. H. ; STAA, A. V. . Using Ontologies to Formalize Service Specification in Multi-Agent Systems. In: FAAB NASA 2004, 2004, Washington. Proceedings, 2004.

66.
IMPERIAL, J. C. ; HAEUSLER, E. H. . Some Strategies for the Automatic Use of Hoare Logic. In: STRATEGIES'04, 2004, CORCH. Proceedings of STRATEGIES'2004. Amsterdã - Holanda: Elsevier, 2004.

67.
VASCONCELOS, D. R. ; HAEUSLER, E. H. . A Logic View of Playing Games. In: LAPTEC, 2003, Marília-SP. Advances in Logic, Artificial Intelligence and Robotics. Holanda: IOS Press, 2003. v. 101.

68.
SPINOLA, A. I. A. ; HAEUSLER, E. H. . Anticipatory Topoi. In: CASYS'2001, 2002, Liege-Belgium. Computing Anticipatory Systems (CASYS). Melville NY: American Institute of Physics, 2002.

69.
BRAGA, C. O. ; HAEUSLER, E. H. ; MESEGUER, J. ; MOSSES, P. D. . Mapping Modular SOS to Rewriting Logic. In: LOPSTR'2002, 2002, Madrid. Proceedings of LOPSTR'2002 , Lecture Notes in Computer Science. Berlin: Springer-Verlag, 2002.

70.
CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Categorical Limits in Reuse of Algebraic Specification. In: LAPTEC'2002, 2002, São Paulo. Frontiers of Artificial Intelligence and its Applications. Amsterdã: IOS Press, 2002.

71.
SILVA, G. M. H. ; HAEUSLER, E. H. ; VELOSO, P. A. S. . Constructive Program Synthesis using Intuitionistic Logic and Natural Deduction. In: LAPTEC'2002, 2002, São Paulo. Frontiers of Artificial Intelligence and its Applications. Amsterdã: IOS Press, 2002.

72.
AMARAL, F. N. ; HAEUSLER, E. H. ; ENDLER, M. . A Real-Time Specification Language. In: LAPTEC'2002, 2002, São Paulo. Frontiers of Artificial Intelligence and its Applications. Amsterdã: IOS Press, 2002.

73.
MARTINI, A. ; HAEUSLER, E. H. ; WOLTER, U. . A Taste on Putting Logical Systems Together. In: Workshop de Métodos Formais, 2001, Rio de Janeiro. Proceedings of the IV WMF. Rio de Janeiro: SBC, 2001.

74.
MARTINI, A. ; WOLTER, U. ; HAEUSLER, E. H. ; VIZZOTO, J. . Linking Logics for Multiparadigm Software Specification. In: SCI2001, 2001, Orlando. Proceedings of the 5th World Multiconference on Systems Cybernetics and Informatics. Miami: IIIS Press, 2001.

75.
GUEDES, L. C. C. ; HAEUSLER, E. H. . A Formal Approach for Specifying XML-based Languages. In: Simpósio Brasileiro de Linguagens de Programação, 2001, Curitiba - Paraná. Anais do V SBLP. Curitiba: Universidade Federal do Paraná, 2001.

76.
MARTINI, A. ; WOLTER, U. ; HAEUSLER, E. H. . Reasons and Ways to Cope with a Spectrum of Logics. In: LAPTEC'2001, 2001, São Paulo. Frontiers of Artificial Intelligence and its Applications. Amsterdã: IOS Press, 2001.

77.
BRAGA, C. O. ; HAEUSLER, E. H. ; MESEGUER, J. ; MOSSES, P. D. . Using Reflection to Map Action Semantics to Rewriting Logics. In: AMAST'2000, 2000, IOWA. LNCS. Nova Iorque: Springer-Verlag, 2000. v. 1816. p. 126-141.

78.
De MOURA, L. ; LUCENA, C. J. P. ; HAEUSLER, E. H. . Analysis of Parallel Programs. In: Simpósio Brasileiro de Linguagens de Programação, 2000, Recife. Proceedings do IV SBLP, 2000. p. 106-119.

79.
De MOURA, L. ; LUCENA, C. J. P. ; HAEUSLER, E. H. . A modular implementation of Action Notation. In: Workshop on Action Semantics, 2000, Recife. Proceedings. Aarhus - Dinamarca: BRICS, 2000. p. 23-34.

80.
GARCIA, Alex V. ; HAEUSLER, E. H. . Um Modelo Categórico para Tradução entre Linguagens de Programação. In: Simpósio Brasileiro de Linguagens de Programação, 2000, Recife. Proceedings do IV SBLP. Recife: SBC-UFPE, 2000. p. 62-75.

81.
SPINOLA, A. I. A. ; HAEUSLER, E. H. . A study on semi-sheaves associated to transition systems representing reactive systems. In: Workshop on Geometry and Topology in Concurrency, 2000, Pensylvania. Proceedings. Nova Iorque: Elsevier, 2000. p. 1-16.

82.
AMARAL, F. N. ; HAEUSLER, E. H. . Completeness of an Action Logic Featuring a delta-Operator for Timed Transition Systems. In: WOLLIC, 2000, Recife. Proceedings. Recife: FOLLIC, UFPE, 2000.

83.
CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Sharing in Denotational Semantics. In: Workshop de Métodos Formais, 2000, João Pessoa - PB. Proceedings do WMF2000, 2000. p. 145-156.

84.
SILVA, G. M. H. ; HAEUSLER, E. H. . Síntese Construtiva de Programas Utilizando Lógica Intuicionista. In: Workshop de Métodos Formais, 2000, João Pessoa - PB. Proccedings do WMF2000. João Pessoa - PB: SBC, 2000. p. 55-67.

85.
AMARAL, F. N. ; HAEUSLER, E. H. . A Logic-Based Approach for Real-Time Object-Oriented Software Development. In: Workshop de Métodos Formais, 2000, João Pessoa - PB. Proceedings do WMF2000. João Pessoa - PB: SBC, 2000. p. 45-55.

86.
FÉLIX, M. F. ; HAEUSLER, E. H. . LET: Uma Linguagem para especificar Transformações. In: III Simpósio Brasileiro de Linguagens de Programação, 1999, Porto Alegre. Anais. Porto Alegre: Editora da SBC, 1999. v. 1. p. 109-124.

87.
HAEUSLER, E. H.; FONTOURA, M. F. . Using Transition Systems to Formalize a Pattern for Time Dependable Applications. In: IEEE Workshop on Object-Oriented Time-Dependable Systems, 1999, Santa Barbara. Proceedings of the Fourth International Workshop on Object-Oriented Time-Dependable Systems. Piscataway, NJ: IEEE Computer Society, 1999. v. 1. p. 216-227.

88.
CORRÊA, M. S. ; HAEUSLER, E. H. . The Selective Lambek Syntactic Calculus. In: Workshop on Logic Language and Information, 1998, São Paulo. Proceedings of the 5th WOLLIC. Sao Paulo: EDUSP, 1998. p. 96-108.

89.
HAEUSLER, E. H.; HAERBERER, A. ; MAIBAUM, T. ; FIADEIRO, J. L. L. . Arts: A Formally Supported Environment For Object-Oriented Software Development. In: European Conference on Object-Oriented Programming (ECOOP'98), 1998, Bélgica. Proc. of Automating the Object-Oriented Software Development Workshop. Belgica: Springer-Verlag, 1998. v. LNCS.

90.
ALMEIDA, E. S. ; HAEUSLER, E. H. . Lorec: A Resource Sensitive Logic Based On Petri Nets. In: I Workshop de Metodos Formais, 1998, Porto Alegre. Proceedings. Porto Alegre: Editora da UFRGS, 1998. p. 10-19.

91.
BRAGA, C. O. ; FONTOURA, M. F. ; HAEUSLER, E. H. ; LUCENA, C. J. P. . Formalizing OO Frameworks and Frameworks Instantiation. In: Workshop de Métodos Formais, 1998, Porto Alegre. Proceedings. Porto Alegre: Editora da UFRGS, 1998. p. 100-105.

92.
CARVALHO, S. E. R. ; FIADEIRO, J. L. L. ; HAEUSLER, E. H. . A Formal Approach To Real-Time Object Oriented Software. In: IFAC WORKSHOP ON REAL-TIME PROGRAMMING, 1997, Lyon. PROCEEDINGS. Londres: Pergamon, 1997. v. 1. p. 91-96.

93.
GARCIA, Alex V. ; HAEUSLER, E. H. ; HAERBERER, A. . A Semantic Approach To The Solution For The Legacy Code Problem. In: FORMAL METHODS PACIFIC, 1997, Wellington. PROCEEDINGS. WELLINGTON, NOVA ZELANDIA: Univeristy of Wellington, 1997.

94.
CAFEZEIRO, I. L. ; HAEUSLER, E. H. ; HAERBERER, A. . From Diagram To Code Via Attribute Grammar. In: II Simpósio Brasileiro de Linguagens de Programação, 1997, Campinas. ANAIS. CAMPINAS: Editora da Unicamp, 1997. v. 1. p. 165-178.

95.
GARCIA, Alex V. ; HAEUSLER, E. H. ; HAERBERER, A. . An Architecture For Semantically Based Code Migration. In: II Simpósio Brasileiro de Linguagens de Programação, 1997, Campinas. ANAIS. CAMPINAS: Editora da UNICAMP, 1997. p. 179-192.

96.
GARCIA, Alex V. ; HAEUSLER, E. H. . Towards A Categorical Model For Language Translation. In: II Simpósio Brasileiro de Banco de Dados, 1997, Campinas. ANAIS. CAMPINAS: Editora da Unicamp, 1997. p. 193-203.

97.
GARCIA, Alex V. ; HAEUSLER, E. H. ; HAERBERER, A. . A semantic Approach to the Solution of Legacy Code Problem. In: Formal Methods Pacific, 1997, Wellington. Formal Methods Pacific. Nova Iorque: Springer-Verlag, 1997. p. 299-310.

98.
ABOIM, D. S. ; HAEUSLER, E. H. ; SOUZA, C. S. . Structured Argument In A Logic-Based Kb-System. In: ITALLC MEETING, 1996, Indiana. ANAIS. INDIANA, EUA: University of Indiana, 1996.

99.
MAIA, A. C. P. ; HAEUSLER, E. H. ; LUCENA, C. J. P. . A Model For Cooperative Software Design. In: INTERNATIONAL SYMPOSIUM ON DESCRIPTIVE MODELS ON DESIGN, 1996, Istambul. ANAIS. Londres: kluwer, 1996. p. 103-118.

100.
HAEUSLER, E. H.. Integrating Functional And Logic Languages: A Denotational Approach. In: THIRD MASSEY FUNCTIONAL PROGRAMMING WORKSHOP, 1996, Palmstrom North. ANAIS. MASSEY, NOVA ZELANDIA: International Universty of New Zealand, 1996. v. 1. p. 55-64.

101.
CORRÊA, M. S. ; HAEUSLER, E. H. ; PAIVA, V. . A Dialectica Model Of State. In: CATS'96, 1996, Melbourne. ANAIS. MELBOURNE, AUSTRALIA: University of Melbourne, 1996. v. 18. p. 29-37.

102.
CAFEZEIRO, I. L. ; HAEUSLER, E. H. ; LUCENA, C. J. P. . A Geometric Approch To The Definition Of Programming Languages. In: I SBLP, 1996, Belo Horizonte. ANAIS. BELO HORIZONTE, MG: Ed. UFMG, 1996. v. 1. p. 265-276.

103.
GUEDES, L. C. C. ; HAEUSLER, E. H. . On The Separability Of Denotational Semantics. In: I Simpósio Brasileiro de Linguagens de Programação, 1996, Belo Horizonte. ANAIS. BELO HORIZONTE, MG: Editora da UFMG, 1996. v. 1. p. 209-222.

104.
GUEDES, L. C. C. ; HAEUSLER, E. H. ; RANGEL, J. L. M. . An Object Oriented Model For Semantics Directed Compiler Generation. In: I SBLP, 1996, Belo Horizonte. ANAIS. BELO HORIZONTE, MG: Editora da UFMG, 1996. v. 1. p. 155-168.

105.
FRIAS, M. F. ; MERE, M. C. ; HAEUSLER, E. H. ; PEREIRA, L. C. . Multiplicative Quantifiers In Linear Logic: Proof Theory And Algebraic Semantics. In: I LPDPL, 1995, Darmstadt. ANAIS. DARMSTADT, ALEMANHA: University of Darmstadt, 1995.

106.
MERE, M. C. ; HAEUSLER, E. H. ; FRIAS, M. F. ; PEREIRA, L. C. . Bounded Paralell Linear Logic. In: WINTER MEETING OF THE AMERICAN MATHEMATICAL SOCIETY, 1995, São Francisco. ANAIS. New York: ASL, 1995.

107.
GUEDES, L. C. C. ; HAEUSLER, E. H. ; RANGEL, J. L. M. . Object Oriented Semantics Directed Compiler Generation: A Prototype. In: TAPSOFT'95, 1995, Aarhus. ANAIS. Berlim: Springer-Verlag, 1995. v. 917. p. 957-958.

108.
HAEUSLER, E. H.; PAZ, A. C. . A Natural Deduction Theorem Proving Generator. In: XI SIMPOSIO BRASILEIRO DE INTELIGENCIA ARTIFICIAL, 1994, Fortaleza. ANAIS. FORTALEZA, CE: Universidade Federal de Fortaleza, 1994. v. 1. p. 557-571.

109.
ALMEIDA, E. S. ; HAEUSLER, E. H. . Utilizacao de CSP Como ferramenta Para Especificacao de Linguagens Orientadas A Objetos. In: XIV SEMISH, 1994, Caxambu. ANAIS. CAXAMBU, MG: ED. SBC, 1994. v. 1. p. 324-339.

110.
HAEUSLER, E. H.. A Theorem Prover Based On Game Theoretic Semantics.. In: Conferencia Internacional sobre Informatica, 1988, La Habana. LA HABANA - CUBA, 1988. p. 13-26.

111.
HAEUSLER, E. H.. Explanation By Game.. In: PROCEEDINGS OF THE ITS-88 INTERNATIONAL CONFERENCE., 1988, Montreal. Proceedings. MONTREAL-CANADA: ACM, 1988. p. 76-86.

112.
HAEUSLER, E. H.; PEQUENO, T. H. C. . Um Provador de Teoremas Baseado Em Jogos Semanticos.. In: IV SIMPOSIO BRASILEIRO DE I.A., 1987, Ubêrlandia. ANAIS DO IV SIMPOSIO BRASILEIRO DE I.A.. UBERLANDIA - MG: SBC, 1987. p. 54-68.

Resumos expandidos publicados em anais de congressos
1.
RADEMAKER, A. ; HAEUSLER, E. H. . An Intuitionisticaly based Description Logic. In: Third Gentzen Systems and Beyond workshop, 2014, Viena. Proceedings of GSB 2014, 2014. p. 1-5.

2.
RADEMAKER, A. ; HAEUSLER, E. H. ; PEREIRA, L. C. . On the Proof Theory of ALC. In: Brazilian Logic Conference, 2008, Paraty. Pre-Proceedings. Campinas: Unicamp, 2008.

3.
WOLTER, U. ; MARTINI, A. ; HAEUSLER, E. H. . Indexed Logical Closure Operators. In: Brazilian Logic Conference, 2008, Paraty. Pre-Proceedings. Campinas: Unicamp, 2008.

4.
VASCONCELOS, D. R. ; HAEUSLER, E. H. . Quantifying in Extensive Games. In: Brazilian Logic Conference, 2008, Paraty. Pre-Proceedings. Campinas: Unicamp, 2008.

5.
PINHEIRO, V. ; SILVA, G. M. H. ; SOSSAI, J. ; Haeusler, Edward Hermann . Aplicação de ontologias na extração de informações de modelos hidrodinâmicos: Sistema baseado em conhecimento. In: Seminário de Pesquisa em Ontologia, 2008, Niterói. Anais do I Seminário de Pesquisa em Ontologias, 2008.

6.
VASCONCELOS, D. R. ; HAEUSLER, E. H. ; BENEVIDES, M. R. F. . Reasoning about Games via Temporal Logic. In: 7th Augustus deMorgan Workshop, 2005, Londres. Proceedings. Amsterdam: UVA.

Resumos publicados em anais de congressos
1.
MACEDO, H. ; HAEUSLER, E. H. . Yoneda?s embedding and Post-completeness. In: GetFun2.0, 2014, Viena. Proceedings of GetFun2.0, 2014. p. 1-5.

2.
ENGLANDER, C. ; HAEUSLER, E. H. . Natural deduction for non-deterministic finitely many-valued logics. In: GetFun2.0, 2014, Viena. Proceedings of GetFun2.0, 2014. p. 1-1.

3.
RADEMAKER, A. ; HAEUSLER, E. H. . An intuitionistic ALC description default logic. In: GetFun2.0, 2014, Viena. Proceedings of GetFun2.0, 2014. p. 1-1.

4.
SANTOS, J. ; VIEIRA, B. L. ; CRUZ, M. Q. ; Haeusler, Edward H. . Improving memory performance for mimp-graph based theorem provers. In: Latin American Symposium on Mathematical Logic, 2014, Buenos Aires. Abstracts of the 16th Latin American Symposium on Mathematical Logic, 2014.

5.
VELOSO, P. A. S. ; PEREIRA, L. C. ; HAEUSLER, E. H. . ON WHAT MUST BE: Existential Validities and some Related Riddles.. In: Logic Colloquium, 2010, Paris. Book of Abstracts of Logic Colloquium, 2010.

6.
PEREIRA, L. C. ; HAEUSLER, E. H. ; COSTA, V. G. ; SANZ, Wagner . Revisiting Peirce's Rule in Natural Deduction. In: Logic Coloquium, 2008, Berna-Suíça. Volume of Abstracts of Logic Coloquium 2008. New York: Association for Symbolic Logic, 2008.

7.
WOLTER, U. ; MARTINI, A. ; HAEUSLER, E. H. . General Indexed Logics. In: Universal Logic, 2007, Xi'an. Handbook of UNILOG2007. Beijing: NYP, 2007. p. 15-15.

8.
PEREIRA, L. C. ; HAEUSLER, E. H. . On the Relationship between Structural Reductions and the Identity Problem. In: Universal Logic, 2007, Xi'an. Handbook of UNILOG2007. Beijing: NPU, 2007. p. 74-74.

9.
PEREIRA, L. C. ; HAEUSLER, E. H. . On Some Relations Between Fragments of Classical and Intuitionistic Logic. In: 13th International Congress of Logic, Methodology and Philosophy of Science, 2007, Beijing. Volume of Abstracts. Beijing: Division of Logic, Methodology and Phylosophy of Science of the International Union on Phil. of Sci., 2007. p. 69-69.

10.
VASCONCELOS, D. R. ; HAEUSLER, E. H. . Quantifying in Games. In: GAMES 2007 Annual Meeting, 2007, Lausanne. Volume of Abstracts. Lausanne: University of Lausanne, 2007.

11.
VASCONCELOS, D. R. ; HAEUSLER, E. H. . Towards an Implementation Theory of Games. In: GAMES 2007 Annual Meeting, 2007, Lausanne. Volume of Abstracts. Lausanne: University of Lausanne, 2007.

12.
MARTINI, A. ; WOLTER, U. ; HAEUSLER, E. H. . Fibred and Indexed Categories for Abstract Model Theory. In: Encontro Brasileiro de Lógica, 2006, Itatiaia. Proceedings. CAMPINAS: UNICAMP.

13.
COSTA, V. G. ; HAEUSLER, E. H. . On Strategies to Compact Proofs. In: Encontro Brasileiro de Lógica, 2006, Itatiaia. Proceedings. CAMPINAS: UNICAMP.

14.
AMARAL, F. N. ; HAEUSLER, E. H. . Using the Internal Logic of a Topos Related to the Topos of Forest to Model Search Spaces for Problems. In: Encontro Brasileiro de Lógica, 2006, Itatiaia. Proceedings. CAMPINAS: UNICAMP.

15.
HAEUSLER, E. H.; CORRÊA, M. S. . On Games and the Polynomial Completeness of Intuitionistic Logic. In: Encontro Brasileiro de Lógica, 2006, Itatiaia. Proceedings. CAMPINAS: UNICAMP.

16.
HAEUSLER, E. H.; PEREIRA, L. C. . Structural Reductions and the Identity Problem. In: XIII Latin Amerin Simposium on Mathematical Logic, 2006, Oaxaca, México. Proceedings. Rhode Island, EUA: ASL.

17.
IMPERIAL, J. C. ; HAEUSLER, E. H. . Strategies for the Semi-Automatic Use of Hoare Logic. In: Encontro Brasileiro de Lógica, 2006, Itatiaia. Proceedings. CAMPINAS: UNICAMP.

18.
COSTA, V. G. ; HAEUSLER, E. H. ; LABER, E. S. ; NOGUEIRA, L. . A note on the size of minimal covers. In: 19th INternational Symposium on Mathematical Programming, 2006, Rio de Janeiro. Proceedings, 2006.

19.
HAEUSLER, E. H.; MARTINI, A. . Maps and universal constructions for interoperability of logical theories. In: Universal Logic 2005, 2005, Montreaux. Logica Universalis. Genebra: Birkhauser, 2005. v. 1.

20.
RENTERIA, C. J. ; HAEUSLER, E. H. ; VELOSO, P. A. S. . Natural Deduction for Ultra-Filter Logic. In: Encontro Brasileiro de Logica, 2003, Campinas. Proceedings. Campinas: Unicamp, 2003.

21.
SILVA, G. M. H. ; HAEUSLER, E. H. ; VELOSO, P. A. S. . Exploring the Computational Content of INtuitionistic Proofs. In: Encontro Brasileiro de Logica, 2003, Campinas. Proceedings. Campinas: Unicamp, 2003.

22.
RENTERIA, C. J. ; HAEUSLER, E. H. . A Natural Deduction for CTL. In: Logic Coloquium 2000, 2000, Paris. Proceedings. Paris: La Sorbonne, 2000. p. 37-37.

23.
AMARAL, F. N. ; HAEUSLER, E. H. . An Action Logic for Real-Time Reasoning. In: Logic Coloquium 2000, 2000, Paris. Proceedings. Paris: La Sorbonne, 2000. p. 223-223.

24.
MORETH, R. C. ; PEREIRA, L. C. ; HAEUSLER, E. H. . A New Cut-Free Calculus For S5. In: X Latin-American Symposyum on Mathematical Logic, 1998, Merida. Proceedings. Merida- Venezuela: Editora da Universidade de los Andes, 1998.

25.
CORRÊA, M. S. ; HAEUSLER, E. H. . A Lazy Lambek Calculus. In: Logic Coloquim'98, 1998, Praga. Proceedings. Paris: Editora da Universidade de Paris VII, 1998.

26.
HAEUSLER, E. H.. Quantifiers, Adjunctions And L-Sets. In: Latin American Symposium on Mathematical Logic, 1997, Salvador. Logic Journal of IGPL. Oxford, 1997. v. 5. p. 456-457.

27.
FIGUEIREDO, L. C. ; HAEUSLER, E. H. . A Computational Interpretation Of Proof Nets With Trips. In: LOGIC COLOQUIUM'94, 1994, Clermont Ferrant. ANAIS. Paris: University of Paris, 1994.

Resumos publicados em anais de congressos (artigos)
1.
HAEUSLER, E. H.;Haeusler, Edward Hermann;Haeusler, Edward H.;Hausler, E. H.;Häusler, E. H.;HAEUSLER, EDWARD1997HAEUSLER, E. H.; PEREIRA, L. C. . A Calculus For Purely Exponential Linera Logic-Abstract. Logic Journal of IGPL, Oxford, v. 5, n.3, p. 457-457, 1997.

2.
MERE, M. C.1995MERE, M. C. ; HAEUSLER, E. H. ; FRIAS, M. F. ; PEREIRA, L. C. . Multiplicative Quantifiers In Linear Logic - Abstract. BULLETIM OF THE ASSOCIATION FOR SYMBOLIC LOGIC, RHODE ISLAND, ENGLAND, v. 1, n.1, 1995.

Artigos aceitos para publicação
1.
Gordeev, L. ; HAEUSLER, E. H. . Proof Compression and NP Versus PSPACE. Studia Logica, 2017.

Apresentações de Trabalho
1.
Haeusler, Edward Hermann. Solving Problems in Intuitionistic Type Theory via General Problem Theory. 2016. (Apresentação de Trabalho/Comunicação).

2.
Haeusler, Edward Hermann; Gordeev, L. . Compression of proofs and NP vs PSPACE. 2016. (Apresentação de Trabalho/Comunicação).

3.
MACEDO, H. ; Haeusler, Edward Hermann . Yoneda's embedding and Post completeness. 2015. (Apresentação de Trabalho/Comunicação).

4.
CRUZ, M. Q. ; COSTA, V. G. ; Haeusler, Edward Hermann . Np full system and Mimp-fol Association. 2015. (Apresentação de Trabalho/Comunicação).

5.
Haeusler, Edward Hermann; RADEMAKER, A. . How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies. 2015. (Apresentação de Trabalho/Comunicação).

6.
Haeusler, Edward Hermann. Computational Manifolds and Sheaves. 2015. (Apresentação de Trabalho/Comunicação).

7.
Haeusler, Edward Hermann. Finito Não-Padrão e Modelos Computacionais Formais. 2015. (Apresentação de Trabalho/Conferência ou palestra).

8.
NALON, C. ; VIEIRA, B. L. ; Haeusler, Edward Hermann ; DOWEK, G. . A calculus for automatic verification of Petri Nets based on Resolution and Dynamic Logics. 2014. (Apresentação de Trabalho/Congresso).

9.
Haeusler, Edward Hermann; BENEVIDES, M. R. F. ; PAIVA, V. ; RADEMAKER, A. . On the Computational Complexity of the Intuitionistic Hybrid Modal Logics. 2014. (Apresentação de Trabalho/Congresso).

10.
SANTOS, J. ; VIEIRA, B. L. ; Haeusler, Edward Hermann . A proof-graphs based theorem prover for Minimal Implicational Logic. 2014. (Apresentação de Trabalho/Congresso).

11.
ENGLANDER, C. ; Haeusler, Edward Hermann ; DOWEK, G. . Correspondence between Natural Deduction and Sequent Calculus. 2014. (Apresentação de Trabalho/Congresso).

12.
HAEUSLER, E. H.. Kelsenian Jurisprudence, legal ontologies and Intuitionistic logic. 2014. (Apresentação de Trabalho/Conferência ou palestra).

13.
HAEUSLER, E. H.. Formal computation models and non-standard finiteness. 2014. (Apresentação de Trabalho/Conferência ou palestra).

14.
HAEUSLER, E. H.. The subformula principle and computational complexity of propositional logics. 2014. (Apresentação de Trabalho/Conferência ou palestra).

15.
Hæusler, Edward Hermann. How relative can be a mathematical concept ? Introducing the duality 'internal versus external' in Category Theory. 2013. (Apresentação de Trabalho/Conferência ou palestra).

16.
Hæusler, Edward Hermann; MARTINI, A. ; WOLTER, U. . Fibred and Indexed Semantics for a Hoare-like Logic. 2013. (Apresentação de Trabalho/Conferência ou palestra).

17.
Hæusler, Edward Hermann; MARTINI, A. ; WOLTER, U. . Universality, Naturality and Logical Systems. 2013. (Apresentação de Trabalho/Conferência ou palestra).

18.
Hausler, E. H.. Non-standard Finite Computation. 2013. (Apresentação de Trabalho/Conferência ou palestra).

19.
HAEUSLER, E. H.. A short discussion on non-standard finite computation. 2013. (Apresentação de Trabalho/Conferência ou palestra).

20.
HAEUSLER, E. H.. A proof-theoretical discussion on the mechanization of propositional logics. 2013. (Apresentação de Trabalho/Conferência ou palestra).

21.
Haeusler, Edward H.. On the computational complexity of the purely implicational logic. 2012. (Apresentação de Trabalho/Conferência ou palestra).

22.
Haeusler, Edward Hermann. A proof theoretical discussion on the mechanization of propositional logic. 2012. (Apresentação de Trabalho/Conferência ou palestra).

23.
Haeusler, Edward Hermann; PEREIRA, L. C. ; VELOSO, P. A. S. . Mesa Redonda: Conjuntos e Categorias. 2012. (Apresentação de Trabalho/Outra).

24.
ENGLANDER, C. ; PEREIRA, L. C. ; HAEUSLER, E. H. . Arbitrary multi-truth-value functions and natural deduction. 2011. (Apresentação de Trabalho/Comunicação).

25.
HAEUSLER, E. H.. Proof Theory and systems of deduction. 2011. (Apresentação de Trabalho/Conferência ou palestra).

26.
GUEDES, L. C. C. ; HAEUSLER, E. H. . Action Algebras and Model Algebras in Denotational Semantics. 2009. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções bibliográficas
1.
Carnielli, Walter ; HAEUSLER, E. H. ; VIANA, J. P. . The Proceedings of the XVII EBL?17th Brazilian Logic Conference, 2014: A preface. Oxford, UK, 2017. (Prefácio, Pósfacio/Prefácio)>.

2.
NIEVES, J. C. ; HAEUSLER, E. H. ; VIEIRA, Bruno Lopes . Computación y Sistemas. Ciudad de Mexico, 2017. (Prefácio, Pósfacio/Prefácio)>.

3.
HAEUSLER, E. H.; CERRO, L. F. . Electronic Notes in Theoretical Science, n. 269. Amsterdam, 2011. (Prefácio, Pósfacio/Prefácio)>.

4.
AYALA-RINCÓN, M. ; HAEUSLER, E. H. . Logic Journal of the IGPL 17(5), 2009. (Prefácio, Pósfacio/Prefácio)>.

5.
AYALA-RINCÓN, M. ; HAEUSLER, E. H. . Electronic Notes in Theoretical Computer Science 205, 2008. (Prefácio, Pósfacio/Prefácio)>.

6.
HAEUSLER, E. H.. Introdução a Teoria da Prova para Métodos Formais. Ouro Preto: SBMF 2007, 2006 (Mini-Curso ministrado em Congresso Nacional).

7.
QUEIROZ, R. ; PEREIRA, L. C. ; HAEUSLER, E. H. . Electronic Notes in Theoretical Computer Science , n. 67, 2002. (Prefácio, Pósfacio/Prefácio)>.

8.
HAEUSLER, E. H.; MESEGUER, J. . MEFIA PROJECT. Brasília: CNPQ, 2001 (Coordenação de Projeto).

9.
HAEUSLER, E. H.. Reviews of Automatic Theorem Proving by OTTER. Oxford: University of Oxford Publishing, 1996 (Review de Livro Publicado).


Produção técnica
Trabalhos técnicos
1.
HAEUSLER, E. H.; SCHROEDER-HEISTER, P. . Sêmantica via Teoria da Prova. 2004.

2.
HAEUSLER, E. H.; MESEGUER, J. . Fundamentação Matemática e de Engenharia de Softwar via Arquitetura. 2000.


Demais tipos de produção técnica
1.
Haeusler, Edward Hermann; Gordeev, L. . Proof compressions and the conjecture NP = PSPACE. 2017. (Curso de curta duração ministrado/Outra).

2.
PAIVA, V. ; PEREIRA, L. C. ; Haeusler, Edward H. . Natural Deduction for the Working Logician. 2016. (Curso de curta duração ministrado/Outra).

3.
HAEUSLER, E. H.. Introdução a Teoria da Prova para Métodos Formais. 2007. (Curso de curta duração ministrado/Outra).

4.
HAEUSLER, E. H.; OLIVEIRA, C. M. G. ; CARVALHO, R. L. . Universal Computation. 2005. (Curso de curta duração ministrado/Outra).

Demais trabalhos
1.
HAEUSLER, E. H.; PEREIRA, L. C. . Multiplicativily Quantified Linear Logic. 1999 (Palestra) .

2.
HAEUSLER, E. H.. Banca Concurso para Professor Adjunto UFF. 1997 (Banca de Concurso de Público) .

3.
HAEUSLER, E. H.; MORETH, R. C. ; REYES, G. . The Decidability Of Mao. 1996 (RELATORIO TECNICO) .

4.
HAEUSLER, E. H.. Teoria das Categorias e Linguagens de Programação (8 hs) miniistrado durante o I Simpósio Brasileiro de Linguagens de Programação. 1996 (Mini-Curso Ministrado em Congresso) .

5.
HAEUSLER, E. H.. Mini-Seminario de Teoria das Categorias em Computacao. 1996 (Mini-Curso Ministrado em Congresso) .

6.
HAEUSLER, E. H.. Banca para Professor Assistente na área de S.I.. 1996 (Banca de Concurso de Público) .

7.
HAEUSLER, E. H.. Teoria da Computacao : Uma Abordagem Semantica. 1995 (Palestra) .

8.
HAEUSLER, E. H.. Logica Linear e Relevancia. 1995 (Palestra) .

9.
HAEUSLER, E. H.. Ferramentas Simbolicas em IA. 1995 (Palestra) .

10.
HAEUSLER, E. H.. Migração de Codigo : Uma Abordagem Formal. 1995 (Palestra) .

11.
HAEUSLER, E. H.. Linear Quantifiers and Infinitary Linear Logic. 1995 (Palestra) .

12.
HAEUSLER, E. H.. Teoria das Categorias em Computacao. 1995 (Curso de Verão Ministrado) .

13.
HAEUSLER, E. H.. Semantica em Computacao : A abordagem Denotacional. 1995 (Curso de Verão Ministrado) .



Eventos



Participação em eventos, congressos, exposições e feiras
1.
DaLí - Dynamic Logic: new trends and applications (workshop of Tableaux2017).Propositional Dynamic Logic with Petri net programs: A discussion and a logical system. 2017. (Simpósio).

2.
Encontro Brasileiro de Lógica. Proof Compression, The Conjectures NP vs PSPACE and NP vs coNP.. 2017. (Congresso).

3.
Fisrt Workshop on Foundations of Mathematics.Compression of propositional proofs. On proof-theoretical arguments in favor of the conjectures NP=CoNP and NP=PSPACE.. 2017. (Oficina).

4.
TABLEAUX2017 - The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods.Tutorial on Proof compressions and the conjecture NP = PSPACE (6 hours). 2017. (Simpósio).

5.
XXI Colóquio Conesul de Filosofia das Ciências Formais.Mesa Redonda: Derivações, provas e argumentos: alguns aspectos (Joint with P. Veloso and J-B Joinet). 2017. (Simpósio).

6.
XX Colóquio Conesul de Filosofia das Ciências Formais.Solving Problems in Intuitionistic Type Theory via General Problem Theory. 2016. (Simpósio).

7.
WEIT - Workshop Escola de Informática Teórica.Finito não-padrão e Computação Formal. 2015. (Seminário).

8.
XIX Colóquio Conesul de Filosofia das Ciências Formais.Computational Manifolds and Sheaves. 2015. (Simpósio).

9.
Contest for the Universal Logic Prize.First International Conference on Universal Logic. 2005. (Simpósio).

10.
First Conference on Universal Logic.A short Course on Universal Computation (together with R.Lins de Carvalho e C. Macedo). 2005. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
AYALA-RINCÓN, M. ; HAEUSLER, E. H. . TLCA - Types, Lambda Calculus and Applications. 2009. (Congresso).

2.
HAEUSLER, E. H.. Simpósio Brasileiro de Linguagens de Programação. 2002. (Congresso).

3.
HAEUSLER, E. H.. Workshop de Métodos Formais. 2001. (Congresso).

4.
PEREIRA, L. C. ; HAEUSLER, E. H. ; PAIVA, V. . Natural Deduction 2000. 2000. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Robinson Callou. Formalizando a completude de compressão de provas grandes. Início: 2018. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

2.
José Flávio Cavalcanti Junior. Um Estudo sobre certificados sucintos em problemas NP-Completos. Início: 2018. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

3.
Bernardo Alkmim. Implementation of short proofs generator for Minimal Implicational Logic. Início: 2017. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

Tese de doutorado
1.
Guilherme Felix da Silva. Assisted theorem proving for security protocols based on Sheaves. Início: 2018. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro. (Orientador).

2.
Ranieri Batista. Aplicações da teoria de Topos em Data-Streaming: Implementando Raciocínio em IoT via Feixes. Início: 2015. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

3.
Cleyton Slaviero. Rationality in CS via Game Theory. Início: 2015. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Guilherme Felix da Silva. Formalização de Algoritmos de Criptografia em um Assistente de Provas Interativo. 2018. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Edward Hermann Haeusler.

2.
VItor Pinheiro de Almeida. Contex in Ontologies. 2011. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Edward Hermann Haeusler.

3.
Aleksander Medella Campos da Silva. Uma Biblioteca de Componentes De Software para Simuladores De Radar. 2011. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Coorientador: Edward Hermann Haeusler.

4.
LUCIANA DA SILVA ALMENDRA GOMES. Proveniência para Workflows de Bioinformática. 2011. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Edward Hermann Haeusler.

5.
RENATO JAVIER MARROQUIN MOGROVEJO. Experimental Statistical Analysis of MapReduce Joins. 2011. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Edward Hermann Haeusler.

6.
Jefferson Santos. Uma Infraestrutura WEB-Service para interfaces de provradores interativos de teoremas. 2010. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Edward Hermann Haeusler.

7.
Cecíclia Englander Lustosa. On the 2-Categorial view of Proof Theory. 2009. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Edward Hermann Haeusler.

8.
Bruno Schroeder. A Graph Based Theorem Proving Platform with Strategies. 2008. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Edward Hermann Haeusler.

9.
Davi Romero Vasconcelos. Análise de Estratégias Utilizando Verificação Formal de Modelos. 2003. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Edward Hermann Haeusler.

10.
Juliana Carpes Imperial. Técnicas para o Uso de Cálculo de Hoare em PCC. 2003. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Edward Hermann Haeusler.

11.
Marcelo Jaccoud do Amaral. Mantendo Código Fonte em XML: Rumo ao Hiperfonte. 2001. 0 f. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Edward Hermann Haeusler.

12.
Fernando Naufel do Amaral. Uma Lógica de Ações para Sistemas de Transição Temporizados. 2000. 0 f. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Edward Hermann Haeusler.

13.
Carlos Bazílio Martins. Detecção de Paralelismo a partir da Semântica Denotacional e de Grafos de Dependências. 2000. 0 f. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Edward Hermann Haeusler.

14.
Christian Renteria. CN: Dedução Natural para CLT. 2000. 0 f. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Edward Hermann Haeusler.

15.
Patrícia Garces Rabelo. Um provador Interativo de Teoremas em Dedução Natural. 2000. 0 f. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Edward Hermann Haeusler.

16.
Geiza Maria Hamazaki da Silva. Um Estudo em Síntese Construtiva de Programas Utilizando Lógica Intuicionista. 1999. 0 f. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Edward Hermann Haeusler.

17.
Marcelo Fagundes Félix. Let : Uma Linguagem de Suporte A Transformacoes Em Alto Nivel. 1998. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Edward Hermann Haeusler.

18.
Isabel Leite Cafezeiro. Um Prototipo Para Simulacao de Processos Em Csp: Um Enfoque Orientado A Objetos. 1994. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Edward Hermann Haeusler.

Tese de doutorado
1.
Jefferson de Barros Santos. Systems for Provability and Countermodel Generation in Propositional Minimal Implicational Logic. 2017. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Edward Hermann Haeusler.

2.
Bruno Lopes Vieira. Extending Propositional Dynamic Logic for Petri Nets. 2014. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Edward Hermann Haeusler.

3.
Marcela Quispe Cruz. Some Results in a Proof-theory Based on Graphs. 2014. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Edward Hermann Haeusler.

4.
Cecília Englander Lustosa. On some relations between Natural Deduction and Sequent Calculus. 2014. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Edward Hermann Haeusler.

5.
Ricardo Queiroz de Araujo Fernandes. Proximity-Based Understanding of Conditionals. 2012. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Edward Hermann Haeusler.

6.
Cristian Tristão. Uma Abordagem para Modelar, Armazenar e Acessar Sequências Biológicas. 2012. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Coorientador: Edward Hermann Haeusler.

7.
Alexandre Rademaker. On a Proof Theory for Description Logics. 2010. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Edward Hermann Haeusler.

8.
Vaston Gonçalves da Costa. Compactação de Provas Lógicas. 2007. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Edward Hermann Haeusler.

9.
DAVI ROMERO DE VASCONCELOS. Lógica Modal de Primeira-Ordem para Raciocinar sobre Jogos. 2007. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Edward Hermann Haeusler.

10.
Juliana Carpes Imperial. Confiança em Agentes Inteligentes. 2007. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Edward Hermann Haeusler.

11.
Carlos Bazílio Martins. Análise Formal de Protocolos e Algoritmos Distribuídos: Uma Abordagem Baseada em Linguagem. 2005. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Edward Hermann Haeusler.

12.
José Antonio F. de Macedo. Um modelo conceitual para biologia molecular. 2005. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Coorientador: Edward Hermann Haeusler.

13.
Christian Jacques Renteria. Uma Abordagem Geral para Quantificação em Dedução Natural. 2004. 0 f. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Edward Hermann Haeusler.

14.
Fernando Naufel do Amaral. Uma Abordagem Categorica baseada em Topoi para Heurísticas. 2004. 0 f. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. Orientador: Edward Hermann Haeusler.

15.
Geiza Maria Hamazaki da Silva. Síntese Construtiva de Programas em Teorias Intuicionistas. 2004. 0 f. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Edward Hermann Haeusler.

16.
Cristiano O Braga. Uma abordagem baseada em Lógica de Reescrita para a Semântica Operacional Modular. 2001. 0 f. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Edward Hermann Haeusler.

17.
Isabel Leite Cafezeiro. Compartilhamento e Semântica Denotacional. 2000. 0 f. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Edward Hermann Haeusler.

18.
Alex Vasconcelos Garcia. Um Modelo Categórico para Traduções entre Linguagens de Programação. 2000. 0 f. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Edward Hermann Haeusler.

19.
Leonardo M Moura. Análise de Programas. 2000. 0 f. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Coorientador: Edward Hermann Haeusler.

20.
Ana Isabel de Azevedo Spinola. Sistemas Reativos: Uma Abordagem Geométrica. 1999. 0 f. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Edward Hermann Haeusler.

21.
Regina Celia Moreth Bragança. Cálculo de Sequentes e Dedução Natural: Relacionamentos e Consequências. 1999. 0 f. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Edward Hermann Haeusler.

22.
Eliana Silva Almeida. A Lógica dos Recursos no Formalismo de Redes de Petri. 1998. 0 f. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Edward Hermann Haeusler.

23.
LUCILIA CAMARAO FIGUEIREDO. Lambda/Omega Calculus: Um Lambda Calculus Com Reflexao e Paralelismo. 1997. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Edward Hermann Haeusler.

24.
Marcelo da Silva Correa. Categorias e Sequencialidade. 1997. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Edward Hermann Haeusler.

25.
Luiz Carlos Castro Guedes. Um Modelo Orientado A Objetos Para A Geracao Automatica de Compiladores. 1995. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Edward Hermann Haeusler.

Supervisão de pós-doutorado
1.
Hugo Daniel de Macedo. 2015. Conselho Nacional de Desenvolvimento Científico e Tecnológico, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Edward Hermann Haeusler.

2.
Vaston Gonçalves Costa. 2009. Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Edward Hermann Haeusler.



Inovação



Projetos de pesquisa


Educação e Popularização de C & T



Apresentações de Trabalho
1.
Hæusler, Edward Hermann. How relative can be a mathematical concept ? Introducing the duality 'internal versus external' in Category Theory. 2013. (Apresentação de Trabalho/Conferência ou palestra).




Página gerada pelo Sistema Currículo Lattes em 14/11/2018 às 18:19:55