Matthew Clegg

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

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

Coauthor Index

1	Joshua Buresh-Oppenheim (Josh Buresh-Oppenheim)	[j1] [c6]
2	Jeff Edmonds	[c3]
3	Russell Impagliazzo	[j1] [c6] [c3]
4	Jukka Kemppainen	[c2]
5	Mikko Levanto	[c2]
6	Keith Marzullo	[c5] [c4]
7	Toniann Pitassi	[j1] [c6]
8	Antti Valmari	[c2] [c1]

Last update Mon May 20 00:47:08 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page