Richard J. Boulton

2004
20	EE	Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin: Design Verification for Control Engineering. IFM 2004: 21-35
2003
19	EE	Richard J. Boulton, Ruth Hardy, Ursula Martin: A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems. HSCC 2003: 113-125
18	EE	Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Thomas F. Melham: The PROSPER toolkit. STTT 4(2): 189-210 (2003)
2002
17	EE	Jon Whittle, Alan Bundy, Richard J. Boulton: Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor. Formal Asp. Comput. 13(3-5): 403-421 (2002)
2001
16		Richard J. Boulton, Paul B. Jackson: Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings Springer 2001
2000
15	EE	Richard J. Boulton, Konrad Slind: Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions. Computational Logic 2000: 629-643
14	EE	Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Graham Robinson, Michael J. C. Gordon, Thomas F. Melham: The PROSPER Toolkit. TACAS 2000: 78-92
1999
13	EE	Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe: An ML Editor Based on Proofs-As-Programs. ASE 1999: 166-173
12	EE	Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe: System Description: CyNTHIA. CADE 1999: 388-392
11		Richard J. Boulton: Transparent Optimisation of Rewriting Combinators. J. Funct. Program. 9(2): 113-146 (1999)
1998
10	EE	Konrad Slind, Michael J. C. Gordon, Richard J. Boulton, Alan Bundy: System Description: An Interface Between CLAM and HOL. CADE 1998: 134-138
9		Richard J. Boulton: Generating Embeddings from Denotational Descriptions. TPHOLs 1998: 67-86
8		Richard J. Boulton, Konrad Slind, Alan Bundy, Michael J. C. Gordon: An Interface between Clam and HOL. TPHOLs 1998: 87-104
1997
7		Richard J. Boulton: A Tool to Support Formal Reasoning about Computer Languages. TACAS 1997: 81-95
1995
6		Richard J. Boulton: A Restricted Form on Higher-Order Rewriting Applied to an HDL Semantics. RTA 1995: 309-323
5		Richard J. Boulton: Combining Decision Procedures in the HOL System. TPHOLs 1995: 75-89
1993
4		Richard J. Boulton: Lazy Techniques for Fully Expansive Theorem Proving. Formal Methods in System Design 3(1/2): 25-47 (1993)
1992
3		Richard J. Boulton, Andrew Gordon, Michael J. C. Gordon, John Harrison, John Herbert, John Van Tassel: Experience with Embedding Hardware Description Languages in HOL. TPCD 1992: 129-156
2		Richard J. Boulton: Boyer-Moore Automation for the HOL System. TPHOLs 1992: 133-142
1		Richard J. Boulton: A Lazy Approach to Fully-Expansive Theorem Proving. TPHOLs 1992: 19-38

Coauthor Index

1	Alan Bundy	[8] [10] [12] [13] [17]
2	Graham Collins	[14] [18]
3	Louise A. Dennis	[14] [18]
4	Andrew Gordon	[3]
5	Michael J. C. Gordon	[3] [8] [10] [14]
6	Hanne Gottliebsen	[20]
7	Ruth Hardy	[19] [20]
8	John Harrison	[3]
9	John Herbert	[3]
10	Paul B. Jackson	[16]
11	Tom Kelsey	[20]
12	Helen Lowe	[12] [13]
13	Ursula Martin	[19] [20]
14	Thomas F. Melham	[14] [18]
15	Michael Norrish	[14] [18]
16	Graham Robinson	[14]
17	Konrad Slind	[8] [10] [14] [15] [18]
18	John Van Tassel	[3]
19	Jon Whittle (Jonathan Whittle)	[12] [13] [17]

Colors in the list of coauthors