Edward Haeusler

Cited by

	All	Since 2018
Citations	961	360
h-index	14	9
i10-index	30	7

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220234 7 6 8 5 13 10 15 15 14 25 36 32 42 44 39 23 63 62 54 44 51 53 74 51 67 61

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Alexandre RademakerIBM Research and EMAp/FGVVerified email at br.ibm.com
Markus EndlerPontificia Universidade Católica (PUC-Rio), Rio de Janeiro, Department of InformaticsVerified email at inf.puc-rio.br
Sérgio LifschitzPontifícia Universidade Católica do Rio de JaneiroVerified email at inf.puc-rio.br
Mario BenevidesAssociate Professor of Computer Science, Fluminense Federal UniversityVerified email at cos.ufrj.br
Bruno LopesUniversidade Federal FluminenseVerified email at ic.uff.br
Valeria de PaivaUniversity of BirminghamVerified email at topos.institute
Christiano BragaAssociate Professor of Computer Science, Universidade Federal FluminenseVerified email at ic.uff.br
Vitor Pinheiro de AlmeidaPontifícia Universidade do Rio de Janeiro (PUC-Rio)Verified email at inf.puc-rio.br
Da Silva, G.M.HProfessor Associado, Universidade Federal do Estado do Rio de JaneiroVerified email at uniriotec.br
Jefferson de Barros SantosBrazilian School of Public and Business Administration at Getulio Vargas FoundationVerified email at fgv.br
Davi Romero de VasconcelosProfessor do Campus de Quixadá da Universidade Federal do CearáVerified email at ufc.br
Carlos BazilioFederal Fluminense UniversityVerified email at id.uff.br
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Vaston Gonçalves da CostaPontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Universidade Federal de Goiás,Verified email at ufg.br
Carlos José Pereira de LucenaProfessor de Ciência da Computação, PUC-RioVerified email at inf.puc-rio.br
José ViterboUniversidade Federal FluminenseVerified email at ic.uff.br
Peter D MossesSwansea University and Delft University of TechnologyVerified email at tudelft.nl
Marcus FontouraMicrosoftVerified email at microsoft.com
Jean-Pierre BriotDirecteur de recherche CNRS, LIP6, Sorbonne Université-CNRS, ParisVerified email at lip6.fr
Cláudia NalonComputer Science, University of BrasíliaVerified email at unb.br

Edward Haeusler

Professor of Computer Science, PUC-Rio

Verified email at inf.puc-rio.br

Logic Theory of Computation Proof Theory and Category Theory


Title Sort by citations Sort by year Sort by 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	55	2007
Semantic Interoperability via Category Theory. I Cafezeiro, EH Haeusler ER (Tutorials, Posters, Panels & Industrial Contributions), 197-202, 2007	53	2007
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	35	2000
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	34	2002
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	26	2006
Intuitionistic logic and legal ontologies EH Haeusler, V De Paiva, A Rademaker Legal Knowledge and Information Systems, 155-158, 2010	23	2010
Ontology and context I Cafezeiro, EH Haeusler, A Rademaker 2008 Sixth Annual IEEE International Conference on Pervasive Computing and …, 2008	21	2008
Constructive description logics hybrid-style V de Paiva, EH Haeusler, A Rademaker Electronic Notes in Theoretical Computer Science 273, 21-31, 2011	20	2011
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	19	2008
Intuitionistic description logic and legal reasoning EH Haeusler, V de Paiva, A Rademaker 2011 22nd International Workshop on Database and Expert Systems Applications …, 2011	18	2011
Proof Compression and NP Versus PSPACE L Gordeev, EH Haeusler Studia Logica, 2018	17	2018
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	16	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. MobiHealth 12, 1-8, 2012	16	2012
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	16	2010
Propositional Logics Complexity and the Sub-Formula Property EH Haeusler DCM 2014, EPTCS 179 (1), 1-16, 2015	14	2015
Propositional dynamic logic for Petri nets B Lopes, M Benevides, EH Haeusler Logic Journal of the IGPL 22 (5), 721-736, 2014	14	2014
Extending propositional dynamic logic for Petri nets B Lopes, M Benevides, EH Haeusler Electronic Notes in Theoretical Computer Science 305, 67-83, 2014	14	2014
Proof compressions with circuit-structured substitutions L Gordeev, EH Haeusler, VG da Costa Journal of Mathematical Sciences 158, 645-658, 2009	14	2009
NUL-natural deduction for ultrafilter logic CJ Renterıa, EH Haeusler, PAS Veloso Bulletin of the Section of Logic 32 (4), 2003	14	2003
Proof-graphs for minimal implicational logic M Quispe-Cruz, EH Haeusler, L Gordeev arXiv preprint arXiv:1404.0082, 2014	13	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors