Dean Rosenzweig's homepage

Dean Rosenzweig
Katedra za matematiku i nacrtnu geometriju
Fakultet Strojarstva i Brodogradnje
Ivana Lučića 5
10002 Zagreb
Croatia

Teaching

Undergraduate courses:

Graduate courses:

Seminars

Available Publications

Recent

Dean Rosenzweig, Davor Runje, Wolfram Schulte: "Model-based Testing of Cryptographic Protocols", in Trustworthy Global Computing: IST/FET International Workshop, TGC 2005, Edinburgh, UK, April 7-9, 2005.
[ PostScript, PDF ]

Dean Rosenzweig, Davor Runje: "Some Things Algorithms Cannot Do", Microsoft Research Technical Report MSR-TR-2005-52, 2005.
[ PostScript, PDF ]

D. Rosenzweig, D. Runje: "The Cryptographic Abstract Machine", Abstract State Machines - Advances in Theory and Applications: 11th International Workshop, ASM 2004, volume 3065 of LNCS, Springer-Verlag.
[ PostScript, PDF ]
Full version with reasonably expanded proofs is also available:
[ PostScript, PDF ]

D. Rosenzweig, D. Runje: "Tableaux-Based Prover for Typed Hybrid Multimodal Logic (System Description)", in Proceedings of 3rd Method for Modalities Workshop, INRIA-Lorraine, Nancy, 2003.
[ PostScript, PDF ]

D. Rosenzweig, D. Runje, N. Slani: "Typed Hybrid Multimodal Logic", manuscript, 2003.
[PostScript, PDF ]

D. Rosenzweig, D. Runje and Neva Slani. Privacy, Abstract Encryption and Protocols: an ASM Model - Part I, Abstract State Machines - Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer-Verlag.
[ PostScript, PDF]

Y. Gurevich, D. Rosenzweig: "Partially Ordered Runs: A Case Study", Microsoft Research Technical Report MSR-99-08, 1999, also in Springer LNCS 1912, 2000, 131-150, also as TIK-Report 87, ETH Zuerich, 2000.
[ PostScript, PDF ]

1994 .. 1997

D. Rosenzweig, "Evolving Algebras and Light Linear Logic". Bulletin of symbolic logic (1079-8986) 3 (1997)

E. Boerger, Y. Gurevich, D. Rosenzweig: "The Bakery Algorithm: Yet Another Specification And Verification", in: E. Boerger, ed, Specification and Validation Methods, Oxford University Press, 1995, 231-243.
[ PostScript, PDF ]

E. Boerger, D. Rosenzweig: "A Mathematical Definition of Full Prolog", Science of Computer Programming, 24 (1995), 3; 249-286.
[ PostScript, PDF ]

E. Boerger, D. Rosenzweig: "The WAM - Definition and Compiler Correctness", in C. Beierle and L. Pluemer, eds, Logic Programming: Formal Methods and Practical Applications, North-Holland, 1994.
[ PostScript, PDF ]

E. Boerger, G. Del Castillo , P. Glavan, D. Rosenzweig , "Towards A Mathematical Specification of the APE100 Architecture: the APESE Model". in: B. Pehrson and I. Simon (Eds.) IFIP 13th World Computer Congress 1994, Volume I: Technology/Foundations, pp. 396-401, 1994, Elsevier, Amsterdam.

P. Glavan, D. Rosenzweig: "Evolving Algebra Model of Programming Language Semantics". in: B. Pehrson and I. Simon (Eds.) IFIP 13th World Computer Congress 1994, Volume I: Technology/Foundations, pp. 416-422, 1994, Elsevier, Amsterdam.

D. Rosenzweig: "Distributed Computations: Evolving Algebra Approach.". in: B. Pehrson and I. Simon (Eds.) IFIP 13th World Computer Congress 1994, Volume I: Technology/Foundations, pp. 440-441, 1994, Elsevier, Amsterdam.

E. Boerger, I. Durdanovic, D. Rosenzweig: "Occam: Specification and Compiler Correctness. Part I: Simple Mathematical Interpreters", in U. Montanari, E. R. Olderog, eds, Proceedings PROCOMET'94, North-Holland, 1994, 489-508.
[ PostScript, PDF ]

1990 .. 1993

E. Boerger, D. Rosenzweig, "Full Prolog in a Nutshell". in: Proceedings of the Tenth International Conference on Logic Programming (David Scott Warren ed.), June 21-25, 1993, Budapest, Hungary. MIT Press

P. Glavan, D. Rosenzweig: "Communicating Evolving Algebras", Selected papers from CSL 92, Springer Lecture Notes in Computer Science 702, 1993, 182 - 215.
[ PostScript, PDF ]

E. Boerger, D. Rosenzweig: "The Mathematics of Set Predicates in Prolog", Computational Logic and Proof Theory, Springer LNCS 713, 1993, 1-13.
[ PostScript, PDF ]

E. Boerger, D. Rosenzweig, "Prolog Tree Algebras. A formal specification of Prolog". in: Proceedings of the Third International Conference on Information Technology Interfaces (V. Ceric, V. Dobric, V. Luzar, R. Paul, eds.), SRCE, Zagreb 1991, pp.513-518
cf. A natural formalization of full Prolog. in: Newsletter of the Association for Logic Programming, Short Communications, vol.5/1, February 1992, pg.8-9

E.Boerger, D. Rosenzweig, "An Analysis of Prolog Database Views and Their Uniform Implementation". in: Prolog. Paris Papers{2. ISO/IEC JTC1 SC22 WG17 Prolog Standardization Report no.80, July 1991, pp. 87-130.
= Technical Report CSE-TR-89-91, Computer Science and Engineering Division, Department of Electrical engineering and Computer Science, University of Michigan/Ann Arbor, April 1991, pp.44.

E. Boerger , D. Rosenzweig, "WAM Algebras - A Mathematical Study of Implementation. Part II". in: Logic Programming (A. Voronkov, Ed.). Springer LNCS 592, 1992, pp. 35-54.
Preliminary version: Technical Report CSE-TR-88-91, Computer Science and Engineering Division, Department of Electrical Engineering and Computer Science, University of Michigan/Ann Arbor, April 1991, pp.21.

E. Boerger , D. Rosenzweig, "From Prolog Algebras towards WAM - A Mathematical Study of Implementation". in: Computer Science Logic (E. Boerger, H. Kleine Buening, M. M. Richter, W. Schoenfeld, Eds). Springer LNCS vol. 533, 1991, pp. 31-66.

D. Rosenzweig, I. Durdanovic, I. Spiegel, et al. "A new PROLOG compiler - ZgLog", CAS'90, Computer Aided Systems conference, Dubrovnik, Yugoslavia, 1990.

Current Work & Interest

 

Novosti