Departmental research reports relating to Empirical Modelling are listed below. Many of the reports are papers that could not be published elsewhere because of their specialist themes, experimental nature or dense technical content. Some extend or complement refereed publications, and in a few cases are very similar in content to a published paper. Reports can be retrieved by entering the appropriate index into the search box on the Computer Science research reports and theses webpage.

(Reports listed oldest first.)

CS-RR-054	A Definition of the ARCA Notation W.M. Beynon. (September 1983)
CS-RR-078	ARCA - A Notation for Displaying and Manipulating Combinatorial Diagrams W.M. Beynon. (June 1986)
CS-RR-086	DoNaLD: A Line-drawing System Based on Definitive Principles W.M. Beynon, D. Angier, T. Bissell and S. Hunt. (October 1986)
CS-RR-087	The LSD Notation for Communicating Systems W.M. Beynon. (November 1986)
CS-RR-093	Definitive Principles for Interactive Graphics W.M. Beynon. (February 1987)
CS-RR-111	Implementing a Definitive Notation for Interactive Graphics W.M. Beynon and Y.W. Yung. (November 1987)
CS-RR-124	Definitions for Modelling and Simulating Concurrent Systems W.M. Beynon, M. Norris and M. Slade. (May 1988)
CS-RR-127	Parallel Computation in Definitive Models W.M. Beynon, M. Slade and Y.W. Yung. (May 1988)
CS-RR-132	Definitive Programming for Parallelism W.M. Beynon. (October 1988)
CS-RR-133	Evaluating Definitive Principles for Interaction in Graphics W.M. Beynon. (November 1988)
CS-RR-141	Variables in Mathematics and Computer Science W.M. Beynon and S.B. Russ. (May 1989)
CS-RR-147	Software Construction Using Definitions: an Illustrative Example W.M. Beynon, M.T. Norris, S.B. Russ, Y.P. Yung and Y.W. Yung. (September 1989)
CS-RR-163	Protocol Specification in Concurrent Systems Software Development W.M. Beynon, M. Slade and Y.P. Yung. (September 1990)
CS-RR-205	Programming Principles for the Semantics of the Semantics of Programs W.M. Beynon. (January 1992)
CS-RR-207	The Interpretation of States: a New Foundation for Computation? W.M. Beynon and S.B. Russ. (February 1992)
CS-RR-260	Agent-oriented Modelling for a Billiards Simulation M. Farkas, W.M. Beynon and Y.P. Yung. (December 1993)
CS-RR-277	Empirical Modelling of Requirements W.M. Beynon and S.B. Russ. (January 1995)
CS-RR-278	Databases from an Agent-oriented Perspective W.M. Beynon, A. Cartwright and Y.P. Yung. (January 1995)
CS-RR-319	Abstract Geometry for Design in an Empirical Modelling Context W.M. Beynon R.I. Cartwright and A.J. Cartwright.
CS-RR-329	Enabling Technologies for Empirical Modelling in Graphics W.M. Beynon, J. Allderidge, R.I. Cartwright and Y.P. Yung. (July 1997)
CS-RR-337	Modelling State in Mind and Machine W.M.Beynon. (Presented at 10th Annual PPIG conference at the Knowledge Media Institute at the OU, 5-7 January 1998)
CS-RR-346	Explanatory Models for Open-ended Human Computer Interaction W.M. Beynon, J. Rungrattanaubol, P-H. Sun and A.E.M. Wright. (July 1998)
CS-RR-352	Interactive Situation Models for Program Comprehension W.M.Beynon and P-H.Sun. (Sept 1998)
CS-RR-353	Interactive Situation Models for Systems Development W.M. Beynon, R.I. Cartwright, J. Rungrattanaubol and P-H. Sun. (Sept 1998)
CS-RR-357	Cultivating Requirements in a Situated Requirements Engineering Process P-H. Sun, S.B. Russ, Y.C. Chen and W.M. Beynon. (May 1999)
CS-RR-412	Empirical Modelling in Support of Constructionist Learning: a Case Study W.M. Beynon and A.J. Harfield. (June 2005)
CS-RR-420	The Analogue Computer as a Scientific Instrument Charles Care. (January 2006)
CS-RR-421	Redressing the past: liberating computing as an experimental science W.M. Beynon and S.B.Russ. (January 2006) This can also be accessed online at Grand Challenges for Computing Research Conference Submissions, submission number 26, National e-Science Centre
CS-RR-444	Computing for construals in distributed participatory design - principles and tools Meurig Beynon and Zhan En Chan. (June 2009)
CS-RR-447	Cadence and the Empirical Modelling conceptual framework: a new perspective on modelling state-as-experienced Meurig Beynon and Nicolas Pope. (September 2011)
CS-RR-449	Construals as a Complement to Intelligent Tutoring Systems in Medical Education (preliminary version) Meurig Beynon and Will Beynon