John Matthews

	2008
17		Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews: Imperative Functional Programming with Isabelle/HOL. TPHOLs 2008: 134-149
16		Sandip Ray, Warren A. Hunt Jr., John Matthews, J. Strother Moore: A Mechanical Analysis of Program Verification Strategies. J. Autom. Reasoning 40(4): 245-269 (2008)
	2006
15		Lee Pike, Mark Shields, John Matthews: A verifying core for a cryptographic language compiler. ACL2 2006: 1-10
14		John Matthews, J. Strother Moore, Sandip Ray, Daron Vroon: Verification Condition Generation Via Theorem Proving. LPAR 2006: 362-376
	2005
13		Brian Huffman, John Matthews, Peter White: Axiomatic Constructor Classes in Isabelle/HOLCF. TPHOLs 2005: 147-162
	2004
12		Sava Krstic, John Matthews: Semantics of the reFLect language. PPDP 2004: 32-42
	2003
11		Sava Krstic, John Matthews: Inductive Invariants for Nested Recursion. TPHOLs 2003: 253-269
10		Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu: Checking Cache-Coherence Protocols with TLA+. Formal Methods in System Design 22(2): 125-131 (2003)
	2002
9		Leslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu: Specifying and verifying systems with TLA+. ACM SIGOPS European Workshop 2002: 45-48
8		Sava Krstic, John Matthews: Verifying BDD Algorithms through Monadic Interpretation. VMCAI 2002: 182-195
	1999
7		John Matthews, John Launchbury: Elementary Microarchitecture Algebra. CAV 1999: 288-300
6		Byron Cook, John Launchbury, John Matthews, Richard B. Kieburtz: Formal Verification of Explicitly Parallel Microprocessors. CHARME 1999: 23-36
5		John Matthews: Recursive Function Definition over Coinductive Types. TPHOLs 1999: 73-90
	1998
4		John Matthews, Byron Cook, John Launchbury: Microprocessor Specification in Hawk. ICCL 1998: 90-101
	1996
3		John Matthews, Charles U. Martel: Parallel Algorithms Using Unreliable Broadcasts. IPPS 1996: 692-696
	1995
2		Gary S. Tyson, Matthew K. Farrens, John Matthews, Andrew R. Pleszkun: A modified approach to data cache management. MICRO 1995: 93-103
1		Srinivasan Tridandapani, Anton T. Dahbura, Arun K. Somani, Charles U. Martel, John Matthews: Free Performance and Fault Tolerance: Using System Idle Capacity Efficiently (Panel). SIGMETRICS 1995: 60-61

Coauthor Index

1	Lukas Bulwahn	[17]
2	Byron Cook	[4] [6]
3	Anton T. Dahbura	[1]
4	Levent Erkök	[17]
5	Matthew K. Farrens	[2]
6	Florian Haftmann	[17]
7	Brian Huffman	[13]
8	Warren A. Hunt Jr.	[16]
9	Rajeev Joshi	[10]
10	Richard B. Kieburtz (Dick Kieburtz)	[6]
11	Alexander Krauss	[17]
12	Sava Krstic	[8] [11] [12]
13	Leslie Lamport	[9] [10]
14	John Launchbury	[4] [6] [7]
15	Charles U. Martel	[1] [3]
16	J. Strother Moore	[14] [16]
17	Lee Pike	[15]
18	Andrew R. Pleszkun	[2]
19	Sandip Ray	[14] [16]
20	Mark Shields	[15]
21	Arun K. Somani	[1]
22	Serdar Tasiran	[10]
23	Srinivasan Tridandapani	[1]
24	Mark R. Tuttle	[9] [10]
25	Gary S. Tyson	[2]
26	Daron Vroon	[14]
27	Peter White	[13]
28	Yuan Yu	[9] [10]

Colors in the list of coauthors