Search the dblp DataBase
F. Keith Hanna :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
F. Keith Hanna , Neil Daeche Purely Functional Implementation of a Logic. [Citation Graph (0, 0)][DBLP ] CADE, 1986, pp:598-607 [Conf ] F. Keith Hanna , W. T. Harwood A Multiprocessor System for Knowledge Representation and Manipulation. [Citation Graph (0, 0)][DBLP ] AISB/GI (ECAI), 1978, pp:132-137 [Conf ] W. T. Harwood , F. Keith Hanna A Distributed Activity Processing System for AI. [Citation Graph (0, 0)][DBLP ] AISB (ECAI), 1976, pp:130-136 [Conf ] F. Keith Hanna Automatic Verification of Mixed-Level Logic Circuits. [Citation Graph (0, 0)][DBLP ] FMCAD, 1998, pp:133-166 [Conf ] F. Keith Hanna , Neil Daeche , Mark Longley Veritas+ : A Specification Language Based on Type Theory. [Citation Graph (0, 0)][DBLP ] Hardware Specification, Verification and Synthesis, 1989, pp:358-379 [Conf ] F. Keith Hanna Reasoning About Analog-Level Implementations of Digital Systems. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2000, v:16, n:2, pp:127-158 [Journal ] F. Keith Hanna , Neil Daeche , Mark Longley Specification and Verification Using Dependent Types. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1990, v:16, n:9, pp:949-964 [Journal ] Search in 0.002secs, Finished in 0.002secs