Dean Rosenzweig

According to our database, Dean Rosenzweig authored at least 18 papers between 1990 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2007

Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem.

Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman

Log. Methods Comput. Sci., 2007

Interactive Small-Step Algorithms I: Axiomatization.

Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman

Log. Methods Comput. Sci., 2007

2005

Model-Based Testing of Cryptographic Protocols.

Dean Rosenzweig, Davor Runje, Wolfram Schulte

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

2004

The Cryptographic Abstract Machine.

Dean Rosenzweig, Davor Runje

Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004

2003

Privacy, Abstract Encryption and Protocols: An ASM Model - Part I.

Dean Rosenzweig, Davor Runje, Neva Slani

Proceedings of the Abstract State Machines, 2003

2000

Partially Ordered Runs: A Case Study.

Yuri Gurevich, Dean Rosenzweig

Proceedings of the Abstract State Machines, 2000

1995

A Mathematical Definition of Full Prolog.

Egon Börger, Dean Rosenzweig

Sci. Comput. Program., 1995

The WAM - Definition and Compiler Correctness.

Egon Börger, Dean Rosenzweig

Proceedings of the Logic Programming: Formal Methods and Practical Applications, 1995

1994

Occam: Specification and Compiler Correctness - Part I: The Primary Model.

Egon Börger, Igor Durdanovic, Dean Rosenzweig

Proceedings of the Programming Concepts, 1994

Distributed Computations: Evolving Algebra Approach.

Dean Rosenzweig

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

Evolving Algebra Model of Programming Language Semantics.

Paola Glavan, Dean Rosenzweig

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

Towards a Mathematical Specification of the APE100 Architecture: The APESE Model.

Egon Börger, Giuseppe Del Castillo, Paola Glavan, Dean Rosenzweig

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

1993

The Mathematics of Set Predicates in Prolog.

Egon Börger, Dean Rosenzweig

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

Full Prolog in a Nutshell.

Egon Börger, Dean Rosenzweig

Proceedings of the Logic Programming, 1993

The bakery algorithm: yet another specification and verification.

Dean Rosenzweig, Egon Börger, Yuri Gurevich

Proceedings of the Specification and validation methods, 1993

1992

Communicating Evolving Algebras.

Paola Glavan, Dean Rosenzweig

Proceedings of the Computer Science Logic, 6th Workshop, 1992

1991

WAM Algebras - A Mathematical Study of Implementation, Part 2.

Egon Börger, Dean Rosenzweig

Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991

1990

From Prolog Algebras Towards WAM - A Mathematical Study of Implementation.

Egon Börger, Dean Rosenzweig

Proceedings of the Computer Science Logic, 4th Workshop, 1990