Search the dblp DataBase
Neal A. Harman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Neal A. Harman, J. V. Tucker
Algebraic Models and the Correctness of Microprocessors. [Citation Graph (0, 0)][DBLP]
CHARME, 1993, pp:92-108 [Conf] - Anthony C. J. Fox, Neal A. Harman
An Algebraic Model of Correctness for Superscalar Microprocessors. [Citation Graph (0, 0)][DBLP]
FMCAD, 1996, pp:346-361 [Conf] - Anthony C. J. Fox, Neal A. Harman
Algebraic Models of Superscalar Microprocessor Implementations: A Case Study. [Citation Graph (0, 0)][DBLP]
Prospects for Hardware Foundations, 1998, pp:138-183 [Conf] - Neal A. Harman
Verifying a Simple Pipelined Microprocessor Using Maude. [Citation Graph (0, 0)][DBLP]
WADT, 2001, pp:128-151 [Conf] - Neal A. Harman, J. V. Tucker
Algebraic Models of Microprocessors: Architecture and Organisation. [Citation Graph (0, 0)][DBLP]
Acta Inf., 1996, v:33, n:5, pp:421-456 [Journal] - Anthony C. J. Fox, Neal A. Harman
Algebraic Models of Correctness for Microprocessors. [Citation Graph (0, 0)][DBLP]
Formal Asp. Comput., 2000, v:12, n:4, pp:298-312 [Journal] - Anthony C. J. Fox, Neal A. Harman
Algebraic models of correctness for abstract pipelines. [Citation Graph (0, 0)][DBLP]
J. Log. Algebr. Program., 2003, v:57, n:1-2, pp:71-107 [Journal] - Neal A. Harman
Algebraic Models of Simultaneous Multithreaded and Multi-core Processors. [Citation Graph (0, 0)][DBLP]
CALCO, 2007, pp:294-311 [Conf]
Search in 0.001secs, Finished in 0.002secs
| 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