Følg
Edward Haeusler
Edward Haeusler
Professor of Computer Science, PUC-Rio
Verifisert e-postadresse på inf.puc-rio.br
Tittel
Sitert av
Sitert av
År
Referee assignment in sports leagues
AR Duarte, CC Ribeiro, S Urrutia, EH Haeusler
Practice and Theory of Automated Timetabling VI: 6th International …, 2007
592007
Semantic Interoperability via Category Theory.
I Cafezeiro, EH Haeusler
ER (tutorials, posters, panels & industrial contributions), 197-202, 2007
502007
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
372000
Mapping modular SOS to rewriting logic
CO de Braga, EH Haeusler, J Meseguer, PD Mosses
International Workshop on Logic-Based Program Synthesis and Transformation …, 2002
322002
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
232008
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
International Symposium On Leveraging Applications of Formal Methods …, 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
202017
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
19*2017
Mobilehealthnet: A middleware for mobile social networks in m-health
A Teles, D Pinheiro, J Gonçalves, R Batista, F Silva, V Pinheiro, ...
Proc. 3rd Int. Conf. Wireless Mobile Commun. Healthcare (MobiHealth) 12, 1-8, 2012
192012
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
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
172022
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
Propositional dynamic logic for Petri nets
B Lopes, M Benevides, EH Haeusler
Logic Journal of the IGPL 22 (5), 721-736, 2014
162014
Propositional Logics Complexity and the Sub-Formula Property
EH Haeusler
DCM 2014, EPTCS 179 (1), 1-16, 2015
152015
Extending propositional dynamic logic for Petri nets
B Lopes, M Benevides, EH Haeusler
Electronic Notes in Theoretical Computer Science 305, 67-83, 2014
152014
Proof compressions with circuit-structured substitutions
L Gordeev, EH Haeusler, VG da Costa
Journal of Mathematical Sciences 158, 645-658, 2009
142009
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20