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

Search the dblp DataBase

Title:
Author:
Dean Rosenzweig: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Yuri Gurevich, Dean Rosenzweig
    Partially Ordered Runs: A Case Study. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:131-150 [Conf]
  2. Dean Rosenzweig, Davor Runje
    The Cryptographic Abstract Machine. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:202-217 [Conf]
  3. Dean Rosenzweig, Davor Runje, Neva Slani
    Privacy, Abstract Encryption and Protocols: An ASM Model - Part I. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:372-390 [Conf]
  4. Egon Börger, Dean Rosenzweig
    From Prolog Algebras Towards WAM - A Mathematical Study of Implementation. [Citation Graph (0, 0)][DBLP]
    CSL, 1990, pp:31-66 [Conf]
  5. Paola Glavan, Dean Rosenzweig
    Communicating Evolving Algebras. [Citation Graph (0, 0)][DBLP]
    CSL, 1992, pp:182-215 [Conf]
  6. Egon Börger, Dean Rosenzweig
    Full Prolog in a Nutshell. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:832- [Conf]
  7. Egon Börger, Giuseppe Del Castillo, Paola Glavan, Dean Rosenzweig
    Towards a Mathematical Specification of the APE100 Architecture: The APESE Model. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1994, pp:396-401 [Conf]
  8. Paola Glavan, Dean Rosenzweig
    Evolving Algebra Model of Programming Language Semantics. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1994, pp:416-422 [Conf]
  9. Dean Rosenzweig
    Distributed Computations: Evolving Algebra Approach. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1994, pp:440-441 [Conf]
  10. Egon Börger, Dean Rosenzweig
    The Mathematics of Set Predicates in Prolog. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:1-13 [Conf]
  11. Egon Börger, Dean Rosenzweig
    WAM Algebras - A Mathematical Study of Implementation, Part 2. [Citation Graph (0, 0)][DBLP]
    RCLP, 1991, pp:35-54 [Conf]
  12. Egon Börger, Igor Durdanovic, Dean Rosenzweig
    Occam: Specification and Compiler Correctness - Part I: The Primary Model. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:489-508 [Conf]
  13. Dean Rosenzweig, Davor Runje, Wolfram Schulte
    Model-Based Testing of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    TGC, 2005, pp:33-60 [Conf]
  14. Egon Börger, Dean Rosenzweig
    A Mathematical Definition of Full Prolog. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1995, v:24, n:3, pp:249-286 [Journal]
  15. Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman
    Interactive Small-Step Algorithms I: Axiomatization [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  16. Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman
    Interactive Small-Step Algorithms II: Abstract State Machines and the<br> Characterization Theorem [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

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