Computer Science

University Home | Department Home | Research | Department
People | Prizes | Industrial Programme | Admissions | Courses

N.A. Harman, BSc, PhD (Leeds)
Deputy Head of Department and Programme Director
Director of Software Alliance Wales


Neal Harman

Teaching: resources for my current modules


Selected Research Publications

  1. N.A. Harman, Modelling SMT and CMT Processors: A Simple Case Study, Deparment of Computer Science, Swansea Report CSR6-2007, (2007).
  2. N.A. Harman, Algebraic Models of Simultaneous Mult-Threaded and Multi-Core Processors, Deparment of Computer Science, Swansea Report CSR7-2007, (2007).
  3. A.C.J. Fox and N.A. Harman, Algebraic Models of Correctness for Abstract Pipelines, The Journal of Algebraic and Logic Programming, 57 (2003), 71-107.
  4. A.C.J. Fox and N.A. Harman, Algebraic Models of Correctness for Microprocessors, Formal Aspects of Computer Science, 12, 298-312, 2000.
  5. N.A. Harman, Verifying a Simple Pipelined Microprocessor Using Maude , in Recent Trends in Algebraic Development Techniques: 15th Int. Workshop, WADT 2001, April 1-3 2001 (Selected Papers). ed. M Cerioli and G Reggio, Lecture Notes in Computer Science 2267, Springer-Verlag, Berlin (2001), 128-151
  6. N.A. Harman, Correctness and Verification of Hardware Systems Using Maude , Computer Science Report 3-2000.
  7. A.C.J. Fox and N.A. Harman, Algebraic Models of Temporal Abstraction for Initialised Iterated State Systems: An Abstract Pipelined Case Study , Computer Science Report 21-98.
  8. A.C.J. Fox and N.A. Harman, An algebraic model of correctness for superscalar microprocessors, in Prospects for Hardware Foundations, ed. B Möller and J V Tucker, Lecture Notes in Computer Science 1546, Springer-Verlag, Berlin (1998), 138-183.
  9. A.C.J. Fox and N.A. Harman, Algebraic models of correctness for microprocessors, in Formal Methods in Computer Aided Design ed. M Srivas and A Camilleri, Lecture Notes in Computer Science 1166, Springer-Verlag, Berlin (1996), 346-361.
  10. N.A. Harman and J.V. Tucker, "Algebraic models of microprocessors: the verification of a simple computer", Proceedings of the 2nd IMA Conference on Mathematics for Dependable Systems, ed V. Stavridou, Oxford University Press (1997), 135-170.
  11. N.A. Harman and J.V. Tucker, "Algebraic models of microprocessors: architecture and organisation", Acta Informatica, 33 (1996), 421-456.