dblp.uni-trier.dewww.uni-trier.de

Gregory F. Sullivan

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Saibal Banerjee [10]
2Richard Beigel [4]
3Douglas M. Blough [5] [8] [9]
4Jonathan D. Bright [12] [14] [15] [17]
5Arthur L. Delcher [10]
6David G. Heath [6] [16]
7Hongxia Jin [18] [19]
8Simon Kasif [6] [10] [16]
9S. Rao Kosaraju [3] [4] [6] [16]
10Gerald M. Masson [7] [8] [9] [11] [13] [14] [17] [18] [19]
11Steven Salzberg [6] [16]
12Dwight S. Wilson [11] [13]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)