Personal information
Activities
Employment (1)
1991-03-01
to
present
|
Associate Professor
(Informática)
Employment
Source:
Edward Haeusler
Education and qualifications (1)
1986-03-01
to
1990-12-01
|
DSc
(Informática)
Education
Source:
Edward Haeusler
Professional activities (4)
2021-08-01
to
2023-08-01
|
2nd vice-president
Membership
Source:
Edward Haeusler
2013-10-01
to
2014-02-01
|
Invited researcher
(INRIA)
Invited position
Source:
Edward Haeusler
2003-04-01
to
2003-07-16
|
Invited professor
(Wilhelm-Schickard-Institut für Informatik)
Invited position
Source:
Edward Haeusler
1994-04-15
to
1994-08-01
|
Invited professor
(BRICS)
Invited position
Source:
Edward Haeusler
Works (50 of 57)
Items per page:
Page 1 of 2
2025
|
Book chapter
Contributors:
Luis Henrique Costa Neto;
S. Lifschitz;
F. Baião;
M. Catanho;
A. B. de Miranda;
E. H. Haeusler
Source:
check_circle
Crossref
Learning and Nonlinear Models
2024-10-31
|
Journal article
Contributors:
Carla Pacheco;
Vagner Paes;
Marcelo Carvalho;
Felipe Lopes;
Gabriel Machado;
Alex Garcia;
Edmilson Neto;
Jefferson Santos;
Edward Haeusler;
Ana Marotti
Source:
check_circle
Crossref
2023
|
Book chapter
Contributors:
Edward H. Haeusler;
Bruno Cuconato;
Luiz A. Glatzl;
Maria L. Guateque;
Diogo M. Vieira;
Elvismary M. de Armas;
Fernanda Baião;
Marcos Catanho;
Antonio B. de Miranda;
Sergio Lifschitz
Source:
check_circle
Crossref
2023-12-31
|
Conference paper
Contributors:
Carla Pacheco;
Vagner Paes;
Marcelo Carvalho;
Felipe Lopes;
Gabriel Machado;
Alex Garcia;
Edmilson Neto;
Jefferson Santos;
Edward Haeusler;
Ana Marotti
Source:
check_circle
Crossref
European Conference on the Impact of Artificial Intelligence and Robotics
2022
|
Conference paper
Contributors:
de Vasconcellos Garcia, Alex;
Machado, Gabriel Resende;
Ferreira, Carla Chrystina de Castro Pacheco;
Haeusler, Edward Hermann;
dos Santos, Jefferson Barros;
Varejão, Edmilson;
Schneider, Pedro;
dos Santos Barbosa, Athos;
Magalhães, Mauŕıcio;
de Carvalho, Marcelo
et al.
Source:
Edward Haeusler
FLAP
2022
|
Journal article
URI:
https://collegepublications.co.uk/ifcolog/?00053
Contributors:
Edward Hermann Haeusler
Source:
Edward Haeusler
FLAP
2022
|
Journal article
Contributors:
da Costa, Vaston Conçalves;
Haeusler, Edward Hermann
Source:
Edward Haeusler
Journal of Information and Data Management
2022-12-19
|
Journal article
Contributors:
Mariana D. A. Salgueiro;
Veronica Dos Santos;
André L. C. Rêgo;
Daniel S. Guimarães;
Jefferson B. Santos;
Edward H. Haeusler;
Marcos V. Villas;
Sérgio Lifschitz
Source:
Edward Haeusler
LSFA, Logical and Semantical Frameworks with Applications
2022-09-23
|
Conference paper
Contributors:
Robinson Callou de Moura Brasil Filho;
Jefferson de Barros Santos;
Edward Haeusler
Source:
Edward Haeusler
Anais do XXXVII Simpósio Brasileiro de Banco de Dados (SBBD 2022)
2022-09-19
|
Conference paper
Contributors:
Mariana D. A. Salgueiro;
Sergio Lifschitz;
Edward Hermann Haeusler;
Verônica dos Santos;
Alexandre A. P. Heine
Source:
Edward Haeusler
Mathematical Structures in Computer Science
2022-09-19
|
Journal article
Contributors:
Uwe Egbert Wolter;
Alfio Martini;
E.H. Häusler
Source:
Edward Haeusler
DL 2022: 35th International Workshop on Description Logics
2022-08-07
|
Conference paper
Contributors:
Bernardo Alkmin;
Edward Haeusler;
Claudia Nalon
Source:
Edward Haeusler
Anais do X Workshop de Computação Aplicada em Governo Eletrônico (WCGE 2022)
2022-07-31
|
Conference paper
Contributors:
Fernando Antonio D. G. Pinto;
Sérgio Lifschitz;
Edward Hermann Haeusler
Source:
Edward Haeusler
BioTech
2022-07-30
|
Journal article
Contributors:
Sergio Lifschitz;
Edward H. Haeusler;
Marcos Catanho;
Antonio B. de Miranda;
Elvismary Molina de Armas;
Alexandre Heine;
Sergio G. M. P. Moreira;
Cristian Tristão
Source:
check_circle
Crossref
grade
Preferred source
(of
2)
The Review of Symbolic Logic
2022-03
|
Journal article
Contributors:
EDUARDO N. GIOVANNINI;
EDWARD H. HAEUSLER;
ABEL LASSALLE-CASANAVE;
PAULO A. S. VELOSO
Source:
Edward Haeusler
grade
Preferred source
(of
2)
2022 International Conference on Digital Government Technology and Innovation (DGTi-CON)
2022-03-24
|
Conference paper
Contributors:
Fernando Antonio D G Pinto;
Sergio Lifschitz;
Edward Hermann Haeusler
Source:
Edward Haeusler
O que nos faz pensar
2022-01-15
|
Journal article
Contributors:
Eduardo N. Giovannini;
Abel Lassalle Casanave;
Edward Hermann Haeusler
Source:
check_circle
Crossref
Bulletin of the Section of Logic
2022-01-07
|
Journal article
Contributors:
Lew Gordeev;
Edward Hermann Haeusler
Source:
Edward Haeusler
via
Crossref Metadata Search
grade
Preferred source
(of
2)
Short Papers Proceedings of the 2nd International Workshop on Software
Engineering & Technology (Q-SET 2021) co-located with IEEE
International Conference on Quantum Computing and Engineering (IEEE
Quantum Week 2021), Virtual Conference, October 19, 2021
2021
|
Conference paper
URI:
https://ceur-ws.org/Vol-3008/paper4.pdf
Contributors:
Lorenzo Saraiva;
Edward Hermann Haeusler;
Vaston G. Costa;
Marcos Kalinowski;
Ricardo Pérez-Castillo;
Manuel A. Serrano;
Mario Piattini
Source:
Edward Haeusler
2021-11-17
|
Conference paper
Contributors:
Cleyton Slaviero;
Edward Hermann Haeusler
Source:
check_circle
Crossref
2021-11-17
|
Conference paper
Contributors:
Guilherme G. F. da Silva;
Edward Hermann Haeusler;
Cláudia Nalon
Source:
check_circle
Crossref
Journal of Information and Data Management
2021-09-10
|
Journal article
Contributors:
Raphael Marins;
Rafael Pereira de Oliveira;
Edward Hermann Haeusler;
Sérgio Lifschitz;
Daniel Schwabe;
Ana Carolina Almeida
Source:
Edward Haeusler
via
Crossref Metadata Search
ACM Transactions on Computational Logic
2021-05
|
Journal article
Contributors:
Bruno Lopes;
Cláudia Nalon;
Edward Hermann Haeusler
Source:
Edward Haeusler
via
Crossref Metadata Search
AI Approaches to the Complexity of Legal Systems XI-XII - AICOL
International Workshops 2018 and 2020: AICOL-XI@JURIX 2018, AICOL-XII@JURIX
2020, XAILA@JURIX 2020, Revised Selected Papers
2020
|
Conference paper
Contributors:
Bernardo Alkmim;
Edward Hermann Haeusler;
Daniel Schwabe;
Víctor Rodríguez-Doncel;
Monica Palmirani;
Michal Araszkiewicz;
Pompeu Casanovas;
Ugo Pagallo;
Giovanni Sartor
Source:
Edward Haeusler
2020
|
Book chapter
Contributors:
Julio Omar Prieto Entenza;
Edward Hermann Haeusler;
Sérgio Lifschitz
Source:
check_circle
Crossref
2020
|
Book chapter
Contributors:
Cristian Tristão;
Antonio Basilio de Miranda;
Edward Hermann Haeusler;
Sergio Lifschitz
Source:
check_circle
Crossref
Bulletin of the Section of Logic
2020-08
|
Journal article
Contributors:
Lew Gordeev;
Edward Hermann Haeusler
Source:
Edward Haeusler
via
Crossref Metadata Search
grade
Preferred source
(of
2)
Seminário Lógica no Avião
2019
|
Other
Contributors:
Edward H. Haeusler;
Alexandre Rademaker
Source:
Edward Haeusler
via
Crossref Metadata Search
Disputatio
2018
|
Journal article
Contributors:
Paulo A. S. Veloso;
Luiz Carlos Pereira;
E. Hermann Haeusler
Source:
Edward Haeusler
via
Crossref Metadata Search
Theoretical Computer Science
2018-10
|
Journal article
Contributors:
Mario Benevides;
Bruno Lopes;
Edward Hermann Haeusler
Source:
Edward Haeusler
via
Crossref Metadata Search
Computación y Sistemas
2017-09
|
Journal article
Contributors:
Juan Carlos Nieves;
Edward Hermann Haeusler;
Bruno Lopes
Source:
Edward Haeusler
via
Crossref Metadata Search
Logic Journal of the IGPL
2017-06
|
Journal article
Contributors:
Walter Carnielli;
Edward Hermann Haeusler;
Petrucio Viana
Source:
Edward Haeusler
via
Crossref Metadata Search
Electronic Notes in Theoretical Computer Science
2016-09
|
Journal article
Contributors:
Jefferson de Barros Santos;
Bruno Lopes Vieira;
Edward Hermann Haeusler
Source:
Edward Haeusler
via
Crossref Metadata Search
Theoretical Aspects of Computing – ICTAC 2016
2016-09
|
Other
Contributors:
Mario R. F. Benevides;
Bruno Lopes;
Edward Hermann Haeusler
Source:
Edward Haeusler
via
Crossref Metadata Search
2016 27th International Workshop on Database and Expert Systems Applications (DEXA)
2016-09
|
Other
Contributors:
Ricardo Queiroz De Araujo Fernandes;
Edward Hermann Haeusler;
Luiz Carlos Pereira
Source:
Edward Haeusler
via
Crossref Metadata Search
Electronic Notes in Theoretical Computer Science
2016-07
|
Journal article
Contributors:
Marcela Quispe-Cruz;
Edward Haeusler;
Lew Gordeev
Source:
Edward Haeusler
via
Crossref Metadata Search
Electronic Notes in Theoretical Computer Science
2015-09
|
Journal article
Contributors:
Edward Hermann Haeusler
Source:
Edward Haeusler
via
Crossref Metadata Search
Trends in Logic
2014
|
Book
Contributors:
Luiz Carlos Pereira;
Edward Hermann Haeusler;
Valeria de Paiva
Source:
Edward Haeusler
via
Crossref Metadata Search
Dag Prawitz on Proofs and Meaning
2014-11
|
Other
Contributors:
Luiz Carlos Pereira;
Edward Hermann Haeusler
Source:
Edward Haeusler
via
Crossref Metadata Search
Electronic Notes in Theoretical Computer Science
2014-07
|
Journal article
Contributors:
Bruno Lopes;
Mario Benevides;
Edward Hermann Haeusler
Source:
Edward Haeusler
via
Crossref Metadata Search
Logic Journal of IGPL
2014-04
|
Journal article
Contributors:
B. Lopes;
M. Benevides;
E. H. Haeusler
Source:
Edward Haeusler
via
Crossref Metadata Search
Electronic Proceedings in Theoretical Computer Science
2014-03
|
Journal article
Contributors:
Marcela Quispe-Cruz;
Edward Hermann Haeusler;
Lew Gordeev
Source:
Edward Haeusler
via
Crossref Metadata Search
Bulletin of Symbolic Logic
2014-01
|
Journal article
Contributors:
Edward Hermann Haeusler
Source:
Edward Haeusler
via
Crossref Metadata Search
Logic Journal of IGPL
2013-08-06
|
Journal article
Contributors:
C. Englander;
E. H. Haeusler;
L. C. Pereira
Source:
Edward Haeusler
via
Crossref Metadata Search
2011 22nd International Workshop on Database and Expert Systems Applications
2011-08
|
Other
Contributors:
Edward Hermann Haeusler;
Valeria de Paiva;
Alexandre Rademaker
Source:
Edward Haeusler
via
Crossref Metadata Search
Studia Logica
2010-08-08
|
Journal article
Contributors:
Luiz C. Pereira;
Edward H. Haeusler;
Vaston G. Costa;
Wagner Sanz
Source:
Edward Haeusler
via
Crossref Metadata Search
Logic Journal of IGPL
2010-02
|
Journal article
Contributors:
L. Gordeev;
E. H. Haeusler;
L. C. Pereira
Source:
Edward Haeusler
via
Crossref Metadata Search
Electronic Notes in Theoretical Computer Science
2009
|
Journal article
Contributors:
Ricardo Queiroz de Araujo Fernandes;
Edward Hermann Haeusler
Source:
Edward Haeusler
via
Crossref Metadata Search
Logic Journal of IGPL
2009-08
|
Journal article
Contributors:
M. Ayala-Rincon;
E. H. Haeusler
Source:
Edward Haeusler
via
Crossref Metadata Search
Logic Journal of IGPL
2007-09
|
Journal article
Contributors:
A. Martini;
U. Wolter;
E. H. Haeusler
Source:
Edward Haeusler
via
Crossref Metadata Search
Items per page:
Page 1 of 2