Dean Rosenzweig

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Abstract State Machines 2004. Advances in Theory and Practice Lecture Notes in Computer Science	2009-04-30	Paper
Interactive Small-Step Algorithms I: Axiomatization Logical Methods in Computer Science	2008-04-01	Paper
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem Logical Methods in Computer Science	2008-04-01	Paper
Trustworthy Global Computing Lecture Notes in Computer Science	2006-11-01	Paper
scientific article; zbMATH DE number 1951201 (Why is no real title available?)	2003-07-21	Paper
scientific article; zbMATH DE number 1670510 (Why is no real title available?)	2001-11-11	Paper
scientific article; zbMATH DE number 868108 (Why is no real title available?)	1996-08-18	Paper
A mathematical definition of full Prolog Science of Computer Programming	1996-02-20	Paper
scientific article; zbMATH DE number 773979 (Why is no real title available?)	1995-07-13	Paper
scientific article; zbMATH DE number 517056 (Why is no real title available?)	1994-08-21	Paper
scientific article; zbMATH DE number 515735 (Why is no real title available?)	1994-04-04	Paper
scientific article; zbMATH DE number 3985206 (Why is no real title available?)	1985-01-01	Paper

Research outcomes over time

This page was built for person: Dean Rosenzweig