| 2002 |
|---|
| 7 | EE | Josh Buresh-Oppenheim,
Matthew Clegg,
Russell Impagliazzo,
Toniann Pitassi:
Homogenization and the polynomial calculus.
Computational Complexity 11(3-4): 91-108 (2002) |
| 2000 |
|---|
| 6 | EE | Josh Buresh-Oppenheim,
Matthew Clegg,
Russell Impagliazzo,
Toniann Pitassi:
Homogenization and the Polynominal Calculus.
ICALP 2000: 926-937 |
| 1997 |
|---|
| 5 | | Matthew Clegg,
Keith Marzullo:
Predicting Physical Processes in the Presence of Faulty Sensor Readings.
FTCS 1997: 373-378 |
| 4 | EE | Matthew Clegg,
Keith Marzullo:
A low-cost processor group membership protocol for a hard real-time distributed system.
IEEE Real-Time Systems Symposium 1997: 90-98 |
| 1996 |
|---|
| 3 | EE | Matthew Clegg,
Jeff Edmonds,
Russell Impagliazzo:
Using the Groebner Basis Algorithm to Find Proofs of Unsatisfiability.
STOC 1996: 174-183 |
| 1993 |
|---|
| 2 | | Antti Valmari,
Jukka Kemppainen,
Matthew Clegg,
Mikko Levanto:
Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool.
FME 1993: 597-616 |
| 1991 |
|---|
| 1 | | Antti Valmari,
Matthew Clegg:
Reduced Labelled Transition Systems Save Verification Effort.
CONCUR 1991: 526-540 |
