| Referee assignment in sports leagues AR Duarte, CC Ribeiro, S Urrutia, EH Haeusler International Conference on the Practice and Theory of Automated Timetabling …, 2006 | 49 | 2006 |
| Semantic Interoperability via Category Theory. I Cafezeiro, EH Haeusler ER (Tutorials, Posters, Panels & Industrial Contributions), 197-202, 2007 | 47 | 2007 |
| 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 | 36 | 2000 |
| Mapping modular SOS to rewriting logic CO Braga, EH Hæusler, J Meseguer, PD Mosses International Workshop on Logic-Based Program Synthesis and Transformation …, 2002 | 35 | 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 | 24 | 2006 |
| Intuitionistic logic and legal ontologies EH Haeusler, V De Paiva, A Rademaker Legal Knowledge and Information Systems, 155-158, 2010 | 21 | 2010 |
| 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 | 19 | 2008 |
| Constructive description logics hybrid-style V de Paiva, EH Haeusler, A Rademaker Electronic Notes in Theoretical Computer Science 273, 21-31, 2011 | 18 | 2011 |
| Ontology and context I Cafezeiro, EH Haeusler, A Rademaker 2008 Sixth Annual IEEE International Conference on Pervasive Computing and …, 2008 | 17 | 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 | 16 | 2011 |
| 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 |
| 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 | 15 | 2012 |
| Propositional dynamic logic for petri nets B Lopes, M Benevides, EH Haeusler Logic Journal of the IGPL 22 (5), 721-736, 2014 | 14 | 2014 |
| Proof compressions with circuit-structured substitutions L Gordeev, EH Haeusler, VG da Costa Journal of Mathematical Sciences 158 (5), 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), 191-199, 2003 | 14 | 2003 |
| Extending propositional dynamic logic for Petri Nets B Lopes, M Benevides, EH Haeusler Electronic Notes in Theoretical Computer Science 305, 67-83, 2014 | 13 | 2014 |
| Proof-graphs for minimal implicational logic M Quispe-Cruz, EH Haeusler, L Gordeev arXiv preprint arXiv:1404.0082, 2014 | 13 | 2014 |
| A natural deduction system for ctl CJ Renterıa, EH Haeusler Bulletin of the Section of Logic 31 (4), 231-240, 2002 | 13 | 2002 |
| Propositional Logics Complexity and the Sub-Formula Property EH Haeusler DCM 2014, EPTCS 179 (1), 1-16, 2015 | 12 | 2015 |
| A Formal Approach to Real-Time Object Oriented Software SE Carvalho, JL Fiadeiro, EH Haeusler IFAC Proceedings Volumes 30 (23), 71-76, 1997 | 12 | 1997 |
Alexandre RademakerIBM Research and EMAp/FGVVerified email at br.ibm.com
