Eerke A. Boiten

	2012
62		Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves: Editorial. Formal Asp. Comput. 24(1): 1 (2012)
	2011
61		John Derrick, Eerke A. Boiten, Steve Reeves: Proceedings 15th International Refinement Workshop Refine 2011
60		John Derrick, Eerke A. Boiten: Relational Concurrent Refinement: Timed Refinement. FMOODS/FORTE 2011: 121-137
59		Eerke A. Boiten: Perspicuity and Granularity in Refinement Refine 2011: 155-165
58		Eerke A. Boiten, John Derrick, Gerhard Schellhorn: Selected papers of the Refinement Workshop Turku (2008). Sci. Comput. Program. 76(9): 737-738 (2011)
	2010
57		Eerke A. Boiten, Dan Grundy: The Logic of Large Enough. MPC 2010: 42-57
56		Eerke A. Boiten, Michael Butler, John Derrick, Graeme Smith: Editorial. Formal Asp. Comput. 22(1): 1 (2010)
55		Eerke A. Boiten, John Derrick: Incompleteness of relational simulations in the blocking paradigm. Sci. Comput. Program. 75(12): 1262-1269 (2010)
	2009
54		Eerke A. Boiten, John Derrick: Modelling Divergence in Relational Concurrent Refinement. IFM 2009: 183-199
53		Eerke A. Boiten, John Derrick, Steve Reeves: Preface. Electr. Notes Theor. Comput. Sci. 259: 1 (2009)
52		John Derrick, Eerke A. Boiten: Relational Concurrent Refinement: Automata. Electr. Notes Theor. Comput. Sci. 259: 21-34 (2009)
51		Eerke A. Boiten: Editorial. Formal Asp. Comput. 21(1-2): 1 (2009)
50		Eerke A. Boiten, John Derrick, Gerhard Schellhorn: Relational concurrent refinement part II: Internal operations and outputs. Formal Asp. Comput. 21(1-2): 65-102 (2009)
	2008
49		Eerke A. Boiten: From ABZ to Cryptography. ABZ 2008: 353
48		Eerke A. Boiten, John Derrick, Graeme Smith: Preface. Electr. Notes Theor. Comput. Sci. 201: 1 (2008)
47		Eerke A. Boiten, Dan Grundy: Reduction and Refinement. Electr. Notes Theor. Comput. Sci. 201: 31-44 (2008)
46		Eerke A. Boiten, John Derrick, Gerhard Schellhorn: Preface. Electr. Notes Theor. Comput. Sci. 214: 1 (2008)
45		John Derrick, Eerke A. Boiten: More Relational Concurrent Refinement: Traces and Partial Relations. Electr. Notes Theor. Comput. Sci. 214: 255-276 (2008)
	2007
44		Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves: Preface. Electr. Notes Theor. Comput. Sci. 187: 1 (2007)
43		John Derrick, Eerke A. Boiten: Relational Concurrent Refinement with Internal Operations. Electr. Notes Theor. Comput. Sci. 187: 35-53 (2007)
	2006
42		Eerke A. Boiten, Michael Butler: Guest Editorial Editorial for the FAC Special Issue based on derivative papers from "Refine '05". Formal Asp. Comput. 18(3): 263 (2006)
	2005
41		Eerke A. Boiten, John Derrick: Formal Program Development with Approximations. ZB 2005: 374-392
40		John Derrick, Eerke A. Boiten: Preface. Electr. Notes Theor. Comput. Sci. 137(2): 1-3 (2005)
39		Eerke A. Boiten, John Derrick, Graeme Smith: Guest Editorial Integrated Formal Methods. Formal Asp. Comput. 17(4): 389-389 (2005)
	2004
38		Eerke A. Boiten, John Derrick, Graeme Smith: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings Springer 2004
37		Marius C. Bujorianu, Eerke A. Boiten: Towards Correspondence Carrying Specifications. AMAST 2004: 57-71
36		Eerke A. Boiten, Bernhard Möller: Foreword. Sci. Comput. Program. 51(1-2): 1-2 (2004)
	2003
35		John Derrick, Eerke A. Boiten: Recent Advances in Refinement. Abstract State Machines 2003: 33-56
34		John Derrick, Eerke A. Boiten: Relational Concurrent Refinement. Formal Asp. Comput. 15(2-3): 182-214 (2003)
33		Eerke A. Boiten: "Concepts in Programming Languages" by John C. Mitchell, Cambridge University Press, 2002, ISBN 0-521-78098-5. J. Funct. Program. 13(6): 1087-1088 (2003)
	2002
