dblp.uni-trier.dewww.uni-trier.de

Dean Rosenzweig

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
19EEAndreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman: Interactive Small-Step Algorithms I: Axiomatization CoRR abs/0707.3782: (2007)
18EEAndreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman: Interactive Small-Step Algorithms II: Abstract State Machines and the<br> Characterization Theorem CoRR abs/0707.3789: (2007)
17EEAndreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman: Interactive Small-Step Algorithms I: Axiomatization. Logical Methods in Computer Science 3(4): (2007)
16EEAndreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman: Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem. Logical Methods in Computer Science 3(4): (2007)
2005
15EEDean Rosenzweig, Davor Runje, Wolfram Schulte: Model-Based Testing of Cryptographic Protocols. TGC 2005: 33-60
2004
14EEDean Rosenzweig, Davor Runje: The Cryptographic Abstract Machine. Abstract State Machines 2004: 202-217
2003
13EEDean Rosenzweig, Davor Runje, Neva Slani: Privacy, Abstract Encryption and Protocols: An ASM Model - Part I. Abstract State Machines 2003: 372-390
2000
12EEYuri Gurevich, Dean Rosenzweig: Partially Ordered Runs: A Case Study. Abstract State Machines 2000: 131-150
1995
11 Egon Börger, Dean Rosenzweig: The WAM - Definition and Compiler Correctness. Logic Programming: Formal Methods and Practical Applications 1995: 20-90
10 Egon Börger, Dean Rosenzweig: A Mathematical Definition of Full Prolog. Sci. Comput. Program. 24(3): 249-286 (1995)
1994
9 Egon Börger, Giuseppe Del Castillo, Paola Glavan, Dean Rosenzweig: Towards a Mathematical Specification of the APE100 Architecture: The APESE Model. IFIP Congress (1) 1994: 396-401
8 Paola Glavan, Dean Rosenzweig: Evolving Algebra Model of Programming Language Semantics. IFIP Congress (1) 1994: 416-422
7 Dean Rosenzweig: Distributed Computations: Evolving Algebra Approach. IFIP Congress (1) 1994: 440-441
6 Egon Börger, Igor Durdanovic, Dean Rosenzweig: Occam: Specification and Compiler Correctness - Part I: The Primary Model. PROCOMET 1994: 489-508
1993
5 Egon Börger, Dean Rosenzweig: Full Prolog in a Nutshell. ICLP 1993: 832
4 Egon Börger, Dean Rosenzweig: The Mathematics of Set Predicates in Prolog. Kurt Gödel Colloquium 1993: 1-13
1992
3 Paola Glavan, Dean Rosenzweig: Communicating Evolving Algebras. CSL 1992: 182-215
1991
2 Egon Börger, Dean Rosenzweig: WAM Algebras - A Mathematical Study of Implementation, Part 2. RCLP 1991: 35-54
1990
1 Egon Börger, Dean Rosenzweig: From Prolog Algebras Towards WAM - A Mathematical Study of Implementation. CSL 1990: 31-66

Coauthor Index

1Andreas Blass [16] [17] [18] [19]
2Egon Börger [1] [2] [4] [5] [6] [9] [10] [11]
3Giuseppe Del Castillo [9]
4Igor Durdanovic [6]
5Paola Glavan [3] [8] [9]
6Yuri Gurevich [12] [16] [17] [18] [19]
7Benjamin Rossman [16] [17] [18] [19]
8Davor Runje [13] [14] [15]
9Wolfram Schulte [15]
10Neva Slani [13]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)