About the Lab
Research
Books
Publications
Events
Members
AIS Leaflet
Links

Journal papers

Year 2005

Evans, M.P., Newman, R., Putnam, T., Griffiths, D. (2005), As We May Search: How Search has adapted to the challenges of the Web, IEEE Internet Computing, accepted for publication in May 2005.

Liu, Kecheng (2005) Requirements Reengineering from Legacy Information Systems Using Semiotic Techniques, Systems, Signs and Actions - An International Journal on Communication, Information Technology and Work, 1(1): 36-61.

Sun L., and Y. Fu. (2005), Interoperability for eLearning services management and provision, Journal of World Wide Web: Internet and Web Information Systems, 8, 1-18.

Year 2004

Evans, M.P., and Walker, A. (2004), Using the Web Graph to Influence Application Behaviour, Internet Research, Vol. 14, Number 5, 2004 - ISSN 1066-2243

Sun, L., Y. Fu, and S.A. Williams (2004) E-learning Services Provision and Management, Lecture Notes in Computer Science, Advances in Web-Based Learning, Springer- Verlag Heidelberg, Vol 3143, IS SN: 0302-9743

Sun, L., J. Lubega, and S.A. Williams (2004) Design for a Learner-Oriented Tracking, Lecture Notes in Computer Science, Advances in Web-Based Learning, Springer- Verlag Heidelberg, Vol 3143, ISSN: 0302-9743

Sun, L., K. Ousmanou, and S.A. Williams (2004) Articulation of Learners Requirements for Personalised Instructional Design in E-Learning Services, Lecture Notes in Computer Science, Advances in Web-Based Learning, Springer- Verlag Heidelberg, Vol 3143, ISSN: 0302-9743

Year 2003

Davis, D.N., Y. Luo & K. Liu (2003) Combining KADS with Zeus to Develop a Multi Agent E-Commerce     Application, International Journal of Electronic Commerce Research, 3(3-4):315-335, Kluwer.

Evans, M.P., and Furnell, S.M. (2003), A Model for Monitoring and Migrating Web Resources, Campus-Wide Information Systems, Vol. 20, No. 2, 2003 - ISSN 1065-0741

Evans, M.P., and Furnell, S.M., 2003, “A Situation Theoretic Model of Memetics”, accepted for publication by the Journal of Memetics, 2003

Year 2002

C Gurr, (2002). Argument representation for dependable computer-based systems. In the Journal of Informal Logic, Vol. 22, No. 3 (2002), pp 293-321.

Liu, Kecheng, Lily Sun, Joseph Barjis, Jan L.G. Dietz (2002) Modelling Dynamic Behaviour of Business Organisations: extension of DEMO from a semiotic perspective, Knowledge-Based Systems Journal, 16(2), 101-111 (ISSN 09507051).

Liu, Kecheng, Lily Sun, Keith Bennett (2002) Co-Design of Business and IT Systems - Introduction by guest editors, special issue of Co-Design of Business and IT Systems, J. of Information Systems Frontiers, 4(3), 251-256.

Barjis, Joseph, Samuel Chong, Kecheng Liu, Jan L.G. Dietz (to appear 2002). Engineering Agent-Based E- Commerce Systems using the Semiotic Approach and the DEMO Transaction Concept, International Journal of Information Technology and Decision Making, issue 3 (ISSN: 0219-6220).

Luo, Yuan, Kecheng Liu and Darryl N Davis (2002). A Multi-Agent Framework for Decision Support in Stock Trading, IEEE Networking, 16(1), 20-27.

Year 2001

Evans, M. P., and Furnell, S.M., 2001, “The Resource Locator Service: Fixing a Flaw in the Web”, Computer Networks, Vol. 37 (3-4) (2001) pp307-330, November 2001

S. Furnell, M. Evans, and P. Bailey, 2001, “The Potential of Online Distance Learning: Addressing Academic and Institutional Concerns”, Quarterly Review of Distance Education, vol. 1, no. 4, pp281-291, 2001

