Neal A. Harman

2007
9	EE	Neal A. Harman: Algebraic Models of Simultaneous Multithreaded and Multi-core Processors. CALCO 2007: 294-311
8	EE	Neal A. Harman: Algebraic models of behaviour and correctness of SMT and CMT processors. J. Log. Algebr. Program. 74(1): 32-56 (2007)
2003
7	EE	Anthony C. J. Fox, Neal A. Harman: Algebraic models of correctness for abstract pipelines. J. Log. Algebr. Program. 57(1-2): 71-107 (2003)
2001
6	EE	Neal A. Harman: Verifying a Simple Pipelined Microprocessor Using Maude. WADT 2001: 128-151
2000
5	EE	Anthony C. J. Fox, Neal A. Harman: Algebraic Models of Correctness for Microprocessors. Formal Asp. Comput. 12(4): 298-312 (2000)
1998
4	EE	Anthony C. J. Fox, Neal A. Harman: Algebraic Models of Superscalar Microprocessor Implementations: A Case Study. Prospects for Hardware Foundations 1998: 138-183
1996
3		Anthony C. J. Fox, Neal A. Harman: An Algebraic Model of Correctness for Superscalar Microprocessors. FMCAD 1996: 346-361
2		Neal A. Harman, J. V. Tucker: Algebraic Models of Microprocessors: Architecture and Organisation. Acta Inf. 33(5): 421-456 (1996)
1993
1		Neal A. Harman, J. V. Tucker: Algebraic Models and the Correctness of Microprocessors. CHARME 1993: 92-108

Coauthor Index

1	Anthony C. J. Fox	[3] [4] [5] [7]
2	J. V. Tucker (John V. Tucker)	[1] [2]

Colors in the list of coauthors