Maarten Steen

2003
15	EE	Wil Janssen, Maarten Steen, Henry M. Franken: Business Process Engineering versus E-Business Engineering - A summary of case experiences. HICSS 2003: 185
2002
14		Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick: A Formal Framework for Viewpoint Consistency. Formal Methods in System Design 21(2): 111-166 (2002)
2001
13	EE	Wil Janssen, Maarten Steen: Rapid Service Development: An Integral Approach to e-Business Engineering. Web Engineering 2001: 119-132
2000
12	EE	Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen: Viewpoint consistency in ODP. Computer Networks 34(3): 503-537 (2000)
1999
11		Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen: Strategies for Consistency Checking Based on Unification. Sci. Comput. Program. 33(3): 261-298 (1999)
10		Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen: Constructive Consistency Checking for Partial Specification in Z. Sci. Comput. Program. 35(1): 29-75 (1999)
1998
9	EE	Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman: Consistency of Partial Process Specifications. AMAST 1998: 248-262
8		John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Specifying and Refining Internal Operations in Z. Formal Asp. Comput. 10(2): 125-159 (1998)
1997
7		Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen: Viewpoint Consistency in Z and LOTOS: A Case Study. FME 1997: 644-664
6		Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten: Disjunction of LOTOS Specifications. FORTE 1997: 177-192
5		John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Weak Refinement in Z. ZUM 1997: 369-388
1996
4		Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen: Consistency and Refinement for Partial Specification in Z. FME 1996: 287-306
3		John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen: Comparing LOTOS and Z Refinement Relations. FORTE 1996: 501-516
1995
2		Maarten Steen, Howard Bowman, John Derrick: Composition of LOTOS specifications. PSTV 1995: 87-102
1		Howard Bowman, John Derrick, Maarten Steen: Viewpoints and Objects. ZUM 1995: 449-468

Coauthor Index

1	Eerke A. Boiten	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14]
2	Howard Bowman	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14]
3	John Derrick	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14]
4	Henry M. Franken	[15]
5	Wil Janssen	[13] [15]
6	Peter F. Linington	[12]

Colors in the list of coauthors