Matthew Clegg

According to our database, Matthew Clegg authored at least 7 papers between 1991 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2002

Homogenization and the polynomial calculus.

Josh Buresh-Oppenheim, Matthew Clegg, Russell Impagliazzo, Toniann Pitassi

Comput. Complex., 2002

2000

Homogenization and the Polynominal Calculus.

Josh Buresh-Oppenheim, Matthew Clegg, Russell Impagliazzo, Toniann Pitassi

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

1997

A low-cost processor group membership protocol for a hard real-time distributed system.

Matthew Clegg, Keith Marzullo

Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

Predicting Physical Processes in the Presence of Faulty Sensor Readings.

Matthew Clegg, Keith Marzullo

Proceedings of the Digest of Papers: FTCS-27, 1997

1996

Using the Groebner Basis Algorithm to Find Proofs of Unsatisfiability.

Matthew Clegg, Jeff Edmonds, Russell Impagliazzo

Proceedings of the Twenty-Eighth Annual ACM Symposium on the Theory of Computing, 1996

1993

Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool.

Antti Valmari, Jukka Kemppainen, Matthew Clegg, Mikko Levanto

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1991

Reduced Labelled Transition Systems Save Verification Effort.

Antti Valmari, Matthew Clegg

Proceedings of the CONCUR '91, 1991