Matthew Clegg

Publication Activity (10 Years)

Years Active: 1991-2002
Publications (10 Years): 0

Publications

Josh Buresh-Oppenheim, Matthew Clegg, Russell Impagliazzo, Toniann Pitassi
Homogenization and the polynomial calculus. Comput. Complex. 11 (3-4) (2002)
Josh Buresh-Oppenheim, Matthew Clegg, Russell Impagliazzo, Toniann Pitassi
Homogenization and the Polynominal Calculus. ICALP (2000)
Matthew Clegg, Keith Marzullo
Predicting Physical Processes in the Presence of Faulty Sensor Readings. FTCS (1997)
Matthew Clegg, Keith Marzullo
A low-cost processor group membership protocol for a hard real-time distributed system. RTSS (1997)
Matthew Clegg, Jeff Edmonds, Russell Impagliazzo
Using the Groebner Basis Algorithm to Find Proofs of Unsatisfiability. STOC (1996)
Antti Valmari, Jukka Kemppainen, Matthew Clegg, Mikko Levanto
Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool. FME (1993)
Antti Valmari, Matthew Clegg
Reduced Labelled Transition Systems Save Verification Effort. CONCUR (1991)