The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Martin C. Henson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Moshe Deutsch, Martin C. Henson
    An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics. [Citation Graph (0, 0)][DBLP]
    APSEC, 2003, pp:38-48 [Conf]
  2. Moshe Deutsch, Martin C. Henson
    An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:149-158 [Conf]
  3. Moshe Deutsch, Martin C. Henson, Besnik Kajtazi
    Modular refinement in novel schema calculi. [Citation Graph (0, 0)][DBLP]
    APSEC, 2003, pp:197-0 [Conf]
  4. Moshe Deutsch, Martin C. Henson, Steve Reeves
    Results on Formal Stepwise Design in Z. [Citation Graph (0, 0)][DBLP]
    APSEC, 2002, pp:33-42 [Conf]
  5. Martin C. Henson, Raymond Turner
    A Constructive Set Theory for Program Development. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1988, pp:329-347 [Conf]
  6. Martin C. Henson
    Safe Positive Induction in the Programming Logic TK. [Citation Graph (0, 0)][DBLP]
    RCLP, 1991, pp:215-231 [Conf]
  7. Martin C. Henson
    Realizability Models for Program Construction. [Citation Graph (0, 0)][DBLP]
    MPC, 1989, pp:256-272 [Conf]
  8. Martin C. Henson, Raymond Turner
    Completion Semantics, Interpreter Generation. [Citation Graph (0, 0)][DBLP]
    POPL, 1982, pp:242-254 [Conf]
  9. Moshe Deutsch, Martin C. Henson
    A Relational Investigation of UTP Designs and Prescriptions. [Citation Graph (0, 0)][DBLP]
    UTP, 2006, pp:101-122 [Conf]
  10. Moshe Deutsch, Martin C. Henson
    An Analysis of Forward Simulation Data Refinement. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:148-167 [Conf]
  11. Moshe Deutsch, Martin C. Henson, Steve Reeves
    Operation Refinement and Monotonicity in the Schema Calculus. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:103-126 [Conf]
  12. Martin C. Henson, Steve Reeves
    Program Development and Specification Refinement in the Schema Calculus. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:344-362 [Conf]
  13. Martin C. Henson, Steve Reeves
    A Logic for the Schema Calculus. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:172-191 [Conf]
  14. Martin C. Henson, Steve Reeves, Jonathan P. Bowen
    Z Logic and its Consequences. [Citation Graph (0, 0)][DBLP]
    Computers and Artificial Intelligence, 2003, v:22, n:4, pp:- [Journal]
  15. Martin C. Henson
    Higher-Order Transformations and Type Simulations. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1988, v:31, n:6, pp:517-524 [Journal]
  16. Moshe Deutsch, Martin C. Henson
    An Analysis of Operation-Refinement in an Abortive Paradigm. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:137, n:2, pp:67-92 [Journal]
  17. Martin C. Henson, Besnik Kajtazi
    The Specification Logic vZ. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:137, n:2, pp:111-129 [Journal]
  18. Martin C. Henson
    Program Development in the Constructive Set Theory TK. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1989, v:1, n:2, pp:173-192 [Journal]
  19. Martin C. Henson
    The Standard Logic of Z is Inconsistent. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:3, pp:243-247 [Journal]
  20. Martin C. Henson, Steve Reeves
    A Logic for Schema-Based Program Development. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:1, pp:48-83 [Journal]
  21. Martin C. Henson, Steve Reeves
    Revising Z: Part I - Logic and Semantics. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:4, pp:359-380 [Journal]
  22. Martin C. Henson, Steve Reeves
    Revising Z: Part II - Logical Development. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:4, pp:381-401 [Journal]
  23. Martin C. Henson, Moshe Deutsch, Besnik Kajtazi
    The specification logic nuZ. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:3, pp:364-395 [Journal]
  24. Moshe Deutsch, Martin C. Henson
    An analysis of refinement in an abortive paradigm. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:3, pp:329-363 [Journal]
  25. Moshe Deutsch, Martin C. Henson, Steve Reeves
    An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2003, v:11, n:3, pp:287-317 [Journal]
  26. Moshe Deutsch, Martin C. Henson
    An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2003, v:11, n:3, pp:319-352 [Journal]
  27. Martin C. Henson
    An intensional semantics for elementary program transformations. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1995, v:5, n:4, pp:423-447 [Journal]
  28. Martin C. Henson, Steve Reeves
    Investigating Z. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:1, pp:43-73 [Journal]

Search in 0.285secs, Finished in 0.287secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002