Liu, Kecheng, Lily Sun, Alan Dix & Mohan Narasipuram (2001). Norm Based Agency for Designing Collaborative Information Systems, Information Systems Journal, 11, 229-247.

Uden, Lorna, Kecheng Liu, Gary Shank (2001) Linking radical constructivism and semiotics to design a constructivist learning environment, Journal of Computing in Higher Education, Spring 2001, 12(2), 34-51.

Sun, L. & K. Liu (2001). A method for interactive articulation of information requirements for strategic decision support, Information and Software Technology, 43(4), pp 247-26.

Year 2000

Evans, M.P., and Furnell, S.M., 2000. "Internet-based security incidents and the potential for false alarms", Internet Research, vol. 10, no. 3, pp238-245, 2000

Stamper, Ronald, Kecheng Liu, Mark Hafkamp & Yasser Ades (2000) Understanding the Role of Signs and Norms in Organisations, - a semiotic approach to information systems design, Journal of Behaviour and Information Technology, 19(1) 15-27.

Chong Samuel and Liu Kecheng (2000) The Social Aspects Neglected in E-Commerce, Ubiquity - an ACM
Magazine and Forum, 1(19).

Year 1991-1999

Evans, M.P., Phippen, A.D., Mueller, G., Furnell, S.M., Sanders P.W., and Reynolds, P.L., 1999, "Strategies for Content Migration on the World Wide Web", Internet Research, vol. 9, no. 1, 1999, pp25-34.

Furnell, S.M., Evans, M.P., Phippen, A.D., and Ali Abu-Rgheff, M., 1999, “Online Distance Learning: Expectations, Requirements and Barriers”, Virtual University Journal, vol. 2, no. 2, 1999, pp34-43(10).

C Gurr, (1999). Effective diagrammatic communication: Syntactic, semantic and pragmatic issues. Journal of Visual Languages and Computing, 10(4):317–342.

Liu, Kecheng & Tina Ong (1999) A Modelling Approach for Handling Business Rules and Exceptions, The Computer Journal, 42(3), 221-231.

Gilliband, D. & K. Liu (1998). Object Oriented Design: Quality and Metrics. Journal of Object Oriented Programming, Vol.10, No.8, January 1998, pp 56-59.

C Gurr, J Lee and K Stenning, (1998). Theories of diagrammatic reasoning: distinguishing component problems. Mind and Machines, 8(4):533–557.

Liu, Kecheng, Geoff Crum & Kristian Dines (1998). Design Issues in a Semiotic Description of User Responses to Three Interfaces, Int. Journal of Behaviour & Information Technology, Vol 17, No.3, pp175-184.

K Stenning and C Gurr, (1997). Human-formalism interaction: Studies in communication through formalism. Interacting with Computers, 9:111–128. Elsevier Science.

C Gurr, (1997). Knowledge engineering in the communication of information for safety critical systems. The Knowledge Engineering Review, 12(3):249–270.

C Gurr, (1995). Supporting formal reasoning for safety critical systems. High Integrity Systems, 1(4):385–396. Oxford University Press.

Stockman, A.G. & K. Liu (1996). Development Support: Supporting Work Groups During Software Development. GSE Journal, pp3-8, 1996-2.

Gillibrand, David & Kecheng Liu (1995). Specification of the Dynamics of Object Behaviour, Report on Object Analysis and Design, 2(2), pp28-32.

Stamper, Ronald; Liu, Kecheng; Kolkman, Martin; Klarenberg, Paul; van Slooten, Fjodor; Ades, Yaser & van Slooten, Cees (1991). From Database to Normbase, International Journal of Information Management, 11(67-84).

Conference papers

Year 2005

Evans, M.P., and Griffits, D. (2005), "Market-Driven Evolution of Ontologies for User-Query Classification", to appear in: Fifth International Network Conference, Samos Island, Greece, 5th – 7th July, 2005

