The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Edward Hermann Haeusler: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses
    Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:407-421 [Conf]
  2. Karin Koogan Breitman, Aluízio Haendchen Filho, Edward Hermann Haeusler, Arndt von Staa
    Using Ontologies to Formalize Services Specifications in Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    FAABS, 2004, pp:92-110 [Conf]
  3. Aluízio Haendchen Filho, Nuno Caminada, Edward Hermann Haeusler, Arndt von Staa
    Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    FAABS, 2004, pp:72-91 [Conf]
  4. Marcelo da Silva Corrêa, Edward Hermann Haeusler
    On the Selective Lambek Calculus. [Citation Graph (0, 0)][DBLP]
    LACL, 2005, pp:67-83 [Conf]
  5. Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses
    Mapping Modular SOS to Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:262-277 [Conf]
  6. Luiz Carlos Castro Guedes, Edward Hermann Haeusler, José Lucas Rangel
    Object Oriented Semantics Directed Compiler Generation: A Prototype. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:807-808 [Conf]
  7. Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler
    Preface: WoLLIC 2002 [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:67, n:, pp:- [Journal]
  8. Christian Jacques Rentería, Edward Hermann Haeusler
    A Natural Deduction System for Keisler's Quantification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:123, n:, pp:229-240 [Journal]
  9. Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler
    9th Workshop on Logic, Language, Information and Computation. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2002, v:10, n:6, pp:679-688 [Journal]
  10. Geiza Maria Hamazaki da Silva, Edward Hermann Haeusler, Paulo A. S. Veloso
    Exploring Computational Contents of Intuitionist Proofs. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:1, pp:69-93 [Journal]
  11. Alex de V. Garcia, Edward Hermann Haeusler
    Code migration and program maintainability A categorical perspective. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:79, n:5, pp:249-254 [Journal]
  12. Vaston Costa, Edward Hermann Haeusler, Eduardo Sany Laber, Loana Tito Nogueira
    A note on the size of minimal covers. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2007, v:102, n:2-3, pp:124-126 [Journal]
  13. Edward Hermann Haeusler, Marcelo da Silva Corrêa
    A Concrete Categorical Model for the Lambek Syntactic Calculus. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1997, v:43, n:, pp:49-59 [Journal]
  14. Luiz Carlos Pereira, Edward Hermann Haeusler
    A Formalization of Sambin's Normalization for GL. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1993, v:39, n:, pp:133-142 [Journal]
  15. Fernando Náufel do Amaral, Edward Hermann Haeusler
    A logic-based approach for real-time object-oriented software development. [Citation Graph (0, 0)][DBLP]
    RITA, 2000, v:7, n:1, pp:69-88 [Journal]
  16. Fernando Náufel do Amaral, Carlos Bazílio, Geiza Maria Hamazaki da Silva, Alexandre Rademaker, Edward Hermann Haeusler
    An Ontology-based Approach to the Formalization of Information Security Policies. [Citation Graph (0, 0)][DBLP]
    EDOC Workshops, 2006, pp:1- [Conf]
  17. D. R. Vasconcelos, Edward Hermann Haeusler, Mario R. F. Benevides
    Defining Agents Via Strategies: Towards a View of MAS as Games. [Citation Graph (0, 0)][DBLP]
    WRAC, 2005, pp:299-311 [Conf]
  18. Carlos Bazílio, Edward Hermann Haeusler, Markus Endler
    Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:189-207 [Journal]

  19. Action Algebras and Model Algebras in Denotational Semantics. [Citation Graph (, )][DBLP]


  20. Semantic Interoperability via Category Theory. [Citation Graph (, )][DBLP]


  21. Is It Important to Explain a Theorem? A Case Study on UML and ALCQI\mathcal{ALCQI}. [Citation Graph (, )][DBLP]


  22. A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing. [Citation Graph (, )][DBLP]


  23. Referee Assignment in Sports Leagues. [Citation Graph (, )][DBLP]


  24. Ontology and Context. [Citation Graph (, )][DBLP]


  25. Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach. [Citation Graph (, )][DBLP]


  26. Algebraic Framework for Reverse Engineering on Specifications. [Citation Graph (, )][DBLP]


  27. Preface. [Citation Graph (, )][DBLP]


  28. Peirce's Rule in a Full Natural Deduction System. [Citation Graph (, )][DBLP]


  29. A Topos-Theoretic Approach to Counterfactual Logic. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.308secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002