Coronavirus (Covid-19): Latest updates and information
Skip to main content Skip to navigation

Refereed journal and conference papers

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.