Steve Reeves

	2009
41		Judy Bowen, Steve Reeves: Supporting Multi-path UI Development with Vertical Refinement. Australian Software Engineering Conference 2009: 64-72
40		Steve Reeves, David Streader: A Robust Semantics Hides Fewer Errors. FM 2009: 499-515
	2008
39		Steve Reeves, David Streader: Generic Tools via General Refinement. Electr. Notes Theor. Comput. Sci. 207: 187-202 (2008)
38		Judy Bowen, Steve Reeves: Refinement for User Interface Designs. Electr. Notes Theor. Comput. Sci. 208: 5-22 (2008)
37		Steve Reeves, David Streader: General Refinement, Part One: Interfaces, Determinism and Special Refinement. Electr. Notes Theor. Comput. Sci. 214: 277-307 (2008)
36		Steve Reeves, David Streader: General Refinement, Part Two: Flexible Refinement. Electr. Notes Theor. Comput. Sci. 214: 309-329 (2008)
35		Steve Reeves, David Streader: Data refinement and singleton failures refinement are not equivalent. Formal Asp. Comput. 20(3): 295-301 (2008)
34		Judy Bowen, Steve Reeves: Formal models for user interface design artefacts. ISSE 4(2): 125-141 (2008)
	2007
33		Petra Malik, Robi Malik, David Streader, Steve Reeves: Modular Synthesis of Discrete Controllers. ICECCS 2007: 25-34
32		Steve Reeves, David Streader: Feature Refinement. SEFM 2007: 371-380
31		Judy Bowen, Steve Reeves: Formal Models for Informal GUI Designs. Electr. Notes Theor. Comput. Sci. 183: 57-72 (2007)
	2006
30		Greg Reeve, Steve Reeves: Logic and refinement for charts. ACSC 2006: 13-23
29		Judy Bowen, Steve Reeves: Formal Refinement of Informal GUI Design Artefacts. ASWEC 2006: 221-230
28		Steve Reeves, David Streader: Stepwise Refinement of Processes. Electr. Notes Theor. Comput. Sci. 160: 275-289 (2006)
27		Robi Malik, David Streader, Steve Reeves: Conflicts and Fair Testing. Int. J. Found. Comput. Sci. 17(4): 797-814 (2006)
	2005
26		Judy Bowen, Steve Reeves: Including Design Guidelines in the Formal Specification of Interfaces in Z. ZB 2005: 454-471
25		Steve Reeves, David Streader: Constructing Programs or Processes. J. UCS 11(12): 2034-2045 (2005)
	2004
24		Robi Malik, David Streader, Steve Reeves: Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts. ATVA 2004: 120-134
23		Steve Reeves, David Streader: Atomic Components. ICTAC 2004: 128-139
22		Ali A. Pouyan, Steve Reeves: Behavioral modeling for mobile agent systems using Petri nets. SMC (5) 2004: 4935-4940
	2003
21		Steve Reeves, David Streader: Comparison of Data and Process Refinement. ICFEM 2003: 266-285
20		Moshe Deutsch, Martin C. Henson, Steve Reeves: Operation Refinement and Monotonicity in the Schema Calculus. ZB 2003: 103-126
19		Martin C. Henson, Steve Reeves, Jonathan P. Bowen: Z Logic and its Consequences. Computers and Artificial Intelligence 22(4): (2003)
18		Martin C. Henson, Steve Reeves: A Logic for Schema-Based Program Development. Formal Asp. Comput. 15(1): 48-83 (2003)
17		Moshe Deutsch, Martin C. Henson, Steve Reeves: An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I. Logic Journal of the IGPL 11(3): 287-317 (2003)
	2002
16		Moshe Deutsch, Martin C. Henson, Steve Reeves: Results on Formal Stepwise Design in Z. APSEC 2002: 33-42
15		Doug Goldson, Greg Reeve, Steve Reeves: µ-Chart-Based Specification and Refinement. ICFEM 2002: 323-334
	2001
14		Grant Anderson, Greg Reeve, Steve Reeves: Idioms for mu-Chart. Australian Software Engineering Conference 2001: 224-234
13		Mark Utting, Steve Reeves: Teaching formal methods lite via testing. Softw. Test., Verif. Reliab. 11(3): 181-195 (2001)
	2000
12		Greg Reeve, Steve Reeves: mu-Charts and Z: examples and extensions. APSEC 2000: 258-
11		Lindsay Groves, Ray Nickson, Greg Reeve, Steve Reeves, Mark Utting: A Survey of Software Development Practices in the New Zealand Software Industry . Australian Software Engineering Conference 2000: 189-202
10		Greg Reeve, Steve Reeves: mu-Charts and Z: Hows, Whys, and Wherefores. IFM 2000: 255-276
9		Martin C. Henson, Steve Reeves: Program Development and Specification Refinement in the Schema Calculus. ZB 2000: 344-362
8		Martin C. Henson, Steve Reeves: Investigating Z. J. Log. Comput. 10(1): 43-73 (2000)
	1999
7		Martin C. Henson, Steve Reeves: Revising Z: Part I - Logic and Semantics. Formal Asp. Comput. 11(4): 359-380 (1999)
6		Martin C. Henson, Steve Reeves: Revising Z: Part II - Logical Development. Formal Asp. Comput. 11(4): 381-401 (1999)
	1998
5		Martin C. Henson, Steve Reeves: A Logic for the Schema Calculus. ZUM 1998: 172-191
	1996
4		Steve Reeves: Specifying and Reasoning About CSCW. DSV-IS 1996: 366-391
	1995
3		Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves: Editorial. Logic Journal of the IGPL 3(6): 826 (1995)
	1993
2		Doug Goldson, Steve Reeves, Richard Bornat: A Review of Several Programs for the Teaching of Logic. Comput. J. 36(4): 373-386 (1993)
	1992
1		Robert Johnson, Steve Reeves: Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract). TABLEAUX 1992: 37-39

Coauthor Index

1	Grant Anderson	[14]
2	Richard Bornat	[2]
3	Jonathan P. Bowen	[19]
4	Judy Bowen	[26] [29] [31] [34] [38] [41]
5	Krysia Broda	[3]
6	Marcello D'Agostino	[3]
7	Moshe Deutsch	[16] [17] [20]
8	Doug Goldson	[2] [15]
9	Rajeev Goré	[3]
10	Lindsay Groves	[11]
11	Martin C. Henson	[5] [6] [7] [8] [9] [16] [17] [18] [19] [20]
12	Rob Johnson	[3]
13	Robert Johnson	[1]
14	Petra Malik	[33]
15	Robi Malik	[24] [27] [33]
16	Ray Nickson	[11]
17	Ali A. Pouyan	[22]
18	Greg Reeve	[10] [11] [12] [14] [15] [30]
19	David Streader	[21] [23] [24] [25] [27] [28] [32] [33] [35] [36] [37] [39] [40]
20	Mark Utting	[11] [13]

Colors in the list of coauthors