Edward Haeusler
Edward Haeusler
Professor of Computer Science, PUC-Rio
Verifierad e-postadress på inf.puc-rio.br
TitelCiteras avÅr
Referee assignment in sports leagues
AR Duarte, CC Ribeiro, S Urrutia, EH Haeusler
International Conference on the Practice and Theory of Automated Timetabling …, 2006
432006
Semantic interoperability via category theory
I Cafezeiro, EH Haeusler
Tutorials, posters, panels and industrial contributions at the 26th …, 2007
382007
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
322002
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
302000
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
182006
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
Ontology and context
I Cafezeiro, EH Haeusler, A Rademaker
2008 Sixth Annual IEEE International Conference on Pervasive Computing and …, 2008
162008
Mobilehealthnet: A middleware for mobile social networks in m-health
A Teles, D Pinheiro, J Gonçalves, R Batista, F Silva, V Pinheiro, ...
Proceedings of the 3rd international conference on wireless mobile …, 2012
132012
Intuitionistic Logic and Legal Ontologies.
EH Haeusler, V De Paiva, A Rademaker
JURIX, 155-158, 2010
132010
Nul: Natural deduction for ultrafilter logic
CJ Renterıa, EH Haeusler, PAS Veloso
Bulletin of the Section of Logic 32 (4), 191-200, 2003
132003
Constructive description logics hybrid-style
V de Paiva, EH Haeusler, A Rademaker
Electronic Notes in Theoretical Computer Science 273, 21-31, 2011
122011
Proof compressions with circuit-structured substitutions
L Gordeev, EH Haeusler, VG da Costa
Journal of Mathematical Sciences 158 (5), 645-658, 2009
122009
A natural deduction system for ctl
CJ Renterıa, EH Haeusler
Bulletin of the Section of Logic 31 (4), 231-240, 2002
122002
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
112010
A Formal Approach to Real-Time Object Oriented Software
SE Carvalho, JL Fiadeiro, EH Haeusler
IFAC Proceedings Volumes 30 (23), 71-76, 1997
111997
Propositional dynamic logic for petri nets
B Lopes, M Benevides, EH Haeusler
Logic Journal of the IGPL 22 (5), 721-736, 2014
102014
Specifying ubiquitous systems through the algebra of contextualized ontologies
I Cafezeiro, J Viterbo, A Rademaker, EH Haeusler, M Endler
The Knowledge Engineering Review 29 (2), 171-185, 2014
102014
Using ontologies to formalize services specifications in multi-agent systems
KK Breitman, A Haendchen Filho, EH Haeusler, A Von Staa
International Workshop on Formal Approaches to Agent-Based Systems, 92-110, 2004
102004
Extending propositional dynamic logic for Petri Nets
B Lopes, M Benevides, EH Haeusler
Electronic Notes in Theoretical Computer Science 305, 67-83, 2014
92014
Intuitionistic description logic and legal reasoning
EH Haeusler, V de Paiva, A Rademaker
2011 22nd International Workshop on Database and Expert Systems Applications …, 2011
92011
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20