Reduced Labelled Transition Systems Save Verification Effort. - Antti Valmari; Matthew Clegg (CONCUR, 1991)

Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool. - Antti Valmari; Jukka Kemppainen; Matthew Clegg; Mikko Levanto (FME, 1993)

Using the Groebner Basis Algorithm to Find Proofs of Unsatisfiability. - Matthew Clegg; Jeff Edmonds; Russell Impagliazzo (STOC, 1996)

Predicting Physical Processes in the Presence of Faulty Sensor Readings. - Matthew Clegg; Keith Marzullo (FTCS, 1997)

A low-cost processor group membership protocol for a hard real-time distributed system. - Matthew Clegg; Keith Marzullo (RTSS, 1997)

Homogenization and the Polynominal Calculus. - Josh Buresh-Oppenheim; Matthew Clegg; Russell Impagliazzo; Toniann Pitassi (ICALP, 2000)

Homogenization and the polynomial calculus. - Josh Buresh-Oppenheim; Matthew Clegg; Russell Impagliazzo; Toniann Pitassi (Comput. Complex., 2002)

Magnetization Losses of Transposed Stacked Tape Conductors Under AC Transverse Magnetic Fields. - Matthew Clegg; Hasan N. H. Al-Ssalih; Harold S. Ruiz (IEEE Access, 2025)