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