Paul H. B. Gardiner

	2003
13		Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner: A Methodology for Model-Checking Ad-hoc Networks. SPIN 2003: 181-196
	1996
12		Karen Seidel, Paul H. B. Gardiner: Structured Development of a Virtual Shared Memory System. Formal Asp. Comput. 8(1): 67-85 (1996)
11		A. P. Martin, Paul H. B. Gardiner, Jim Woodcock: A Tactic Calculus-Abridged Version. Formal Asp. Comput. 8(4): 479-489 (1996)
	1995
10		A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. B. Scattergood: Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock. TACAS 1995: 133-152
9		Paul H. B. Gardiner: Algebraic Proofs of Consistency and Completeness. Theor. Comput. Sci. 150(1): 161-191 (1995)
	1994
8		Jim Woodcock, Paul H. B. Gardiner, J. R. Hulance: The Formal Specification in Z of Defence Standard 00-56. Z User Workshop 1994: 9-28
7		Paul H. B. Gardiner, Clare E. Martin, Oege de Moor: An Algebraic Construction of Predicate Transformers. Sci. Comput. Program. 22(1-2): 21-44 (1994)
	1993
6		Paul H. B. Gardiner, Carroll Morgan: A Single Complete Rule for Data Refinement. Formal Asp. Comput. 5(4): 367-382 (1993)
	1992
5		Paul H. B. Gardiner, Clare E. Martin, Oege de Moor: An Algebraic Construction of Predicate Transformers. MPC 1992: 100-121
4		Paul H. B. Gardiner, Paritosh K. Pandya: Reasoning Algebraically about Recursion. Sci. Comput. Program. 18(3): 271-280 (1992)
	1991
3		Paul H. B. Gardiner, Carroll Morgan: Data Refinement of Predicate Transformers. Theor. Comput. Sci. 87(1): 143-162 (1991)
	1990
2		Paul H. B. Gardiner, P. J. Lupton, Jim Woodcock: A Simpler Semantics for Z. Z User Workshop 1990: 3-11
	1989
1		Carroll Morgan, Paul H. B. Gardiner: Data Refinement by Calculation. Acta Inf. 27(6): 481-503 (1989)

Coauthor Index

1	Michael Goldsmith	[10] [13]
2	J. R. Hulance	[8] [10]
3	D. M. Jackson	[10]
4	P. J. Lupton	[2]
5	A. P. Martin	[11]
6	Clare E. Martin	[5] [7]
7	Oege de Moor	[5] [7]
8	Carroll Morgan (Carroll C. Morgan)	[1] [3] [6]
9	Paritosh K. Pandya	[4]
10	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[10]
11	J. B. Scattergood	[10]
12	Karen Seidel	[12]
13	Paul Whittaker	[13]
14	Jim Woodcock (J. C. P. Woodcock)	[2] [8] [11]
15	Irfan Zakiuddin	[13]

Colors in the list of coauthors