Abstracts for each of these papers are available here. Due to copyright issues, the full text of each paper can be downloaded only if you are a member of the University of Warwick (staff or student). You may need to sign in -- use the link at the top right. If you are not at Warwick and would like a copy of a paper, please contact us.

(Papers listed oldest first.)

001	Definitive notations for interaction W.M.Beynon Proc. hci'85, ed Johnson and Cook, Cambridge University Press, 23-34, 1985.
002	Paradigms for programming W.M.Beynon Report on University Stirling Workshop on Functional and Logic Programming, Alvey Software Engineering Mailshot, December 1986.
003	The LSD notation for communicating systems W.M.Beynon Computer Science Research Report 87, University of Warwick, 1986. (presented at 3rd British Colloquium for Theoretical CS, Leicester 1987).
004	Comparison of SDL and LSD W.M.Beynon and M.T.Norris Proc. SDL'87, ed R Saracco and P A J Tilanus, North-Holland, 201-209, 1987.
005	Definitive principles for interactive graphics W.M.Beynon NATO ASI Series F, Vol 40, Springer-Verlag ,1083-1097, 1988.
006	Implementing a definitive notation for interactive graphics W.M.Beynon and Y.W.Yung New Trends in Computer Graphics, Springer-Verlag, 456-468, 1988.
007	Definitions for modelling and simulating concurrent systems W.M.Beynon, M.T.Norris and M.D.Slade Proc. IASTED conference ASM'88, Acta Press, 1988.
008	Definitions for the specification of educational software W.M.Beynon, K.S.H.Halstead and S.B.Russ Report for MESU, Dept of Education & Science, University of Warwick, 1988.
009	The EDEN Handbook Y.W.Yung University of Warwick, 1988.
010	Parallel computation in definitive models W.M.Beynon, M.D.Slade and Y.W.Yung CONPAR'88, British Computer Society Workshop Series CUP, 359-367, 1989.
011	Evaluating definitive principles for interactive graphics W.M.Beynon New Advances in Computer Graphics, Springer-Verlag, 291-303, 1989.
012	Representing design knowledge in a definitive programming framework W.M.Beynon and A.G.Cohn IFIP WG 5.2 on Intelligent CAD, Cambridge, Sept 1988.
013	A definitive programming approach to the implementation of CAD software W.M.Beynon Intell. CAD Systems II: Implementation Issues, Springer-Verlag, 126-45 (Appendix with A.J.Cartwright), 1989. A definitive notation for geometric modelling, Proc. 2nd Eurographics ICAD Workshop, CWI Amsterdam, April 1988.
014	The Development and Use of Variables in Mathematics & Computer Science W.M.Beynon and S.B.Russ The Mathematical Revolution Inspired by Computing, IMA Conf Series 30, 285-95, 1991.
015	Definitions as a framework for design W.M.Beynon Proc. 3rd Eurographics ICAD Workshop, CWI Amsterdam, 1989.
016	Parallelism in a definitive programming framework W.M.Beynon Parallel Computing 89, Advances in Parallel Computing Vol 2, North-Holland, 425-430, 1990.
017	Definitive specification of concurrent systems W.M.Beynon, M.T.Norris, R.A.Orr and M.D.Slade Proc UKIT'90, IEE Conference Publications 316, 52-57, 1990.
018	Definitive Interfaces as a Visualisation Mechanism W.M.Beynon and Y.P.Yung Proc Graphics Interface '90, Canadian Inf Processing Soc, 285-292, 1990.
019	Programming as Modelling: New Concepts and Techniques W.M.Beynon, S.B.Russ and Y.P.Yung Proc ISLIP'90, Computing & Info Science Dept, Queen's Univ, Canada 1990.
020	Programming Paradigms and the Semantics of Geometric Symbols (abstract) W.M.Beynon, A.J.Cartwright, S.B.Russ and Y.P.Yung Proc. W/S "Visual Interfaces to Geometry" at CHI'90, Seattle, April 1990.
021	Computer Environments for Mathematical Research: a project report W.M.Beynon University of Warwick, October 1990.
022	Programming Principles for Visualisation in Mathematical Research W.M.Beynon, Y.P.Yung, M.D.Atkinson and S.R.Bird Proc. Compugraphics '91: 1st Int Conf on Computational Graphics & Visualisation Techniques, 288-298.
023	Agent-oriented Modelling for a Vehicle Cruise Controller W.M.Beynon, I.Bridge and Y.P.Yung Proc. ESDA Conf., ASME PD-Vol. 47-4, 159-165, 1992.
024	Enhancing Interaction in Computer-Aided Design W.M.Beynon and A.J.Cartwright Proc "Design and Automation" Conference, HK, 643-8, August 1992.
025	Scientific Visualization: Experiments and Observations W.M.Beynon, Y.P.Yung, A.J.Cartwright and P.J.Horgan Proc. Eurographics W/S:Visualization in Scientific Computing, 157-173, 1992.
026	Agent-oriented Modelling for Discrete-Event Systems W.M.Beynon and Y.P.Yung Proc IEE Coll. "Discrete-Event Dynamic Systems", Digest #1992/138, 1992.
027	The Interpretation of States: a New Foundation for Computation? W.M.Beynon and S.B.Russ Proc. PPIG'92, Loughborough, January 1992.
028	New Paths for Programming in Theory and Practice W.M.Beynon Paper prepared for a presentation at IBM Warwick, September 1992.
029	Modelling a Canal System using Definitive Principles W.M.Beynon and M.S.Joy 1st National G.I.S. Conference, University of Keele, 140-149, 1993.
030	Agent-Oriented Modelling for Engineering Design W.M.Beynon and A.J.Cartwright Proc CAD '93, New Information Technologies in Science, Education and Business, Yalta, 49-53, May 1993.
031	A New Paradigm for Parallelism in Engineering Applications W.M.Beynon Position paper submitted to EASE Workshop on Developing Parallel Engineering Applications, February 1993.
032	Programming as Human-Computer Interaction W.M.Beynon Seminar notes for Manufacturing Group lecture and IBM visit, April 1993.
033	Computer Programming for Noughts-and-Crosses: New Frontiers W.M.Beynon and M.S.Joy Proc. PPIG'94, Open University, 27-37, January 1994.
034	A Computational Model for Multiagent Interaction in Concurrent Engineering W.M.Beynon, V.D.Adzhiev, A.J.Cartwright and Y.P.Yung Proc. CEEDA'94, Bournemouth Univ., 227-232, 1994.
035	A New Computer-Based Tool for Conceptual Design W.M.Beynon, V.D.Adzhiev, A.J.Cartwright and Y.P.Yung Proc. Workshop Computer Tools for Conceptual Design, Univ. of Lancaster, 171-188, 1994.
036	Applying Agent-oriented Design to a Sail Boat Simulation W.M.Beynon, P.E.Ness and Y.P.Yung Proc. ESDA 1994, Vol.6, 1-8, 1994.
037	Agent-oriented Modelling and the Explanation of Behaviour W.M.Beynon Invited Paper in Proc. International W/S "Shape Modeling Parallelism, Interactivity and Applications", Dept. of Computer Software, TR 94-1-040, Univ. Aizu, Japan, 54-63, Sept. 1994.
038	Interactive Geometric Modelling based on R-functions W.M.Beynon, V.D.Adzhiev and A.A.Pasko Proc CSG'94: Set-Theoretic Solid Modelling: Techniques and Applications, Winchester, Information Geometers, 253-272, 1994.
039	A Computer-Aided Script Generator for Computer Aided Design W.M.Beynon and Y.P.Yung Proc. Pacific Graphics'94 / CADDM'94, Vol. 2, 369-374, 1994.
040	An Agent-oriented Framework for Concurrent Engineering W.M.Beynon, V.D.Adzhiev, A.J.Cartwright and Y.P.Yung Proc. IEE Colloquium: Issues of Cooperative working in Concurrent Engineering, Digest 1994/177, 9/1-9/4, October 1994.
041	Worlds Before and Beyond Words W.M.Beynon, P.E.Ness and S.B.Russ Proc. VF '95, Warwick University, 1995.
042	Computer-Assisted Jigsaw Construction: a Case-Study in Empirical Modelling W.M.Beynon, C.J.Sidebotham and Y.P.Yung Proc. 5th Eurographics Workshop on Programming Paradigms for Graphics, Maastricht, 37-50, September 1995.
043	Empirical Modelling Principles for Cognitive Artefacts W.M.Beynon and R.I.Cartwright Proc. IEE Colloquium: Design Systems with Users in Mind: The Role of Cognitive Artefacts, Digest No. 95/231, 8/1-8/8, December 1995.
044	Higher-order constructs for interactive graphics in a definitive programming framework D.K.Gehring, Y.P.Yung, R.I.Cartwright, W.M.Beynon and A.J.Cartwright Proc. 14th Eurographics UK Conference, 179-192, 1996.
045	Spreadsheets and programming D.K.Gehring Proceedings of the First Psychology of Programming Interest GroupPostgraduate Student Workshop, ISBN 1 874152 04 7, 1996.
046	Empirical Modelling Principles in Application Development for the Disabled W.M.Beynon and R.I.Cartwright Proc. IEE Colloquium: Computers in the Service of Mankind: Helping the Disabled, IEE Digest No 97/117, 4/1-4/3, March 1997.
047	Empirical Modelling for Educational Technology W.M.Beynon Proc. Cognitive Technology '97, University of Aizu, Japan, IEEE, 54-68, 1997.
048	Enabling Technologies for Empirical Modelling in Graphics J.A.Allderidge, W.M.Beynon, R.I.Cartwright and Y.P.Yung Proc. Eurographics UK, 16th Annual Conference, 199-213, 1998.
049	Empirical Modelling: a New Approach to Understanding Requirements W.M.Beynon and P-H.Sun Proc. 11th International Conference on Software Engineering and its Applications, Vol.3, Paris, December 1998.
050	Empirical Modelling and the Foundations of Artificial Intelligence W.M.Beynon Computation for Metaphors, Analogy and Agents, Lecture Notes in Artificial Intelligence 1562, Springer, 322-364, 1999.
051	Formal Specification from an Observation-Oriented Perspective W.M.Beynon, J. Rungrattanaubol and J. Sinclair Journal of Universal Computer Science, Vol. 6 (4), 407-421, 2000. (Originally presented at 15th British Colloquium in Theoretical Computer Science, Keele University, April 1999.)
052	Interactive Situation Models for Information Systems Development W.M.Beynon, R. Cartwright, P-H. Sun and A. Ward Proceedings of SCI'99 and ISAS'99, Volume 2, 9-16,Orlando, USA July 1999.
053	Computer-mediated communication: a Distributed Empirical Modelling perspective W.M.Beynon and P-H. Sun Proceedings of CT'99, San Francisco, August 1999.
054	Strategic Decision Support Systems: An Experience-Based Approach S. Rasmequan, C. Roe and S. Russ Proceedings of the 18th IASTED Conference on Applied Informatics, Innsbruck, Austria, February 14-17 2000.
055	The Use of Interactive Situation Models for the Development of Business Solutions W.M. Beynon, S. Rasmequan and S. Russ Proceedings workshop on Perspective in Business Informatics Research (BIR-2000) Rostock, Germany, March 31- April 1, 2000.
056	Empirical Modelling for Business Process Reengineering: An Experience-Based Approach Y-C. Chen, S.Russ and W.M. Beynon Proceedings workshop on Perspective in Business Informatics Research (BIR-2000) Rostock, Germany, March 31- April 1, 2000.
057	An Experience-Based Approach to Decision Support Systems W.M.Beynon, S. Rasmequan and S. Russ Position paper for IFIP Working Group 8.3, Working Conference on Decision Support Through Knowledge Management, Stockholm, Sweden, July 9-11, 2000.
058	The Temposcope: a Computer Instrument for the Idealist Timetabler W.M.Beynon, A. Ward, S. Maad, A. Wong, S. Rasmequan, and S. Russ Proceedings of the 3rd international conference on the practice and Theory of Automated Timetabling, Konstanz, Germany, August 16-18, 2000, ISBN: 3-00-003866-3, 153-175.
059	Cognitive Artefacts for Decision Support S. Rasmequan and S. Russ Proceedings of the IEEE SMC 2000 "Cybernetics Evolving to Systems, Humans, Organizations and their complex interactions", Tennessee, USA, October 8-11, 2000.
060	Participative Process Modelling Y-C. Chen, S. Russ and W.M. Beynon Proceedings of the IEEE SMC 2000 "Cybernetics Evolving to Systems, Humans, Organizations and their complex interactions", Tennessee, USA, October 8-11, 2000.
061	A New Paradigm for Computer-Based Decision Support W.M. Beynon, S. Rasmequan and S. Russ Decision Support Systems, vol 33 (2002) p127-142.
062	Empirical Modelling of Real Life Financial Systems: The need for Integration of Enabling Tools and Technologies W.M.Beynon and S. Maad Proceedings of the Fourth World Conference On Integrated Design & Process Technology, incorporated into the Fifth World Conference, Texas 2000.
063	Integrated Environments for Virtual Collaboration: an Empirical Modelling Perspective W.M.Beynon and S. Maad Proceedings of the Fifth World Conference On Integrated Design & Process Technology, Texas 2000.
064	Empirical Modelling of Products Carlos N Fischer and W.M.Beynon Proc Int Conf on Simulation and Multimedia in Engineering Education, Phoenix, Arizona, January 2001, p20-26, The Society for Modelling and Simulation International, 2001, ISBN: 1-56555-224-5.
065	Empirical Modelling for the Conceptual Design and Use of Products Chris Roe, W.M.Beynon and Carlos N Fischer Proc Int Conf on Simulation and Multimedia in Engineering Education, Phoenix, Arizona, January 2001, p27-32, The Society for Modelling and Simulation International, 2001, ISBN: 1-56555-224-5.
066	Empirical Modelling in Product Design Carlos N Fischer and W.M.Beynon Proc 16th Brazilian Congress of Mechanical Engineering, November 2001, p218-225, ISBN 85-85769-06-6.
067	Empirical Modelling for the Logistics of Rework in the Manufacturing Process Michael Evans, W.M.Beynon, Carlos N Fischer Proc 16th Brazilian Congress of Mechanical Engineering, November 2001, p226-234, ISBN 85-85769-06-6.
068	The Computer as Instrument W.M.Beynon, Yih-Chang Ch'en, Hsing-Wen Hseu, Soha Maad, Suwanna Rasmequan, Chris Roe, Jaratsri Rungrattanaubol, Steve Russ, Ashley Ward and Allan Wong Proc Cognitive Technology: Instruments of Mind, University of Warwick, August 2001, LNAI 2117, Springer-Verlag, 2001, p476-489, ISBN 3-540-42406-7.
069	Interactive Situation Models for Cognitive Aspects of User-Artefact Interaction W.M.Beynon, Chris Roe, Ashley Ward and Allan Wong Proc Cognitive Technology: Instruments of Mind, University of Warwick, August 2001, LNAI 2117, Springer-Verlag, 2001, p356-372, ISBN 3-540-42406-7.
070	Realising Virtual Trading: what price Virtual Reality? Soha Maad, W.M.Beynon and Samir Garbaya Usability Evaluation and Interface Design: Cognitive Engineering, Intelligent Agents and Virtual Reality, M.J. Smith,G. Salvendy, D. Harris, R.J. Koubek (editors), Lawrence Erlbaum Associates, Mahwah, N.J., 2001 pp. 1007 - 1011.
071	Business and IT Perspectives on AMORE: a Methodology for Object-Orientation in Re-engineering Enterprises Kiran Fernandes, Vinesh Raja, John Keast, W.M.Beynon, Pui Shan Chan and Mike Joy. In Systems Engineering for Business Process Change: New Directions, (ed P. Henderson) Springer-Verlag 2002, ISBN 1-85233-399-5, 274-297.
072	Liberating the Computer Arts W.M.Beynon Proc DALI'2001, First International Conference on Digital and Academic Liberty of Information, University of Aizu, Japan, March 2001 (invited paper, 25pp).
073	Software evolution and the semantic relation: an Empirical Modelling perspective (abstract) W.M.Beynon In Software Evolution and Evolutionary Computation Symposium Abstracts, University of Hertfordshire Computer Science Technical Report No 364, February 2002, University of Hertfordshire, Hatfield, UK.
074	Empirical Modelling principles to support learning in a cultural context Chris Roe and W.M.Beynon In Proceedings of 1st International Conference on Educational Technology in Cultural Context, University of Joensuu, Finland, 2002, pp 151-172.
075	Using Empirical Modelling to simulate robotics in Kids Club P.Eronen, J.Jarvela, Chris Roe and M.Virnes 2nd Annual Finnish/Baltic Sea Conference on Computer Science Education, (Koli Calling), Joensuu, Finland, 18-20 October, 2002, pp 63-68.
076	Knowledge Modelling Suwanna Rasmequan and S.B.Russ Proceedings of the IASTED Conference on Applied Modelling and Simulation, MIT, Cambridge MA, November 2002.
077	Novel Software Development for Finance S. Maad Proceedings of Business Information Technology Conference BIT2002, Manchester, UK 2002.
078	Radical Empiricism, Empirical Modelling and the nature of knowing W.M.Beynon In Proceedings of the WM 2003 Workshop on Knowledge Management and Philosophy, Luzern, April 3-4, 2003.
079	A computer-based environment for the study of relational query languages W.M.Beynon, A.H.Bhalerao, Chris Roe and Ashley Ward In Proc. of the Teaching, Learning and Assessment in Databases Workshop, Coventry, UK, July 2003, 104-108.
080	Computer support for constructionism in context W.M.Beynon and Chris Roe In Proc. of ICALT'04, Joensuu, Finland, August 2004, 216-220.