The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gregory F. Sullivan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gregory F. Sullivan
    A Polynomial Time Algorithm for Fault Diagnosability [Citation Graph (0, 0)][DBLP]
    FOCS, 1984, pp:148-156 [Conf]
  2. Jonathan D. Bright, Gregory F. Sullivan
    Checking Mergeable Priority Queues. [Citation Graph (0, 0)][DBLP]
    FTCS, 1994, pp:144-153 [Conf]
  3. Jonathan D. Bright, Gregory F. Sullivan
    On-line Error Monitoring for Several Data Structures. [Citation Graph (0, 0)][DBLP]
    FTCS, 1995, pp:392-401 [Conf]
  4. Jonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson
    Checking the Integrity of Trees. [Citation Graph (0, 0)][DBLP]
    FTCS, 1995, pp:402-411 [Conf]
  5. Gregory F. Sullivan, Gerald M. Masson
    Certitication Trails for Data Structures. [Citation Graph (0, 0)][DBLP]
    FTCS, 1991, pp:240-247 [Conf]
  6. David G. Heath, Simon Kasif, S. Rao Kosaraju, Steven Salzberg, Gregory F. Sullivan
    Learning Nested Concept Classes with Limited Storage. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:777-782 [Conf]
  7. Gregory F. Sullivan, Dwight S. Wilson, Gerald M. Masson
    Certification Trails and Software Design for Testability. [Citation Graph (0, 0)][DBLP]
    ITC, 1993, pp:200-209 [Conf]
  8. Hongxia Jin, Gregory F. Sullivan, Gerald M. Masson
    Run-time Result Certification for Distributed Computations. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:890-895 [Conf]
  9. Hongxia Jin, Gregory F. Sullivan, Gerald M. Masson
    Software Tamper Resistance Using Program Certificates. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:144-158 [Conf]
  10. Richard Beigel, S. Rao Kosaraju, Gregory F. Sullivan
    Locating Faults in a Constant Number of Parallel Testing Rounds. [Citation Graph (0, 0)][DBLP]
    SPAA, 1989, pp:189-198 [Conf]
  11. Douglas M. Blough, Gregory F. Sullivan
    A Comparison of Voting Strategies for Fault-Tolerant Distributed Systems. [Citation Graph (0, 0)][DBLP]
    SRDS, 1990, pp:136-145 [Conf]
  12. S. Rao Kosaraju, Gregory F. Sullivan
    Detecting Cycles in Dynamic Graphs in Polynomial Time (Preliminary Version) [Citation Graph (0, 0)][DBLP]
    STOC, 1988, pp:398-406 [Conf]
  13. Simon Kasif, Saibal Banerjee, Arthur L. Delcher, Gregory F. Sullivan
    Some Results on the Computational Complexity of Symmetric Connectionist Networks. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1993, v:9, n:3-4, pp:327-344 [Journal]
  14. David G. Heath, Simon Kasif, S. Rao Kosaraju, Steven Salzberg, Gregory F. Sullivan
    Learning nested concept classes with limited storage. [Citation Graph (0, 0)][DBLP]
    J. Exp. Theor. Artif. Intell., 1996, v:8, n:2, pp:129-147 [Journal]
  15. Douglas M. Blough, Gregory F. Sullivan, Gerald M. Masson
    Efficient Diagnosis of Multiprocessor Systems under Probabilistic Models. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1992, v:41, n:9, pp:1126-1136 [Journal]
  16. Douglas M. Blough, Gregory F. Sullivan, Gerald M. Masson
    Intermittent Fault Diagnosis in Multiprocessor Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1992, v:41, n:11, pp:1430-1441 [Journal]
  17. Jonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson
    A Formally Verified Sorting Certifier. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1997, v:46, n:12, pp:1304-1312 [Journal]
  18. Gregory F. Sullivan
    An O(t3 + |E|) Fault Identification Algorithm for Diagnosable Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1988, v:37, n:4, pp:388-397 [Journal]
  19. Gregory F. Sullivan, Dwight S. Wilson, Gerald M. Masson
    Certification of Computational Results. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1995, v:44, n:7, pp:833-847 [Journal]

Search in 0.004secs, Finished in 0.005secs
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