The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Moshe Deutsch: [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. Moshe Deutsch, Martin C. Henson
    A Relational Investigation of UTP Designs and Prescriptions. [Citation Graph (0, 0)][DBLP]
    UTP, 2006, pp:101-122 [Conf]
  6. Moshe Deutsch, Martin C. Henson
    An Analysis of Forward Simulation Data Refinement. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:148-167 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]

Search in 0.735secs, Finished in 0.736secs
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