John Matthews

	2010
21		Zvi Rosberg, John Matthews, Moshe Zukerman: A network rate management protocol with TCP congestion control and fairness for all. Computer Networks 54(9): 1358-1374 (2010)
	2009
20		Zvi Rosberg, Fariza Sabrina, Sheldon Dealy, John Matthews, Craig Russell: Rate and delay controlled core networks: An experimental demonstration. IWQoS 2009: 1-9
19		Levent Erkök, John Matthews: Pragmatic equivalence and safety checking in Cryptol. PLPV 2009: 73-82
	2008
18		Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews: Imperative Functional Programming with Isabelle/HOL. TPHOLs 2008: 134-149
17		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
16		Lee Pike, Mark Shields, John Matthews: A verifying core for a cryptographic language compiler. ACL2 2006: 1-10
15		John Matthews, J. Strother Moore, Sandip Ray, Daron Vroon: Verification Condition Generation Via Theorem Proving. LPAR 2006: 362-376
	2005
14		Brian Huffman, John Matthews, Peter White: Axiomatic Constructor Classes in Isabelle/HOLCF. TPHOLs 2005: 147-162
	2004
13		Sava Krstic, John Matthews: Semantics of the reFLect language. PPDP 2004: 32-42
	2003
12		Sava Krstic, John Matthews: Inductive Invariants for Nested Recursion. TPHOLs 2003: 253-269
11		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
10		Leslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu: Specifying and verifying systems with TLA+. ACM SIGOPS European Workshop 2002: 45-48
9		Sava Krstic, John Matthews: Verifying BDD Algorithms through Monadic Interpretation. VMCAI 2002: 182-195
	1999
8		John Matthews, John Launchbury: Elementary Microarchitecture Algebra. CAV 1999: 288-300
7		Byron Cook, John Launchbury, John Matthews, Richard B. Kieburtz: Formal Verification of Explicitly Parallel Microprocessors. CHARME 1999: 23-36
6		John Matthews: Recursive Function Definition over Coinductive Types. TPHOLs 1999: 73-90
	1998
5		John Matthews, Byron Cook, John Launchbury: Microprocessor Specification in Hawk. ICCL 1998: 90-101
	1997
4		Gary S. Tyson, Matthew K. Farrens, John Matthews, Andrew R. Pleszkun: Managing data caches using selective cache line replacement. International Journal of Parallel Programming 25(3): 213-242 (1997)
	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	[18]
2	Byron Cook	[5] [7]
3	Anton T. Dahbura	[1]
4	Sheldon Dealy	[20]
5	Levent Erkök	[18] [19]
6	Matthew K. Farrens	[2] [4]
7	Florian Haftmann	[18]
8	Brian Huffman	[14]
9	Warren A. Hunt Jr.	[17]
10	Rajeev Joshi	[11]
11	Richard B. Kieburtz (Dick Kieburtz)	[7]
12	Alexander Krauss	[18]
13	Sava Krstic	[9] [12] [13]
14	Leslie Lamport	[10] [11]
15	John Launchbury	[5] [7] [8]
16	Charles U. Martel	[1] [3]
17	J. Strother Moore	[15] [17]
18	Lee Pike	[16]
19	Andrew R. Pleszkun	[2] [4]
20	Sandip Ray	[15] [17]
21	Zvi Rosberg	[20] [21]
22	Craig Russell	[20]
23	Fariza Sabrina	[20]
24	Mark Shields	[16]
25	Arun K. Somani	[1]
26	Serdar Tasiran	[11]
27	Srinivasan Tridandapani	[1]
28	Mark R. Tuttle	[10] [11]
29	Gary S. Tyson	[2] [4]
30	Daron Vroon	[15]
31	Peter White	[14]
32	Yuan Yu	[10] [11]
33	Moshe Zukerman	[21]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page