| 2003 |
|---|
| 19 | EE | Hongxia 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 |
|---|
| 4 | EE | Richard 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 |
