Edward Haeusler

Cited by

	All	Since 2019
Citations	1018	359
h-index	15	9
i10-index	35	8

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320244 7 6 9 5 13 10 15 16 14 25 37 30 40 44 39 24 63 62 56 46 51 59 73 50 71 72 31

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
Sérgio LifschitzPontifícia Universidade Católica do Rio de JaneiroVerified email at inf.puc-rio.br
Markus EndlerPontificia Universidade Católica (PUC-Rio), Rio de Janeiro, Department of InformaticsVerified email at inf.puc-rio.br
Mario BenevidesAssociate Professor of Computer Science, Fluminense Federal UniversityVerified email at cos.ufrj.br
Valeria de PaivaUniversity of BirminghamVerified email at topos.institute
Bruno LopesUniversidade Federal FluminenseVerified email at ic.uff.br
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
Jefferson de Barros SantosBrazilian School of Public and Business Administration at Getulio Vargas FoundationVerified email at fgv.br
Da Silva, G.M.HProfessor Associado, Universidade Federal do Estado do Rio de JaneiroVerified email at uniriotec.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
José ViterboUniversidade Federal FluminenseVerified email at ic.uff.br
Carlos José Pereira de LucenaProfessor de Ciência da Computação, PUC-RioVerified email at inf.puc-rio.br
Peter D MossesSwansea University and Delft University of TechnologyVerified email at tudelft.nl
Jean-Pierre BriotDirecteur de recherche CNRS, LIP6, Sorbonne Université-CNRS, ParisVerified email at lip6.fr
Marcus FontouraMicrosoftVerified email at microsoft.com
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	51	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	36	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	33	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	24	2010
Ontology and context I Cafezeiro, EH Haeusler, A Rademaker 2008 Sixth Annual IEEE International Conference on Pervasive Computing and …, 2008	22	2008
Constructive description logics hybrid-style V de Paiva, EH Haeusler, A Rademaker Electronic Notes in Theoretical Computer Science 273, 21-31, 2011	21	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	21	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	19	2011
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	18	2017
Proof Compression and NP Versus PSPACE L Gordeev, EH Haeusler Studia Logica, 2018	17	2018
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	17	2010
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
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	15	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

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