Abstracts for almost all of these papers are available here. In most cases, the full text of a paper can be downloaded provided that this is for non-commercial personal research/study purposes. Exceptionally, the full text of a 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 such a paper, please contact us.

2012

• Meurig Beynon and Will Beynon, Construals to Support Exploratory and Collaborative Learning in Medicine. In Proc. Intelligent Support for Exploratory Environments (ISEE 2012), June 2012, to appear [120]
• Meurig Beynon and Will Beynon, Mediating Intelligence through Observation, Dependency and Agency in Making Construals of Malaria. In (eds. S.A. Cerri and B. Clancey) Proc. 11th International Conference on Intelligent Tutoring Systems (ITS 2012), June 2012, Springer Lecture Notes in Computer Science 7315, 667-668 [119]
• Meurig Beynon and Will Beynon, A Conception of Computing with Promise for Medical Education (abstract only), in Proc. 5th International Online Medical Conference (IOMC 2012), March 2012, to appear [118]
• Ilkka Jormanainen, Meurig Beynon and Erkki Sutinen An abductive environment enables teacher’s intervention in a robotics class. In Proc. 17th International Symposium on Artificial Life and Robotics (AROB 2012), B-Con Plaza, Beppu, Oita, Japan, January 19-21, 2012, ISBN 978-4-9902880-6-8, 1075-1078. [117]

2011

• Jaratsri Rungrattanaubol, Anamai Na-udom, and Antony Harfield. An exploratory neural network model for predicting disability severity from road traffic accidents in Thailand. In Proc of 3rd International Conference on Knowledge & Smart Technologies (KST 2011), Burapha University, Thailand, 16-17th July 2011. [116]
• Meurig Beynon. Turing's approach to modelling states of mind. In (eds. S Barry Cooper and Jan van Leeuwen) Alan Turing - His Work and Impact, Elsevier, February 2012, ISBN: 978-0-12-386980-7, 70-76, to appear [115]
• Meurig Beynon. Modelling with experience: construal and construction for software. Chapter 9 in Ways of Thinking, Ways of Seeing (ed. Chris Bissell and Chris Dillon), Automation, Collaboration, & E-Services Series 1, Springer-Verlag, January 2012, ISBN 978-3-642-25208-2, 197-228 [114]

2010

• Nicolas Pope and Meurig Beynon. Empirical Modelling as an unconventional approach to software development. Proc. SPLASH 2010 Workshop on Flexible Modeling Tools, Reno/Tahoe Nevada, USA, October 2010 [113]
• Meurig Beynon. From formalism to experience: a Jamesian perspective on music, computing and consciousness. Chapter 9 in Music and Consciousness: Philosophical, Psychological, and Cultural Perspectives (ed. David and Eric Clarke), OUP, July 28th 2011, ISBN: 9780199553792, 157-178 [112]
• Meurig Beynon and Antony Harfield. Constructionism through Construal by Computer. Constructionism 2010, The American University of Paris, August 2010 [111]
• Daniel Keer, Steve Russ, Meurig Beynon. Computing for construal: an exploratory study of desert ant navigation. In Procedia Computer Science, Volume 1, Issue 1, May 2010, 2207-2216 [110]

2009

• Ilkka Jormanainen, Meurig Beynon, Erkki Sutinen. Understanding open learning processes in a robotics class. Proceedings of the 9th Koli Calling International Conference on Computing Education Research (ed. Pears and Schulte), Technical Report 2010-027, Information Technology, Uppsala University, Sweden, November 2010, 51-54 [109]
• Meurig Beynon, Antony Harfield and Richard Myers. Web Eden: support for computing as construction?. Proceedings of the 9th Koli Calling International Conference on Computing Education Research (ed. Pears and Schulte), Technical Report 2010-027, Information Technology, Uppsala University, Sweden, November 2010, 47-50 [108]
• Meurig Beynon, Constructivist Computer Science Education Reconstructed. HEA-ICS ITALICS e-Journal, Volume 8 Issue 2, June 2009, 73-90 [107]
• Antony Harfield, Meurig Beynon and Richard Myers. Web Eden and Moodle: an Empirical Modelling approach to web-based education. In Proceedings of the Eighth IASTED International conference on Web-Based Education, 16-18th March 2009, 272-278. [106]

