Andre Scedrov
ABSTRACT
Dean Rosenzweig, who passed away in January 2007, was a distinguished mathematician and computer scientist. We highlight his contributions to modeling, analysis, and testing of network security protocols, and his work on information technology used in the Zagreb Stock Exchange.
- Börger, E. and Rosenzweig, D. From Prolog Algebras Towards WAM -- A Mathematical Study of Implementation. In E. Börger et al., eds., Computer Science Logic, 4th Workshop (CSL'90) (Heidelberg, Germany, October 1-5, 1990). Springer LNCS vol. 533, 1991, 31--66. Google Scholar
Digital Library
- Börger, E. and Rosenzweig, D. WAM Algebras -- A Mathematical Study of Implementation, Part 2. In A. Voronkov, ed., Logic Programming, First Russian Conference on Logic Programming (Irkutsk, Russia, September 14-18, 1990) -- Second Russian Conference on Logic Programming (St. Petersburg, Russia, September 11-16, 1991). Springer LNCS vol. 592, 1992, 35--54. Google ScholarDigital Library
- Glavan, P. and Rosenzweig, D. Communicating Evolving Algebras. In E. Börger et al., eds., Computer Science Logic, 6th Workshop (CSL'92) (San Miniato, Italy, September 28-October 2, 1992). Springer LNCS vol. 702, 1993, 182--215. Google ScholarDigital Library
- Börger, E. and Rosenzweig, D. The Mathematics of Set Predicates in Prolog. In G. Gottlob et al., eds., Computational Logic and Proof Theory, Third Kurt Gödel Colloquium (KGC'93) (Brno, Czech Republic, August 24-27, 1993). Springer LNCS vol. 713, 1993, 1--13. Google ScholarDigital Library
- Börger, E. and Rosenzweig, D. Full Prolog in a Nutshell. In D.S. Warren, ed., Logic Programming, Proceedings of the Tenth International Conference on Logic Programming (ICLP'93) (Budapest, Hungary, June 21-25, 1993). MIT Press, 1993, 832. Google ScholarDigital Library
- Börger, E., Durdanovic, I., and Rosenzweig, D. Occam: Specification and Compiler Correctness -- Part I: The Primary Model. In E.-R. Olderog, ed., Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) (San Miniato, Italy, June 6-10, 1994). IFIP Transactions A-56, North-Holland, 1994, 489--508. Google ScholarDigital Library
- Rosenzweig, D. Distributed Computations: Evolving Algebra Approach. In B. Pehrson and I. Simon, eds., Technology and Foundations -- Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress (Hamburg, Germany, August 28-September 2, 1994). North-Holland, 1994, 440--441.Google Scholar
- Glavan, P. and Rosenzweig, D. Evolving Algebra Model of Programming Language Semantics. In B. Pehrson and I. Simon, eds., Technology and Foundations -- Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress (Hamburg, Germany, August 28-September 2, 1994). North-Holland, 1994, 416--422.Google Scholar
- Börger, E., Del Castillo, G., Glavan, P., and Rosenzweig, D. Towards a Mathematical Specification of the APE100 Architecture: The APESE Model. In B. Pehrson and I. Simon, eds., Technology and Foundations -- Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress (Hamburg, Germany, August 28-September 2, 1994). North--Holland, 1994, 396--401.Google Scholar
- Börger, E. and Rosenzweig, D. A Mathematical Definition of Full Prolog. Science of Computer Programming 24, 3 (1995) 249-286. Google ScholarDigital Library
- Börger, E. and Rosenzweig, D. The WAM -- Definition and Compiler Correctness. In C. Beierle and L. Plümer, eds., Logic Programming: Formal Methods and Practical Applications. Studies in Computer Science and Artificial Intelligence, Elsevier Science B.V./North-Holland, 1995, 20--90.Google Scholar
- Börger, E., Gurevich, Y., and Rosenzweig, D. The Bakery Algorithm: Yet Another Specification and Verification. In E. Börger, ed., Specification and Validation Methods. Oxford University Press, 1995, 231--243. Google ScholarDigital Library
- Gurevich, Y. and Rosenzweig, D. Partially Ordered Runs: A Case Study. In Y. Gurevich et al., eds., Abstract State Machines, Theory and Applications, International Workshop (ASM 2000) (Monte Verità, Switzerland, March 19-24, 2000). Springer LNCS vol. 1912, 2000, 131--150. Google ScholarDigital Library
- Rosenzweig, D., Runje, D., and Slani, N. Privacy, Abstract Encryption and Protocols: An ASM Model -- Part I. In E. Börger et al., eds., Abstract State Machines, Advances in Theory and Practice, 10th International Workshop (ASM 2003) (Taormina, Italy, March 3-7, 2003). Springer LNCS vol. 2589, 2003, 372--390.Google Scholar
- Rosenzweig, D. and Runje, D. The Cryptographic Abstract Machine. In W. Zimmermann and B. Thalheim, eds., Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop (ASM 2004) (Lutherstadt Wittenberg, Germany, May 24-28, 2004). Springer LNCS vol. 3052, 2004, 202--217.Google Scholar
- Rosenzweig, D., Runje, D., and Schulte, W. Model-Based Testing of Cryptographic Protocols. In R. De Nicola and D. Sangiorgi, eds., Trustworthy Global Computing, International Symposium (TGC 2005) (Edinburgh, UK, April 7-9, 2005). Springer LNCS vol. 3705, 2005, 33--60. Google ScholarDigital Library
- Rosenzweig, D. and Runje, D. Some Things Algorithms Cannot Do. Microsoft Research Technical Report MSR-TR-2005-52, 2005.Google Scholar
- Blass, A., Gurevich, Y., Rosenzweig, D., and Rossman, B. Interactive Small-Step Algorithms I: Axiomatization. Logical Methods in Computer Science, to appear. A preliminary version appeared as Microsoft Research Technical Report MSR-TR-2006-170, November 2006.Google Scholar
- Blass, A., Gurevich, Y., Rosenzweig, D., and Rossman, B. Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem. Logical Methods in Computer Science, to appear. A preliminary version appeared as Microsoft Research Technical Report MSR-TR-2006-171, November 2006.Google Scholar
- Börger, E. A Tribute to Dean Rosenzweig. http://www.eecs.umich.edu/gasm/dean.htmlGoogle Scholar
- Gurevich, Y. Abstract State Machines: Remembering Dean Rosenzweig. http://www.eecs.umich.edu/gasm/dean.htmlGoogle Scholar
Index Terms
- The work of Dean Rosenzweig: a tribute to a scientist and an innovator
Recommendations
William Dean Wray (1910-1962) the Evolution of a Cryptanalyst
William Dean Wray was a cryptologist. He began his career with Naval Communications OP-20-GM in 1942 and rose through the cryptologic ranks until, at the time of his death, he was a senior official at the National Security Agency. We will outline the ...
Dean Wright
Theoretical and Practical Computer Applications in EntertainmentMr. Dean Wright is Oscar-nominated visual-effects supervisor for "The Chronicles of Narnia: The Lion, the Witch and the Wardrobe (2005)." His visual effects filmography includes many Academy Award nominated films and winning movies such as "The Lord of ...
Comments