Tom Ridge

Thomas Ridge

	2009
8		Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave: The semantics of x86-CC multiprocessor machine code. POPL 2009: 379-391
7		Tom Ridge: Verifying distributed systems: the operational approach. POPL 2009: 429-440
	2008
6		Tom Ridge, Michael Norrish, Peter Sewell: A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service. FM 2008: 294-309
	2007
5		Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa: Ott: effective tool support for the working semanticist. ICFP 2007: 1-12
4		Tom Ridge: Operational Reasoning for Concurrent Caml Programs and Weak Memory Models. TPHOLs 2007: 278-293
	2006
3		Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ridge, Peter Sewell: Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL. ICNP 2006: 117-126
2		Tom Ridge: Craig's Interpolation Theorem formalised and mechanised in Isabelle/HOL CoRR abs/cs/0607058: (2006)
	2005
1		Tom Ridge, James Margetson: A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic. TPHOLs 2005: 294-309

Coauthor Index

1	Jade Alglave	[8]
2	Adam Biltcliffe	[3]
3	Thomas Braibant	[8]
4	Michael Dales	[3]
5	Sam Jansen	[3]
6	James Margetson	[1]
7	Magnus O. Myreen	[8]
8	Francesco Zappa Nardelli	[5] [8]
9	Michael Norrish	[6]
10	Scott Owens	[5] [8]
11	Gilles Peskine	[5]
12	Susmit Sarkar	[5] [8]
13	Peter Sewell	[3] [5] [6] [8]
14	Rok Strnisa	[5]

Colors in the list of coauthors