32		Eerke A. Boiten, Bernhard Möller: Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings Springer 2002
31		Chris J. Taylor, Eerke A. Boiten, John Derrick: Interpreting ODP Viewpoint Specification: Observations from a Case Study. FMOODS 2002: 61-76
30		Ralph Miarka, John Derrick, Eerke A. Boiten: Handling Inconsistencies in Z Using Quasi-Classical Logic. ZB 2002: 204-225
29		Eerke A. Boiten: Loose Specification and Refinement in Z. ZB 2002: 226-241
28		John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright: Preface. Electr. Notes Theor. Comput. Sci. 70(3): 1-2 (2002)
27		Eerke A. Boiten, John Derrick: Unifying concurrent and relational refinement. Electr. Notes Theor. Comput. Sci. 70(3): 94-131 (2002)
26		John Derrick, Eerke A. Boiten: Combining Component Specifications in Object-Z and CSP. Formal Asp. Comput. 13(2): 111-127 (2002)
25		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)
24		Chris J. Taylor, Eerke A. Boiten, John Derrick: ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. IEE Proceedings - Software 149(2): 57-63 (2002)
	2000
23		John Derrick, Eerke A. Boiten: Refinement of objects and operations in Object-Z. FMOODS 2000: 257-
22		Chris J. Taylor, John Derrick, Eerke A. Boiten: A Case Study in Partial Specification: Consistency and Refinement for Object-Z. ICFEM 2000: 177-
21		Eerke A. Boiten, John Derrick: Liberating Data Refinement. MPC 2000: 144-166
20		Ralph Miarka, Eerke A. Boiten, John Derrick: Guards, Preconditions, and Refinement in Z. ZB 2000: 286-303
19		Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen: Viewpoint consistency in ODP. Computer Networks 34(3): 503-537 (2000)
	1999
18		John Derrick, Eerke A. Boiten: Specifying Component and Context Specification Using Promotion. IFM 1999: 293-312
17		John Derrick, Eerke A. Boiten: Non-atomic Refinement in Z. World Congress on Formal Methods 1999: 1477-1496
16		John Derrick, Eerke A. Boiten: Calculating upward and downward simulations of state-based specifications. Information & Software Technology 41(13): 917-923 (1999)
15		Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen: Strategies for Consistency Checking Based on Unification. Sci. Comput. Program. 33(3): 261-298 (1999)
14		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)
13		John Derrick, Eerke A. Boiten: Testing Refinements of State-based Formal Specifications. Softw. Test., Verif. Reliab. 9(1): 27-50 (1999)
	1998
12		Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman: Consistency of Partial Process Specifications. AMAST 1998: 248-262
11		John Derrick, Eerke A. Boiten: Testing Refinements by Refining Tests. ZUM 1998: 265-283
10		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
9		Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen: Viewpoint Consistency in Z and LOTOS: A Case Study. FME 1997: 644-664
8		Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten: Disjunction of LOTOS Specifications. FORTE 1997: 177-192
7		John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Weak Refinement in Z. ZUM 1997: 369-388
	1996
6		Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen: Consistency and Refinement for Partial Specification in Z. FME 1996: 287-306
5		John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen: Comparing LOTOS and Z Refinement Relations. FORTE 1996: 501-516
	1995
4		Chritiene Aarts, Roland Carl Backhouse, Eerke A. Boiten, Henk Doornbos, Netty van Gasteren, Rik van Geldrop, Paul F. Hoogendijk, Ed Voermans, Jaap van der Woude: Fixed-Point Calculus. Inf. Process. Lett. 53(3): 131-136 (1995)
	1993
3		Eerke A. Boiten: Parsing in ISBES. Formal Methods in Programming and Their Applications 1993: 423-433
	1992
2		Eerke A. Boiten, Helmuth Partsch, Daniel Tuijnman, Norbert Völker: How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations. Comput. J. 35(6): 547-554 (1992)
1		Eerke A. Boiten: Improving Recursive Functions by Inverting the Order of Evaluation. Sci. Comput. Program. 18(2): 139-179 (1992)

Coauthor Index

1	Chritiene Aarts	[4]
2	Bernhard K. Aichernig	[44]
3	Roland Carl Backhouse	[4]
4	Howard Bowman	[5] [6] [7] [8] [9] [10] [12] [14] [15] [19] [25]
5	Marius C. Bujorianu	[37]
6	Michael Butler	[42] [56]
7	John Derrick	[5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [30] [31] [34] [35] [38] [39] [40] [41] [43] [44] [45] [46] [48] [50] [52] [53] [54] [55] [56] [58] [60] [61] [62]
8	Jin Song Dong	[62]
9	Henk Doornbos	[4]
10	Netty van Gasteren	[4]
11	Rik van Geldrop	[4]
12	Lindsay Groves	[44]
13	Dan Grundy	[47] [57]
14	Paul F. Hoogendijk	[4]
15	Peter F. Linington	[19]
16	Ralph Miarka	[20] [30]
17	Bernhard Möller	[32] [36]
18	Helmuth Partsch	[2]
19	Steve Reeves	[53] [61] [62]
20	Gerhard Schellhorn	[46] [50] [58]
21	Graeme Smith	[38] [39] [48] [56]
22	Maarten W. A. Steen (Maarten Steen)	[5] [6] [7] [8] [9] [10] [12] [14] [15] [19] [25]
23	Chris J. Taylor	[22] [24] [31]
24	Daniel Tuijnman	[2]
25	Ed Voermans	[4]
26	Norbert Völker	[2]
27	Jim Woodcock (J. C. P. Woodcock)	[28]
28	Jaap van der Woude	[4]
29	Joakim von Wright	[28]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page