Dean Rosenzweig

20 papers B 3Journal 5Unranked 10
YearRankTypeTitle / Venue / Authors
2007 J jnl
Interactive Small-Step Algorithms I: Axiomatization
CoRR
Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman
2007 J jnl
Interactive Small-Step Algorithms I: Axiomatization.
Log. Methods Comput. Sci.
Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman
2007 J jnl
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
CoRR
Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman
2007 J jnl
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem.
Log. Methods Comput. Sci.
Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman
2005 — conf
Model-Based Testing of Cryptographic Protocols.
TGC
Dean Rosenzweig, Davor Runje, Wolfram Schulte
2004 — conf
The Cryptographic Abstract Machine.
Abstract State Machines
Dean Rosenzweig, Davor Runje
2003 — conf
Privacy, Abstract Encryption and Protocols: An ASM Model - Part I.
Abstract State Machines
Dean Rosenzweig, Davor Runje, Neva Slani
2000 — conf
Partially Ordered Runs: A Case Study.
Abstract State Machines
Yuri Gurevich, Dean Rosenzweig
1995 J jnl
A Mathematical Definition of Full Prolog.
Sci. Comput. Program.
Egon Börger, Dean Rosenzweig
1995 — ch.
The WAM - Definition and Compiler Correctness.
Logic Programming: Formal Methods and Practical Applications
Egon Börger, Dean Rosenzweig
1994 — conf
Distributed Computations: Evolving Algebra Approach.
IFIP Congress (1)
Dean Rosenzweig
1994 — conf
Evolving Algebra Model of Programming Language Semantics.
IFIP Congress (1)
Paola Glavan, Dean Rosenzweig
1994 — conf
Occam: Specification and Compiler Correctness - Part I: The Primary Model.
PROCOMET
Egon Börger, Igor Durdanovic, Dean Rosenzweig
1994 — conf
Towards a Mathematical Specification of the APE100 Architecture: The APESE Model.
IFIP Congress (1)
Egon Börger, Giuseppe Del Castillo, Paola Glavan, Dean Rosenzweig
1993 B conf
Full Prolog in a Nutshell.
ICLP
Egon Börger, Dean Rosenzweig
1993 — conf
The Mathematics of Set Predicates in Prolog.
Kurt Gödel Colloquium
Egon Börger, Dean Rosenzweig
1993 — ch.
The bakery algorithm: yet another specification and verification.
Specification and validation methods
Dean Rosenzweig, Egon Börger, Yuri Gurevich
1992 B conf
Communicating Evolving Algebras.
CSL
Paola Glavan, Dean Rosenzweig
1991 — conf
WAM Algebras - A Mathematical Study of Implementation, Part 2.
RCLP
Egon Börger, Dean Rosenzweig
1990 B conf
From Prolog Algebras Towards WAM - A Mathematical Study of Implementation.
CSL
Egon Börger, Dean Rosenzweig