Neal A. Harman

	2007
9		Neal A. Harman: Algebraic Models of Simultaneous Multithreaded and Multi-core Processors. CALCO 2007: 294-311
8		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		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		Neal A. Harman: Verifying a Simple Pipelined Microprocessor Using Maude. WADT 2001: 128-151
	2000
5		Anthony C. J. Fox, Neal A. Harman: Algebraic Models of Correctness for Microprocessors. Formal Asp. Comput. 12(4): 298-312 (2000)
	1998
4		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

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page