Search the dblp DataBase
Gregory F. Sullivan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Gregory F. Sullivan
A Polynomial Time Algorithm for Fault Diagnosability [Citation Graph (0, 0)][DBLP]
FOCS, 1984, pp:148-156 [Conf] - Jonathan D. Bright, Gregory F. Sullivan
Checking Mergeable Priority Queues. [Citation Graph (0, 0)][DBLP]
FTCS, 1994, pp:144-153 [Conf] - 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] - 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] - Gregory F. Sullivan, Gerald M. Masson
Certitication Trails for Data Structures. [Citation Graph (0, 0)][DBLP]
FTCS, 1991, pp:240-247 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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.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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002