| 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 |
