The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Matthew Clegg: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002