Follow
Edward Haeusler
Edward Haeusler
Professor of Computer Science, PUC-Rio
Verified email at inf.puc-rio.br
Title
Cited by
Cited by
Year
Referee assignment in sports leagues
AR Duarte, CC Ribeiro, S Urrutia, EH Haeusler
Practice and Theory of Automated Timetabling VI: 6th International …, 2007
562007
Semantic Interoperability via Category Theory.
I Cafezeiro, EH Haeusler
ER (Tutorials, Posters, Panels & Industrial Contributions), 197-202, 2007
512007
Maude action tool: Using reflection to map action semantics to rewriting logic
CO Braga, EH Haeusler, J Meseguer, PD Mosses
Algebraic Methodology and Software Technology: 8th International Conference …, 2000
362000
Mapping modular SOS to rewriting logic
CO de Braga, EH Hæusler, J Meseguer, PD Mosses
International Workshop on Logic-Based Program Synthesis and Transformation …, 2002
332002
An ontology-based approach to the formalization of information security policies
FN Do Amaral, C Bazílio, GMH Da Silva, A Rademaker, EH Haeusler
2006 10th IEEE International Enterprise Distributed Object Computing …, 2006
262006
Intuitionistic logic and legal ontologies
EH Haeusler, V De Paiva, A Rademaker
Legal Knowledge and Information Systems, 155-158, 2010
242010
Ontology and context
I Cafezeiro, EH Haeusler, A Rademaker
2008 Sixth Annual IEEE International Conference on Pervasive Computing and …, 2008
222008
Constructive description logics hybrid-style
V de Paiva, EH Haeusler, A Rademaker
Electronic Notes in Theoretical Computer Science 273, 21-31, 2011
212011
A formal framework for modeling context-aware behavior in ubiquitous computing
I Cafezeiro, J Viterbo, A Rademaker, EH Haeusler, M Endler
Leveraging Applications of Formal Methods, Verification and Validation …, 2008
212008
Towards stream-based reasoning and machine learning for IoT applications
M Endler, JP Briot, FS e Silva, VP de Almeida, EH Haeusler
2017 Intelligent Systems Conference (IntelliSys), 202-209, 2017
192017
Intuitionistic description logic and legal reasoning
EH Haeusler, V de Paiva, A Rademaker
2011 22nd International Workshop on Database and Expert Systems Applications …, 2011
192011
Proof Compression and NP Versus PSPACE
L Gordeev, EH Haeusler
Studia Logica, 2018
172018
Using intuitionistic logic as a basis for legal ontologies
EH Haeusler, V De Paiva, A Rademaker
Proceedings of the 4th workshop on legal ontologies and artificial …, 2010
172010
Mobilehealthnet: A middleware for mobile social networks in m-health
A Teles, D Pinheiro, J Gonçalves, R Batista, F Silva, V Pinheiro, ...
Proc. MobiHealth 12, 1-8, 2012
162012
Passing the Brazilian OAB Exam: Data Preparation and Some Experiments
AR Pedro Delfino, Bruno Cuconato, Edward Hermann Haeusler
Jurix 302 (Legal Knowledge and Information Systems), 89-94, 2017
15*2017
Propositional Logics Complexity and the Sub-Formula Property
EH Haeusler
DCM 2014, EPTCS 179 (1), 1-16, 2015
152015
Bio-strings: a relational database data-type for dealing with large biosequences
S Lifschitz, EH Haeusler, M Catanho, AB de Miranda, E Molina de Armas, ...
BioTech 11 (3), 31, 2022
142022
Propositional dynamic logic for Petri nets
B Lopes, M Benevides, EH Haeusler
Logic Journal of the IGPL 22 (5), 721-736, 2014
142014
Proof compressions with circuit-structured substitutions
L Gordeev, EH Haeusler, VG da Costa
Journal of Mathematical Sciences 158, 645-658, 2009
142009
NUL-natural deduction for ultrafilter logic
CJ Renterıa, EH Haeusler, PAS Veloso
Bulletin of the Section of Logic 32 (4), 2003
142003
The system can't perform the operation now. Try again later.
Articles 1–20