Tom Ridge

Thomas Ridge

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

8EESusmit 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
7EETom Ridge: Verifying distributed systems: the operational approach. POPL 2009: 429-440
6EETom Ridge, Michael Norrish, Peter Sewell: A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service. FM 2008: 294-309
5EEPeter 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
4EETom Ridge: Operational Reasoning for Concurrent Caml Programs and Weak Memory Models. TPHOLs 2007: 278-293
3EEAdam 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
2EETom Ridge: Craig's Interpolation Theorem formalised and mechanised in Isabelle/HOL CoRR abs/cs/0607058: (2006)
1EETom Ridge, James Margetson: A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic. TPHOLs 2005: 294-309

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)