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
International Conference on the Practice and Theory of Automated Timetabling …, 2006
462006
Semantic interoperability via category theory
I Cafezeiro, EH Haeusler
Tutorials, posters, panels and industrial contributions at the 26th …, 2007
432007
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
Maude action tool: Using reflection to map action semantics to rewriting logic
CO Braga, EH Haeusler, J Meseguer, PD Mosses
International Conference on Algebraic Methodology and Software Technology …, 2000
312000
An ontology-based approach to the formalization of information security policies
FN Do Amaral, C Bazilio, GMH Da Silva, A Rademaker, EH Haeusler
2006 10th IEEE International Enterprise Distributed Object Computing …, 2006
232006
Intuitionistic Logic and Legal Ontologies.
EH Haeusler, V De Paiva, A Rademaker
JURIX, 155-158, 2010
172010
Ontology and context
I Cafezeiro, EH Haeusler, A Rademaker
2008 Sixth Annual IEEE International Conference on Pervasive Computing and …, 2008
172008
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
Constructive description logics hybrid-style
V de Paiva, EH Haeusler, A Rademaker
Electronic Notes in Theoretical Computer Science 273, 21-31, 2011
162011
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
162010
A formal framework for modeling context-aware behavior in ubiquitous computing
I Cafezeiro, J Viterbo, A Rademaker, EH Haeusler, M Endler
International Symposium On Leveraging Applications of Formal Methods …, 2008
162008
Nul: Natural deduction for ultrafilter logic
CJ Renterıa, EH Haeusler, PAS Veloso
Bulletin of the Section of Logic 32 (4), 191-199, 2003
152003
A natural deduction system for ctl
CJ Renterıa, EH Haeusler
Bulletin of the Section of Logic 31 (4), 231-240, 2002
142002
Intuitionistic description logic and legal reasoning
EH Haeusler, V de Paiva, A Rademaker
2011 22nd International Workshop on Database and Expert Systems Applications …, 2011
132011
Proof compressions with circuit-structured substitutions
L Gordeev, EH Haeusler, VG da Costa
Journal of Mathematical Sciences 158 (5), 645-658, 2009
122009
Propositional Logics Complexity and the Sub-Formula Property
EH Haeusler
DCM 2014, EPTCS 179 (1), 1-16, 2015
112015
Propositional dynamic logic for petri nets
B Lopes, M Benevides, EH Haeusler
Logic Journal of the IGPL 22 (5), 721-736, 2014
112014
Proof-graphs for minimal implicational logic
M Quispe-Cruz, EH Haeusler, L Gordeev
arXiv preprint arXiv:1404.0082, 2014
112014
Proof Compression and NP Versus PSPACE
L Gordeev, EH Haeusler
Studia Logica, 2018
102018
How Many Times Do We Need an Assumption to Prove a Tautology in Minimal Logic: An Example on the Compression Power of Classical Reasoning
EH Haeusler
LANMR 2014, Valle del Bravo, Mexico 1287, 12, 2014
102014
The system can't perform the operation now. Try again later.
Articles 1–20