Matthew Clegg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1991–2000
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | ICALP | Homogenization and the Polynominal Calculus. | Josh Buresh-Oppenheim, Matthew Clegg, Russell Impagliazzo, Toniann Pitassi |
| 1997 | RTSS | A low-cost processor group membership protocol for a hard real-time distributed system. | Matthew Clegg, Keith Marzullo |
| 1996 | STOC | Using the Groebner Basis Algorithm to Find Proofs of Unsatisfiability. | Matthew Clegg, Jeff Edmonds, Russell Impagliazzo |
| 1993 | FM | Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool. | Antti Valmari, Jukka Kemppainen, Matthew Clegg, Mikko Levanto |
| 1991 | CONCUR | Reduced Labelled Transition Systems Save Verification Effort. | Antti Valmari, Matthew Clegg |