Dean Rosenzweig

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2007
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem.
Log. Methods Comput. Sci., 2007

Interactive Small-Step Algorithms I: Axiomatization.
Log. Methods Comput. Sci., 2007

2005
Model-Based Testing of Cryptographic Protocols.
Proceedings of the Trustworthy Global Computing, International Symposium, 2005

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

2003
Privacy, Abstract Encryption and Protocols: An ASM Model - Part I.
Proceedings of the Abstract State Machines, 2003

2000
Partially Ordered Runs: A Case Study.
Proceedings of the Abstract State Machines, 2000

1995
A Mathematical Definition of Full Prolog.
Sci. Comput. Program., 1995

The WAM - Definition and Compiler Correctness.
Proceedings of the Logic Programming: Formal Methods and Practical Applications, 1995

1994
Occam: Specification and Compiler Correctness - Part I: The Primary Model.
Proceedings of the Programming Concepts, 1994

Distributed Computations: Evolving Algebra Approach.
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.
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.
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.
Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

Full Prolog in a Nutshell.
Proceedings of the Logic Programming, 1993

The bakery algorithm: yet another specification and verification.
Proceedings of the Specification and validation methods, 1993

1992
Communicating Evolving Algebras.
Proceedings of the Computer Science Logic, 6th Workshop, 1992

1991
WAM Algebras - A Mathematical Study of Implementation, Part 2.
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.
Proceedings of the Computer Science Logic, 4th Workshop, 1990


  Loading...