Liu, K. and Fu, Y. (2005), Interoperability for Digital Learning Resource Management, The 5th IEEE International Conference on Advanced Learning Technologies, July 5-8, 2005, Kaohsiung, Taiwan.

Putnam, T., and Evans, M.P. (2005), "Agent-driven competitive markets as a basis for self-composing autonomic systems", to appear in: 4th Annual ISOneWorld Conference, March 30-April 1, Las Vegas, NV, USA, 2005

Tim French and Kecheng Liu (2005) Trust for E-commerce: probing trust semiosis using Morris' action as meaning paradigm, Ågerfalk PJ, Bannon L, Fitzgerald B (eds.), Proceedings of ALOIS*2005, Limerick, Ireland, 15–16 March 2005.

Tan Simon, Liu Kecheng (2005), Enterprise infrastructure planning-modeling and simulation using the problem articulation method, International Conference on Enterprise Information Systems (ICEIS).

Year 2004

Henk W. M. Gazendam, René J. Jorna and Kecheng Liu (2004), ORGANIZATIONAL SEMIOTICS, Round Table Workshop ‘An organizational semiotic view on interculturality and globalization', proceedings of the IASS 2004 Conference, Lyon http://sites.univ-lyon2.fr/semio2004.

Bonacin, Rodrigo, M. C. Baranauskas, K. Liu (2004) From Ontology Charts to Class Diagrams: Semantic Analysis aiding systems design, Proc. of the 6 th International Conf. On Enterprise Information Systems, 14-17 April 2004, Porto.

Evans, M.P., Newman, R., Millea, T.A., Putnam, T., and Walker, A. (2004) The Effects of Web Logs and the Semantic Web on Autonomous Web Agents, In: The 19th International Symposium on Computer and Information Sciences (ISCIS 2004), Kemer, Turkey 27-29 October 2004

Liu, K. and M. Hu (2004) A Semiotic Analysis of E-Policing Strategies in the United Kingdom, In W. Huang, K. Siau, K.K. Wei (eds), Digital Government: Strategies and Implementations in Developed and Developing Countries, Idea Group Publishing, USA.

Loucopoulos, P., Lyytinen, K., Liu, K., Gilb, T., and Maciaszek, L.A. (2004) Project Failures: Continuing Challenges for Sustainable Information Systems, Selected paper for the post conference book, the 6th International Conference on Enterprise Information Systems, Porto, Portugal.

Lubega, J., L. Sun and S.A. Williams (2004) An Effective Tracking Model for Personalised e-Learning, Proceedings of 3rd European Conference on e-Learning, Université Paris-Dauphine, Paris, France.

Sun Lily, Williams Shirley (2004), An instructional design model for constructivist learning, in Proceedings of World Conference on Multimedia, Hypermedia and Telecommunication, Lugano, Switzerland, pp 2476-2484.

Sun, L., Ousmanou, K. and Williams, S. (2004) Articulation of Learners Requirements for Personalised Instructional Design in E-Learning Services. in the proceedings of The Third International Conference of Web-based Learning (ICWL). Beijing.

Sun, L., Fu, Y. and Williams, S. (2004) E-learning Services Provision and Management. in the proceedings of The Third International Conference of Web-based Learning (ICWL). Beijing. pp209-216.

Tan, S., Liu, K. and Xie, Z. (2004) A Semiotic Approach to Organisational Modelling Using Norm Analysis, 6th International Conference on Enterprise Information Systems, Porto, Portugal, April 14-17.

Walker, A., and Evans, M.P. (2004) "A Random Walk Web Crawler with Orthogonally Coupled Heuristics", In: Proceedings of the Fourth International Network Conference (INC 2004), Plymouth, UK, 6-9 July 2004

Williams, S.A., K. Baker and L. Sun (2004) Design Principles for Constructing Reusable e-Learning Material based on Traditional Practice, Proceedings of 3rd European Conference on e-Learning, Université Paris-Dauphine, Paris, France.