2008

• Meurig Beynon, Russell Boyatt and Zhan En Chan. Intuition in Software Development Revisited. In Proceedings of 20th Annual Psychology of Programming Interest Group Conference, Lancaster University, UK, September 2008 (12pp) [105]
• Meurig Beynon, Antony Harfield and Mikko Vesisenaho. Contextualising Information and Communications Technology in Developing Countries. In Proceedings of 7th Annual Finnish/Baltic Sea Conference on Computer Science Education (Koli Calling 2007), Conferences on Research and Practice in Information Technology, Vol. 88, November 2007, 31-40. [104]

2007

• Meurig Beynon. Visualisation using Empirical Modelling principles and tools. AHRC ICT Methods Network Expert Workshop "From Abstract Data Mapping to 3D Photorealism: Understanding Emerging Intersections in Visualisation Practices and Techniques", June 19th 2007, Birmingham UK. [103]
• Chris Roe and Meurig Beynon. Dependency by definition in Imagine-d Logo: applications and implications. In Ivan Kalaš (ed.) Proc. of the 11th European Logo Conference 19-24 August 2007, Bratislava, Slovakia (11pp - published on CD ISBN: 978-80-89186-20-4): Abstracts, Faculty of Mathematics, Physics and Informatics, Comenius University, Bratislava, p75. [102]
• Steve Russ. Computing with Experience (abstract only). Models and Simulations 2, Tilburg, October 11-13, 2007. [101]
• Meurig Beynon and Antony Harfield. Lifelong Learning, Empirical Modelling and the Promises of Constructivism. Journal of Computers, Volume 2, Issue 3, May 2007, 43-55. [100]
• Steve Russ. Bernard Bolzano and the Making of Meaning in Mathematics (abstract only). The Fifth European Summer University (ESU'5), History and Epistemology in Mathematics Education, Prague, July 19-24, 2007. [099]
• Meurig Beynon and Steve Russ. Experimenting with Computing. Journal of Applied Logic 6 (2008), pp. 476-489. (Extended abstract as presented at European Computing and Philosophy (ECAP'07), Twente, The Netherlands, June 21-23, 2007.) [098]
• Steve Russ. Modelling in Mathematics: a common interest for Philosophy and History?. Perspectives in Mathematical Practice, Brussels, March 26-28 2007. [097]
• Meurig Beynon. Computing technology for learning - in need of a radical new conception. In Journal of Educational Technology & Society, 10 (1), 94-106, 2007. [096]

2006

• Meurig Beynon and Zhan En Chan. A conception of computing technology better suited to distributed participatory design . NordiCHI Workshop on Distributed Participatory Design, Oslo, Norway, October 2006. [095]
• Meurig Beynon. Mathematics and Music - Models and Morals. In Conference Proceedings, Bridges London: Mathematical Connections in Art, Music, and Science (eds. Sarhangi and Sharp), Tarquin Books, 2006, 437-444. [094]
• Meurig Beynon. Dissolving dualities in mind, music and mechanism (abstract only). International Conference on Music and Consciousness: Abstracts, The Department of Music, The University of Sheffield, July 2006, 10-11. [093]
• Meurig Beynon. Towards Technology for Learning in a Developing World. In Proc. IEEE 4th International Workshop on Technology for Education in Developing Countries, Iringa, Tanzania, July 2006, 88-92. [092]
• Meurig Beynon, Roderick R Klein, Steve Russ. Humanities' Computings (extended abstract only). In Digital Humanities 2006: 1st International Conference of the Alliance of Digital Humanities Organisations, Conference Abstracts, Paris-Sorbonne, France, July 2006, 17-20. [091]
• Russell Boyatt, Antony Harfield, Meurig Beynon. Learning about and through Empirical Modelling. In Proc 6th IEEE International Conference on Advanced Learning Technologies (ICALT 2006) Kerkrade, The Netherlands, July 2006, 662-666. [090]
• Meurig Beynon, Antony Harfield. Rethinking Life-long Learning: the Empirical Modelling Approach. In Proc 6th IEEE International Conference on Advanced Learning Technologies (ICALT 2006) Kerkrade, The Netherlands, July 2006, 854-858. [089]
• Meurig Beynon, Rody R.Klein. Métis meets Empirical Modelling: from ancient wisdom to emerging technology. In IST-Africa 2006 Conference Proceedings (eds. Paul and Miriam Cunningham), IIMC International Information Management Corporation ISBN: 1-905824-01-7, 2006 (13pp - published on CD). [088]
• W.M.Beynon, R.C.Boyatt and S.B.Russ. Rethinking Programming. In Proceedings IEEE Third International Conference on Information Technology: New Generations (ITNG 2006), April 10-12, 2006, Las Vegas, Nevada, USA 2006, 149-154. [087]
• W.M.Beynon and Chris Roe. Enriching Computer Support for Constructionism. In Eshaa Alkhalifa (ed.) Cognitively Informed Systems: Utilizing Practical Approaches to Enrich Information Presentation and Transfer, Idea Group Publishing, 2006, 209-233. [086]

2005

• W.M.Beynon, Antony Harfield and Ilkka Jormanainen. Varieties of Concretisation: an illustrative case-study. In Proceedings of 5th Annual Finnish/Baltic Sea Conference on Computer Science Education (Koli Calling 2005), December 2005, 153-6. [085]
• W.M.Beynon. Computational Support for Realism in Virtual Environments. In Proc 11th International Conference on Human-Computer Interaction (HCII 2005): Volume 10 - Internationalization, Online Communities and Social Computing: Design and Evaluation, Las Vegas, NV, 22-27 July 2005 (7pp. - published on CD). [084]
• W.M.Beynon and Antony Harfield. Empirical Modelling in Support of Constructionist Learning: a Case Study from Relational Database Theory. In Proc 5th IEEE International Conference on Advanced Learning Technologies (ICALT'05) Kaohsiung, Taiwan, July 2005, 396-8. (An extended version of this paper appears as CS-RR-412.) [083]
• W.M.Beynon, Steve Russ and Willard McCarty. Human Computing: Modelling with Meaning. Literary and Linguistic Computing 21(2), 2006, 141-157. [082]
• W.M.Beynon, Antony Harfield and Sunny Chang. Alternative model-building for the study of socially interactive robots. In Proc. AISB'05 Symposium on Robot Companions Hard Problems and Open Challenges in Human-Robot Interaction, University of Hertfordshire, UK, April 2005, 5-15. [081]

2004

• W.M.Beynon and Chris Roe. Computer support for constructionism in context. In Proc. of ICALT'04, Joensuu, Finland, August 2004, 216-220. [080]

2003

• W.M.Beynon, A.H.Bhalerao, Chris Roe and Ashley Ward. A computer-based environment for the study of relational query languages. In Proc. of the Teaching, Learning and Assessment in Databases Workshop, Coventry, UK, July 2003, 104-108. [079]
• W.M.Beynon. Radical Empiricism, Empirical Modelling and the nature of knowing. In (ed. Itiel E Dror) Cognitive Technologies and the Pragmatics of Cognition: Special Issue of Pragmatics and Cognition, 13:3, December 2005, 615-646.
  Also available online in Proceedings of the WM 2003 Workshop on Knowledge Management and Philosophy, Luzern, April 3-4, 2003, and as a book chapter in Dror, Itiel E. (ed.), Cognitive Technologies and the Pragmatics of Cognition, Benjamin, 2007, 155-184. [078]

2002

• Soha Maad. Novel Software System Development for Finance. Proceedings of Business Information Technology Conference BIT2002, Manchester, UK 2002. [077]
• Suwanna Rasmequan and S.B.Russ. Knowledge Modelling. Proceedings of the IASTED Conference on Applied Modelling and Simulation, MIT, Cambridge MA, November 2002. [076]
• P.Eronen, J.Jarvela, Chris Roe and M.Virnes. Using Empirical Modelling to simulate robotics in Kids Club. 2nd Annual Finnish/Baltic Sea Conference on Computer Science Education, (Koli Calling), Joensuu, Finland, 18-20 October, 2002, pp 63-68. [075]
• Chris Roe and W.M.Beynon. Empirical Modelling principles to support learning in a cultural context. In Proceedings of 1st International Conference on Educational Technology in Cultural Context, University of Joensuu, Finland, 2002, pp 151-172. [074]
• W.M.Beynon. Software evolution and the semantic relation: an Empirical Modelling perspective (abstract only). In Software Evolution and Evolutionary Computation Symposium Abstracts, University of Hertfordshire Computer Science Technical Report No 364, February 2002, University of Hertfordshire, Hatfield, UK. Online at http://homepages.stca.herts.ac.uk/~comqcln//EN/seec/abstracts/beynon.html [073]

2001

• W.M.Beynon. Liberating the Computer Arts. Proc DALI'2001, First International Conference on Digital and Academic Liberty of Information, University of Aizu, Japan, March 2001 (invited paper, 25pp). [072]
• Kiran Fernandes, Vinesh Raja, John Keast, W.M.Beynon, Pui Shan Chan and Mike Joy. Business and IT Perspectives on AMORE: a Methodology for Object-Orientation in Re-engineering Enterprises. In Systems Engineering for Business Process Change: New Directions, (ed P. Henderson) Springer-Verlag 2002, ISBN 1-85233-399-5, 274-297. [071]
• Soha Maad, W.M.Beynon and Samir Garbaya. Realising Virtual Trading: what price Virtual Reality?. 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. [070]
• W.M.Beynon, Chris Roe, Ashley Ward and Allan Wong. Interactive Situation Models for Cognitive Aspects of User-Artefact Interaction. Proc Cognitive Technology: Instruments of Mind, University of Warwick, August 2001, LNAI 2117, Springer-Verlag, 2001, p356-372, ISBN 3-540-42406-7. [069]
• 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. The Computer as Instrument. Proc Cognitive Technology: Instruments of Mind, University of Warwick, August 2001, LNAI 2117, Springer-Verlag, 2001, p476-489, ISBN 3-540-42406-7. [068]
• Michael Evans, W.M.Beynon, Carlos N Fischer. Empirical Modelling for the Logistics of Rework in the Manufacturing Process. Proc 16th Brazilian Congress of Mechanical Engineering, November 2001, p226-234, ISBN 85-85769-06-6. [067]
• Carlos N Fischer and W.M.Beynon. Empirical Modelling in Product Design. Proc 16th Brazilian Congress of Mechanical Engineering, November 2001, p218-225, ISBN 85-85769-06-6. [066]
• Chris Roe, W.M.Beynon and Carlos N Fischer. Empirical Modelling for the Conceptual Design and Use of Products. 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. [065]
• Carlos N Fischer and W.M.Beynon. Empirical Modelling of Products. 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. [064]

2000

• W.M.Beynon and S. Maad. Integrated Environments for Virtual Collaboration: an Empirical Modelling Perspective. Proceedings of the Fifth World Conference On Integrated Design & Process Technology, Texas 2000. [063]
• W.M.Beynon and S. Maad. Empirical Modelling of Real Life Financial Systems: The need for Integration of Enabling Tools and Technologies. Journal of Integrated Design and Process Science, Volume 6, Issue 1, January 2002, p43-58. First published in Proceedings of the Fourth World Conference On Integrated Design & Process Technology, incorporated into the Fifth World Conference, Texas 2000. [062]
• W.M. Beynon, S. Rasmequan and S. Russ. A New Paradigm for Computer-Based Decision Support. Decision Support Systems, vol 33 (2002) p127-142. [061]
• Y-C. Chen, S. Russ and W.M. Beynon. Participative Process Modelling. Proceedings of the IEEE SMC 2000 "Cybernetics Evolving to Systems, Humans, Organizations and their complex interactions", Tennessee, USA, October 8-11, 2000. [060]
• S. Rasmequan and S. Russ. Cognitive Artefacts for Decision Support. Proceedings of the IEEE SMC 2000 "Cybernetics Evolving to Systems, Humans, Organizations and their complex interactions", Tennessee, USA, October 8-11, 2000. [059]
• W.M.Beynon, A. Ward, S. Maad, A. Wong, S. Rasmequan, and S. Russ. The Temposcope: a Computer Instrument for the Idealist Timetabler. 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. [058]
• W.M.Beynon, S. Rasmequan and S. Russ. An Experience-Based Approach to Decision Support Systems. Position paper for IFIP Working Group 8.3, Working Conference on Decision Support Through Knowledge Management, Stockholm, Sweden, July 9-11, 2000. [057]
• Y-C. Chen, S.Russ and W.M. Beynon. Empirical Modelling for Business Process Reengineering: An Experience-Based Approach. Proceedings workshop on Perspective in Business Informatics Research (BIR-2000) Rostock, Germany, March 31- April 1, 2000. [056]
• W.M. Beynon, S. Rasmequan and S. Russ. The Use of Interactive Situation Models for the Development of Business Solutions. Proceedings workshop on Perspective in Business Informatics Research (BIR-2000) Rostock, Germany, March 31- April 1, 2000. [055]
• S. Rasmequan, C. Roe and S. Russ. Strategic Decision Support Systems: An Experience-Based Approach. Proceedings of the 18th IASTED Conference on Applied Informatics, Innsbruck, Austria, February 14-17 2000. [054]

1999

• W.M.Beynon and P-H. Sun. Computer-mediated communication: a Distributed Empirical Modelling perspective. Proceedings of CT'99, San Francisco, August 1999. [053]
• W.M.Beynon, R. Cartwright, P-H. Sun and A. Ward. Interactive Situation Models for Information Systems Development. Proceedings of SCI'99 and ISAS'99, Volume 2, 9-16, Orlando, USA July 1999. [052]
• W.M.Beynon, J. Rungrattanaubol and J. Sinclair. Formal Specification from an Observation-Oriented Perspective. 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.) [051]
• W.M.Beynon. Empirical Modelling and the Foundations of Artificial Intelligence. Computation for Metaphors, Analogy and Agents, Lecture Notes in Artificial Intelligence 1562, Springer, 322-364, 1999. [050]

1998

• W.M.Beynon and P-H.Sun. Empirical Modelling: a New Approach to Understanding Requirements. Proc. 11th International Conference on Software Engineering and its Applications, Vol.3, Paris, December 1998. [049]
• J.A.Allderidge, W.M.Beynon, R.I.Cartwright and Y.P.Yung. Enabling Technologies for Empirical Modelling in Graphics. Proc. Eurographics UK, 16th Annual Conference, 199-213, 1998. [048]

1997

• W.M.Beynon. Empirical Modelling for Educational Technology. Proc. Cognitive Technology '97, University of Aizu, Japan, IEEE, 54-68, 1997. [047]
• W.M.Beynon and R.I.Cartwright. Empirical Modelling Principles in Application Development for the Disabled. Proc. IEE Colloquium: Computers in the Service of Mankind: Helping the Disabled, IEE Digest No 97/117, 4/1-4/3, March 1997. [046]
• S.B.Russ. Empirical modelling: the computer as a modelling medium. The Computer Bulletin, Volume 39, Number 2, April 1997, pp. 20-22(3).

1996

• D.K.Gehring. Spreadsheets and programming. Proceedings of the First Psychology of Programming Interest Group Postgraduate Student Workshop, ISBN 1 874152 04 7, 1996. [045]
• D.K.Gehring, Y.P.Yung, R.I.Cartwright, W.M.Beynon and A.J.Cartwright. Higher-order constructs for interactive graphics in a definitive programming framework. Proc. 14th Eurographics UK Conference, 179-192, 1996. [044]

1990-1995

• W.M.Beynon and R.I.Cartwright. Empirical Modelling Principles for Cognitive Artefacts. Proc. IEE Colloquium: Design Systems with Users in Mind: The Role of Cognitive Artefacts, Digest No. 95/231, 8/1-8/8, December 1995. [043]
• W.M.Beynon, C.J.Sidebotham and Y.P.Yung. Computer-Assisted Jigsaw Construction: a Case-Study in Empirical Modelling. Proc. 5th Eurographics Workshop on Programming Paradigms for Graphics, Maastricht, 37-50, September 1995. [042]
• W.M.Beynon, P.E.Ness and S.B.Russ. Worlds Before and Beyond Words. Proc. VF '95, Warwick University, 1995. [041]
• W.M.Beynon, V.D.Adzhiev, A.J.Cartwright and Y.P.Yung. An Agent-oriented Framework for Concurrent Engineering. Proc. IEE Colloquium: Issues of Cooperative working in Concurrent Engineering, Digest 1994/177, 9/1-9/4, October 1994. [040]
• W.M.Beynon and Y.P.Yung. A Computer-Aided Script Generator for Computer Aided Design. Proc. Pacific Graphics'94 / CADDM'94, Vol. 2, 369-374, 1994. [039]
• W.M.Beynon, V.D.Adzhiev and A.A.Pasko. Interactive Geometric Modelling based on R-functions. Proc CSG'94: Set-Theoretic Solid Modelling: Techniques and Applications, Winchester, Information Geometers, 253-272, 1994. [038]
• W.M.Beynon. Agent-oriented Modelling and the Explanation of Behaviour. 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. [037]
• W.M.Beynon, P.E.Ness and Y.P.Yung. Applying Agent-oriented Design to a Sail Boat Simulation. Proc. ESDA 1994, Vol.6, 1-8, 1994. [036]
• W.M.Beynon, V.D.Adzhiev, A.J.Cartwright and Y.P.Yung. A New Computer-Based Tool for Conceptual Design. Proc. Workshop Computer Tools for Conceptual Design, Univ. of Lancaster, 171-188, 1994. [035]
• W.M.Beynon, V.D.Adzhiev, A.J.Cartwright and Y.P.Yung. A Computational Model for Multiagent Interaction in Concurrent Engineering. Proc. CEEDA'94, Bournemouth Univ., 227-232, 1994. [034]
• W.M.Beynon and M.S.Joy. Computer Programming for Noughts-and-Crosses: New Frontiers. Proc. PPIG'94, Open University, 27-37, January 1994. [033]
• W.M.Beynon. Programming as Human-Computer Interaction. Seminar notes for Manufacturing Group lecture and IBM visit, April 1993. [032]
• W.M.Beynon. A New Paradigm for Parallelism in Engineering Applications. Position paper submitted to EASE Workshop on Developing Parallel Engineering Applications, February 1993. [031]
• W.M.Beynon and A.J.Cartwright. Agent-Oriented Modelling for Engineering Design. Proc CAD '93, New Information Technologies in Science, Education and Business, Yalta, 49-53, May 1993. [030]
• W.M.Beynon and M.S.Joy. Modelling a Canal System using Definitive Principles. 1st National G.I.S. Conference, University of Keele, 140-149, 1993. [029]
• W.M.Beynon. New Paths for Programming in Theory and Practice. Paper prepared for a presentation at IBM Warwick, September 1992. [028]
• W.M.Beynon and S.B.Russ. The Interpretation of States: a New Foundation for Computation?. Proc. PPIG'92, Loughborough, January 1992. [027]
• W.M.Beynon and Y.P.Yung. Agent-oriented Modelling for Discrete-Event Systems. Proc IEE Coll. "Discrete-Event Dynamic Systems", Digest #1992/138, 1992. [026]
• W.M.Beynon, Y.P.Yung, A.J.Cartwright and P.J.Horgan. Scientific Visualization: Experiments and Observations. Proc. Eurographics W/S:Visualization in Scientific Computing, 157-173, 1992. [025]
• W.M.Beynon and A.J.Cartwright. Enhancing Interaction in Computer-Aided Design. Proc "Design and Automation" Conference, HK, 643-8, August 1992. [024]
• W.M.Beynon, I.Bridge and Y.P.Yung. Agent-oriented Modelling for a Vehicle Cruise Controller. Proc. ESDA Conf., ASME PD-Vol. 47-4, 159-165, 1992. [023]
• W.M.Beynon, Y.P.Yung, M.D.Atkinson and S.R.Bird. Programming Principles for Visualisation in Mathematical Research. Proc. Compugraphics '91: 1st Int Conf on Computational Graphics & Visualisation Techniques, 288-298. [022]
• W.M.Beynon. Computer Environments for Mathematical Research: a project report. University of Warwick, October 1990. [021]
• W.M.Beynon, A.J.Cartwright, S.B.Russ and Y.P.Yung. Programming Paradigms and the Semantics of Geometric Symbols (abstract). Proc. W/S "Visual Interfaces to Geometry" at CHI'90, Seattle, April 1990. [020]
• W.M.Beynon, S.B.Russ and Y.P.Yung. Programming as Modelling: New Concepts and Techniques. Proc ISLIP'90, Computing & Info Science Dept, Queen's Univ, Canada 1990. [019]
• W.M.Beynon and Y.P.Yung. Definitive Interfaces as a Visualisation Mechanism. Proc Graphics Interface '90, Canadian Inf Processing Soc, 285-292, 1990. [018]
• W.M.Beynon, M.T.Norris, R.A.Orr and M.D.Slade. Definitive specification of concurrent systems. Proc UKIT'90, IEE Conference Publications 316, 52-57, 1990. [017]
• W.M.Beynon. Parallelism in a definitive programming framework. Parallel Computing 89, Advances in Parallel Computing Vol 2, North-Holland, 425-430, 1990. [016]

1985-1989

• W.M.Beynon. Definitive programming as a framework for design. Proc. 3rd Eurographics ICAD Workshop, CWI Amsterdam, 1989. [015]
• W.M.Beynon and S.B.Russ. The Development and Use of Variables in Mathematics & Computer Science. The Mathematical Revolution Inspired by Computing, IMA Conf Series 30, 285-95, 1991. [014]
• W.M.Beynon. A definitive programming approach to the implementation of CAD software. 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. [013]
• W.M.Beynon and A.G.Cohn. Representing design knowledge in a definitive programming framework. IFIP WG 5.2 on Intelligent CAD, Cambridge, Sept 1988. [012]
• W.M.Beynon. Evaluating definitive principles for interactive graphics. New Advances in Computer Graphics, Springer-Verlag, 291-303, 1989. [011]
• W.M.Beynon, M.D.Slade and Y.W.Yung. Parallel computation in definitive models. CONPAR'88, British Computer Society Workshop Series CUP, 359-367, 1989. [010]
• S. B. Russ. Empirical modelling: the computer as a modelling medium. BCS Computer Bulletin, Volume 39, Number 2, April 1997, 20-22. [009]
• W.M.Beynon, K.S.H.Halstead and S.B.Russ. Definitions for the specification of educational software. Report for MESU, Dept of Education & Science, University of Warwick, 1988. [008]
• W.M.Beynon, M.T.Norris and M.D.Slade. Definitions for modelling and simulating concurrent systems. Proc. IASTED conference ASM'88, Acta Press, 1988. [007]
• W.M.Beynon and Y.W.Yung. Implementing a definitive notation for interactive graphics. New Trends in Computer Graphics, Springer-Verlag, 456-468, 1988. [006]
• W.M.Beynon. Definitive principles for interactive graphics. NATO ASI Series F, Vol 40, Springer-Verlag, 1083-1097, 1988. [005]
• W.M.Beynon and M.T.Norris. Comparison of SDL and LSD. Proc. SDL'87, ed R Saracco and P A J Tilanus, North-Holland, 201-209, 1987. [004]
• W.M.Beynon. The LSD notation for communicating systems. Computer Science Research Report 87, University of Warwick, 1986. (presented at 3rd British Colloquium for Theoretical CS, Leicester 1987). [003]
• W.M.Beynon. Paradigms for programming. Report on University Stirling Workshop on Functional and Logic Programming, Alvey Software Engineering Mailshot, December 1986. [002]
• W.M.Beynon. Definitive notations for interaction. Proc. HCI'85, ed Johnson and Cook, Cambridge University Press, 23-34, 1985. [001]