Williams, S.A, K. Baker and L. Sun el at. (2004) Example Uses of a Learning Object, Proceedings of the 3rd International Conference on Web-Based Learning (ICWL2004), Beijing, China, pp. 51-59.

D Winterstein, A Bundy, C Gurr and M Jamnik, (2004). An experimental comparison of diagrammatic and algebraic logics. In the proceedings of Diagrams 2004: 3rd International Conference on Diagrammatic Representation and Inference. Springer.

Year 2003

K Clarke, J Hughes, D Martin, M Rouncefield, I Sommerville, C Gurr, M Hartswood, R Proctor, R Slack and A Voss, (2003). Dependable red hot action. In proceedings of the Eighth European Conference on Computer Supported Cooperative Work (ECSCW '03), pages 61–80. Kluwer.

Fu, Y., Liu, K.(2003) E-learning as a Process of Knowledge Construction--a constructivist and semiotic
perspective
, Warwick, UK, April 9-11.

Tan, S., Liu, K. (2003) Requirement Engineering for Organisational Modelling, Proceeding UK Academy For Information Systems, United Kingdom, April 9-11.

Sun, L., S.A. Williams and K. Liu (2003) Knowledge Construction in E-Learning: Designing an E-Learning Environment, Proceedings of the 5th International Conference on Enterprise Information Systems, Angers, France, Vol. 4, pp, 111-118.

Liu K. (2003) Incorporating Human Aspects into Grid Computing for Collaborative Work, Keynote at the ACM Workshop on Grid Computing and e-Science, 21 June, 2003, San Francisco.

Sun, L., S.A. Williams, K. Ousmanou and J. Lubega (2003) Building Personalised Functions into Dynamic Content Packaging to Support Individual Learners, Proceedings of The 2nd European Conference on e-Learning, Glasgow, pp. 439-448.

Johns, K., S.A. Williams, K. Baker and L. Sun (2003) Uses of a Learning Object", presented at TEL 2003: Technology-enhanced Learning, Milan, Italy, pp. 1-7.

Year 2002

Baranauskas, M.C.C., Salles, J., Liu, K. (2002) Analysing Communication in the Context of a Software Production Organisation. 4th International Conference on Enterprise Information Systems, Ciudad Real, Spain, April 3-6.

Evans, M.P., and Furnell, S.M, 2002, “WebRUM: A Model for Measuring Web-Wide Resource Usage”, Evans, M.P., and Furnell, S.M., in: Proceedings of the Third International Network Conference (INC 2002), Plymouth, UK, pp11-21, 16-18 July 2002

Evans, M.P., and Furnell, S.M., 2002, “A Web-Based Resource Migration Protocol Using WebDAV”, in: Proceedings of the Eleventh International ACM World Wide Web Conference, Honolulu, Hawaii, USA, pp263 – 271, 7-11 May 2002

C Gurr and G Hardstone, (2002). Modeling organisational practice in user requirements. In the proceedings of the SAC 2002: ACM Symposium on Applied Computing, pp 716-721. ACM Press.

Liu, K. and L. Sun (2002) Applying Semiotics in Constructive Learning, Proceedings of International Conference on Teaching for 21 st Century, Macau.

Hanlon, S. and L. Sun (2002) Building an Application Service Provider (ASP) e-business architecture, Proceedings of The International Conference on Communication Systems, Networks and Digital Signal Processing.

Sun, L. and S. Peters (2002) Filling the gap between information architecture and information requirements for e-businesses, Proceedings of International Conference on E-Business (ICEB2002), Beijing, pp. 245-250, ISBN 7-81-13-975-4.

Lawton, S. and L. Sun, A Design of Schema for Business Object Re-Use in E-Enterprise, Proceedings of International Conference on E-Business (ICEB2002), Beijing, 2002, pp. 181-188, ISBN 7-81-13-975-4.

Hanlon, S. and L. Sun (2002) A Framework for the Dynamic Alignment of Strategies, Proceedings of  4 th International Conference on Enterprise Information Systems (ICEIS2002), Spain, Vol 2, pp. 752-757.

Hoyle, I. and L. Sun (2002) A Design of XML Framework for e-Business Applications, Proceedings of 4 th International Conference on Enterprise Information Systems (ICEIS2002), Spain, Vol 2, pp. 922- 928.

D Winterstein, A Bundy, C Gurr and M Jamnik, (2002). Using animation in diagrammatic theorem proving. In Diagrams 2002: 2nd International Conference on Diagrammatic Representation and Inference, pages 46–60. Springer: LNAI 2317.

Year 2001

Chong, Samuel, Michael, Heng, Kecheng Liu (2001) The Social Consequences of Using Agent-Based Systems, The Pacific Asia Conference on Information Systems (PACIS2001), Association of Information Systems (AIS), ACM SIGMIS, June 20-22, Seoul, Korea.

Ling, Bin, Colin Allison, Kecheng Liu (2001), An Agent-Based Knowledge Sharing Model for Information Retrieval on the Internet, Proceedings of ICEIS - International Conference of Enterprise Information Systems, July (7-10), Setúbal, Portugal.

Chong, S., K. Liu, J.L.G. Dietz & J. Barjis (2001) Workflow modeling and simulation using semantic analysis and petri-nets, The 4th International EUROSIM Congress: 'SHAPING FUTURE WITH SIMULATION', June 26-29, 2001, Delft, The Netherlands.

C Gurr and G Hardstone, (2001). Implementing configurable information systems: A combined social science and cognitive science approach. In the proceedings of CT'2001: 4th International conference on Cognitive Technology, pp 391-404. Springer: LNAI 2117.

Sun, L., S. Chong and K. Liu (2001) Articulation of Information Requirements in E-Business Systems, in E-Commerce track, E-Commerce Systems: Architecture, Models, and Development Methodologies, Proceedings of Americas Conference on Information Systems (AMCIS2001), Boston, USA, pp. 513-521.

Yuan Luo, Darryl N Davis, and Kecheng Liu (2001) Information and Knowledge Exchange in a Multi-Agent System for Stock Trading, The Enterprise Networking, Applications and Services Conference, Sponsored by IEEE Communications Society and the International Engineering Consortium, 4-6 June 2001, Atlanta, GA, USA, pp47-55, ISBN 0-7803-7342-1.

Yuan Luo, Darryl N Davis, and Kecheng Liu (2001) Using KADS to Design a Multi-Agent Framework for Stock Trading, Proceedings of International Conference on Artificial Intelligence (IC-AI'2001), Las Vegas, USA, June 25-28, 2001, pp. 1149-1156.

Year 2000

Furnell, S.M., Evans, M.P., and Dowland, P.S., 2000, “Developing tools to support online distance learning”, Proceedings of Euromedia 2000, Antwerp, Belgium, 8-10 May 2000, pp199-206.

C Gurr and K Tourlas, (2000). Towards the principled design of software engineering diagrams. In Proceedings ICSE 2000: 22nd International Conference on Software Engineering, pages 509–518. ACM Press.

Yeung, Leo, Lily Sun, Kecheng Liu (2000) A framework for E-Commerce Strategy, in Qun Jin, Jie Li, Nan Zhang, Jingde Cheng, Clement Yu, Schichi Noguchi (eds), Emerging Technologies and New Challenges in Information Society - the proceedings of international conference IS 2000, University Aizu and IEEE Japan Council, Aizu-Wakamatsu City, Japan, pp14-21.

Chong, Samuel & Kecheng, Liu (2000) Why Didn't Someone Tell Me about My Responsibilities? The DEON Methodology for Modelling Agent-Based E-Commerce Systems, Third UK Workshop on Multi-Agent Systems sponsored by FIPA, Hewlett Packard, EPSRC, St. Catherine's College, Oxford University 14-15 December 2000.

K. Liu, S. Zhou & H. Yang (2000), Quality Metrics of Object-Oriented Design for Software Development and Re-development, Proceedings of the 1st Asis-Pacific Conference on Quality Software , (eds) T.H. Tse & T.Y. Chen, the University of Hong Kong, and IEEE Hong Kong Section, October 30-31, pp127-138.

Z. Chen, B. Xue, K. Liu H. Yang & J. Zhang (2000). An Approach to Analysing Dependency of Concurrent Programs, Proceedings of the 1st Asis-Pacific Conference on Quality Software, (eds) T.H. Tse & T.Y. Chen, the University of Hong Kong, and IEEE Hong Kong Section, October 30-31, pp39-43.

Chong, S. & Liu, K. (2000). "A Semiotic Approach to Improve the Design Quality of Agent-Based Information Systems", 3rd International Workshop in Organisational Semiotics, Stafford, England.

Liu, Kecheng, Lily Sun, Joseph Barjis & Jan Dietz (2000) Capturing Organisational Behaviour with Dynamic Modelling, 16th IFIP World Congress: International Conference on Information Technology for Business Management, 21-25 August, Beijing, pp226-233.

He, Runzhuo, Kecheng Liu (2000) An Integrated Secure Trading Protocol for Electronic Commerce, 16th IFIP World Congress: International Conference on Communication Technology, 21-25 August, Beijing, pp570-581.

Liu, Kecheng, Yuan Luo & Darryl Davis (2000) A Multi-Agent Framework for Stock Trading, 16th IFIP World Congress: International Conference on Intelligent Information Processing, 21-25 August, Beijing, pp470-477.

Sun, L., R. Newton, K. Liu (2000) Interactive Articulation of Information Requirements for Strategic Decision Support, 16th IFIP World Congress: International Conference on Information Technology for Business Management, 21-25 August, Beijing, pp717-725.

Filipe, Joaquim, Kecheng Liu (2000) The EDA Model: an organisational semiotics perspective to norm-based agent design, Workshop on Norms and Institutions in Multi-agent Systems, in conjunction with Autonomous Agents, Barcelona, 3-7 June.

Chong, Samuel, Kecheng Liu (2000) A Semiotic Approach for Modelling and Designing Agent-Based Information Systems based on Roles and Norms, Second International Bi-Conference Workshop on AGENT-ORIENTED INFORMATION SYSTEMS (AOIS-2000), 5-6 June 2000, Stockholm (Sweden) at CAiSE*00 (http://www.aois.org/). Also in: Agent-Oriented Information Systems 2000. Proceedings of AOIS-2000 at CAiSE*00. iCue Publishing, Berlin, ISBN: 3-8311-0093-4.

Runzhuo He, Kecheng Liu (2000) Towards A Secure and Complete Protocol for Electronic Commerce, Proceedings of 2nd International Conference on Enterprise Information Systems, 5-7 July 2000, Stafford, pp435-441.

Peter Hoornaert, Kecheng Liu (2000) Visual Representation of Artificial Stimulation of Nerves and Muscle, Proceedings of the 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI2000), Orlando, USA, in July 23-26, 2000, vol x, pp302-307. (Received the Award of the Best Paper in the session SCI in Biology and Medicine III).

Filipe, Joaquim, Kecheng Liu & Bernadette Sharp (2000) Organisation Simulation Based on Normative Knowledge and Role Modelling, AAAI Spring Symposium workshop "Bringing Knowledge to Business Processes", Technical Report SS-00-03, Stanford, March 2000, pp.136-138.

Liu, Kecheng, Lily Sun (2000) Capturing Temporality and Intentionalilty in Information Systems, Proceedings of the 5th International Workshop on the Language-Action Perspective on Communication Modelling (LAP2000), Mareike School and Christoph Quix (eds), 14-16 September 2000, Aachen, pp77-93.

Sun, L. and R.W. Newton (2000) MITAIS for Articulation of Information Requirements in Strategic Decision Support. In: Proceedings of Americas Conference on Information Systems (AMCIS2000) , Californis, USA, Vol. 1, pp.48-53.

Feng, Junkang, Kecheng Liu, Abel Usoro (2000) A mechanism for the establishment and representation of the informational content of a data schema, BIT2000, Manchester.

Chong, Y.C. & K. Liu (2000) A Semiotic Approach to the Design of Agent-Mediated E-Commerce, International Conference on Information Systems Concepts: An Integrated Discipline Emerging, IFIP WG8.1, University of Leiden, Leiden, 20-22 Sept 1999. In E. D. Falkenberg, K. Lyytinen, A.A. Verrijn-Stuart (eds), Kluwer Academic Publishers, Boston, pp95-114.

Year 1991-1999

Alderson, A., J. Yap, K. Liu & H.U. Shah (1999), Relating Organisational Semiotics, Process Modelling and Stakeholder Viewpoints to Elucidate and record Requirements. Proceedings of Systems Modelling for Business Process Improvement Workshop, 29-31 March 1999, University of Ulster, Coleraine Campus, Northern Ireland, 168-184. (Artech House).

Filipe, Joaquim, Bernadette Sharp, Kecheng Liu (1999) An Intelligent Agent-Based Methodology for Legacy Information Systems Integration. In Laurence Brooks & Chris Kimble (eds), Information Systems - The next generation, Proceedings of the 4th UKAIS'99 conference, 7-9 April 1999, York, 297-306, ISBN 007 709 5588.

Filipe, Joaquim, Kecheng Liu, Bernadette Sharp (1999) Can Agents Model Organisational Roles? Proceedings of the IASTED International Conference on Artificial Intelligence and Soft Computing, August 9-12, 1999, Honolulu, Hawaii.

C Gurr and K Tourlas, (1999). Formalising pragmatic features of graph-based notations. In 15th IEEE Symposium on Visual Languages (VL'99), pages 220–227. IEEE Computer Society.

Liu, Kecheng, Albert Alderson & Zubair Qureshi (1999) Requirements Recovery of Legacy Systems by Analysing and Modelling Behaviour, Proceedings of the International Conference on Software Maintenance, IEEE Computer Society, Los Alamitos, pp3-12.

Reynolds, P.L., Furnell, S.M., Evans, M.P., and Phippen, A.D, 1999, “A Hyper Graphics Markup Language for optimising WWW access in wireless networks”, Proceedings of Euromedia 99, Munich, Germany, 25-28 April 1999, pp136-144.

Evans, M.P., Phippen, A.D., Mueller, G., Furnell, S.M., Sanders P.W., and Reynolds, P.L., 1998, “Content Migration on the World Wide Web”, in Proceedings of the first International Network Conference 1998 (INC '98), Plymouth, UK, 6-9 July 1998, pp156-161.

Evans, M.P., Furnell, S.M., Phippen, A.D., Reynolds, P.L., 1998, “Mobility Considerations for Integrated Telecommunications Service Environments”, in Proceedings of IEE Sixth International Conference on Telecommunications, Edinburgh, UK, 29 March-1 April 1998, pp101-105.

C Gurr, (1998). Theories of visual and diagrammatic reasoning: Foundational issues. In G Allwein, K Marriot, and B Meyer, editors, AAAI Fall Symposium: Formalizing Reasoning with Visual and Diagrammatic Representations. AAAI Press.

C Gurr, (1998). Software architectures in industrial systems: An empirical study. In D E Perry, J N, and Magee, editors, 3rd International Software Architecture Workshop. ACM Press.

Liljeberg, M., Evans, M.P., Furnell, S.M., Maumon, N., Raatikainen, K., Veldkamp, E., Wind, B., and Trigila, S., 1997, “Using CORBA to Support Terminal Mobility”, in Proceedings of TINA97 Conference, Santiago, Chile, 17-21 November 1997, pp59-67, (http://www.computer.org/proceedings/tina/8335/8335toc.htm).

Evans, M.P., Phippen, A.D., Furnell, S.M., Reynolds, P.L., 1997 “Resource Adaptation in the TINA Service Environment”, presented at IEE Fourth Communication Networks Symposium, Manchester, UK, 7-8 July 1997, pp10-13.

Evans, M.P., Kettunen, K.T., Blackwell, G.K., Furnell, S.M., Phippen, A.D., Hope S., and Reynolds, P.L., 1997, “Network Resource Adaptation in the DOLMEN Service Machine”, in Intelligence in Services and networks: Technology for Co-operative Competition, Mullery et al. (eds.), Springer, 1997, pp25-34.

Sun, L. and R. W. Newton (1997) On-Line Configuration of Information Requirements for Executive Information Systems. Proceedings of the Thirtieth Annual Hawaii International Conference on System Sciences , Hawaii, USA, Vol. 3, pp. 530-538.

C Gurr, (1996). Verifiable partial specifications for logic programming. In Proceedings of the 1996 Symposium on Applied Computing, pages 374–379. ACM Press.

K Stenning and C Gurr, (1996). Formal methods and human communication. In C R Roast and J I Siddiqi, editors, Proceedings of BCS-FAC Workshop on Formal Aspects of The Human Computer Interface. Springer.

Sun, L. and R.W. Newton (1995) Towards a Knowledge-Based Strategic Information System . Proceedings of Pan Pacific Conference on Information Systems, Singapore, 1995, pp. 244-247, ISBN: 9971-62-389-7.

C Gurr, (1993). Specialising the Ground Representation in the Logic Programming Language Godel. In Proceedings of the Third International Workshop on Logic Program Synthesis and Transformation. Springer Verlag.

Timminga, E. and L. Sun (1991) CONTEST: A Computerised Test Construction System. In: J. Hoogstraten and W.J. van der Linden (eds), Onderwijsresearchdagen'91, Stichting Centrum voor Onderwijsonderzoek, Amsterdam University, Amsterdam, pp. 69-76.

Book chapters

A Bowers and C Gurr, (1995). Towards fast and declarative meta-programming. In K R Apt and F Turini, editors, Meta-logics and Logic Programming, chapter 6, pages 137–166. MIT Press.

Evans, M.P., and Furnell, S.M., 2005, "A Model for Managing and Migrating Web Resources", Best Technology Practices in Higher Education, pp177-192, Information Today Inc., New Jersey.

Furnell, S.M., Warren, M.J. and Evans, M.P., 2001, “The ISHTAR World Wide Web Dissemination and Advisory Service for Healthcare Information Security”, in Implementing Secure Healthcare Telematics Applications in Europe. The ISHTAR Consortium (Eds). Technology and Informatics 66, IOS Press 2001: pp249-280.

M A Gilbert, F Grasso, L Groarke, C Gurr, and J M Gerlofs, (2003) The persuasion machine: argumentation and computational linguistics. In C Reed and T J Norman, editors, Argumentation Machines: New Frontiers in Argument and Computation. Kluwer.

C Gurr, (2002). Combining semantic and cognitive accounts of diagrams. In M Anderson, B Meyer, and P Olivier, editors, Diagrammatic Representation and Reasoning. Springer Verlag.

C Gurr, (1998). On the isomorphism, or lack of it, of representations. In K Marriot and B Meyer, editors, Visual Language Theory, chapter 10. Springer Verlag.

W. Huang , K. Siau, K. K. Wei (eds), Digital Government: Strategies and Implementations in Developed and Developing Countries, Idea Group Publishing, Hershey, isbn 1591 40349-9, pp 373-393

Web Standards

Evans, M.P., Furnell, S.M., Phippen, A.D., Reynolds, P.L., Lilley, N., Hammac, J., 1998, “Hyper Graphics Markup Language (HGML)”, W3C Note, 19 June 1998, http://www.w3.org/TR/NOTE-HGML.

Patent

Patent Number: WO99/05613, Title: Data Communications, Date granted: 4th February 1999.