Chown, Tim, Roure, David De, Field, Julian and Thompson, Mark , Read, Jon. (ed.) (1999) Working Paper on: Secure Internet issues for the HE Community JISC Technology Applications Programme

Field, Jules (2004) MailScanner: A User Guide And Training Manual , MailScanner

Field, Julian , Backhouse, Gaynor (ed.) (2007) MailScanner: a case study in sustainability. OSS Watch.

Wu, Sisi, Mahmoodi, Sasan, Darker, Angela, Vollmer, Brigitte, Lewis, Emma and Liljeroth, Maria (2017) Feature extraction and classification to diagnose hypoxic-ischemic encephalopathy patients by using susceptibility-weighted MRI images. In Medical Image Understanding and Analysis. MIUA 2017. vol. 723, Springer. 11 pp . (doi:10.1007/978-3-319-60964-5_46).

Luo, P.P., Xu, H.S., Chen, Y.W. and Wu, S.P. (2018) Periodontal disease severity is associated with micronutrient intake. Australian Dental Journal, 63 (2), 193-201. (doi:10.1111/adj.12606).

Brejza, Matthew, Sowman, Jonathan, Hooker, Jeffrey and Oakley, David (2016) Digital Testbeds for Undergraduate Microelectronics Teaching - Design Files.

Brejza, Matthew, Hooker, Jeffrey, Sowman, Jonathan, Oakley, David and Maunder, Robert (2016) Design of digital testbeds for undergraduate microelectronics teaching. 11th European Workshop on Microelectronics Education, Southampton, United Kingdom. 10 - 12 May 2016. 4 pp .

Roper, Bernard, Chapman, Adriane, Martin, David and Morley, Jeremy (2018) A graph testing framework for provenance network analytics. In Provenance and Annotation of Data and Processes - 7th International Provenance and Annotation Workshop, IPAW 2018, Proceedings. vol. 11017 LNCS, Springer-Verlag. pp. 245-251 . (doi:10.1007/978-3-319-98379-0_29).

Roper, Bernard, Chapman, Adriane, Martin, David and Cavazzi, Stefano (2021) Mapping Trusted Paths to VGI. Glavic, Boris, Braganholo, Vanessa and Koop, David (eds.) In Provenance and Annotation of Data and Processes - 8th and 9th International Provenance and Annotation Workshop, IPAW 2020 + IPAW 2021, Proceedings. vol. 12839 LNCS, Springer Science and Business Media Deutschland GmbH. pp. 207-210 . (doi:10.1007/978-3-030-80960-7_13).

Nadesakumar, A, Crowder, R M and Harris, C. J. (1995) Advanced system concepts for future civil aircraft-an overview of avionic architectures. Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering, 209, 265-272. (doi:10.1243/PIME_PROC_1995_209_300_02).

Crowder, Richard M., Wills, Gary B., Heath, Ian and Hall, Wendy (1997) An Open Hypermedia Solution to Information Overload in Industrial Applications. IEE colloquium on IT Strategies for Information Overload..

Hall, Wendy, Weal, Mark J., Heath, Ian, Wills, Gary B. and Crowder, Richard M. (1997) Flexible Interfaces in the Industrial Environment. International Conference Managing Enterprises- Stakeholders, Engineering, Logistics and Achievement (ME-SELA'97) Loughborough, UK.. 453--460 .

Wills, Gary B., Heath, Ian, Crowder, Richard M. and Hall, Wendy (1997) Evaluation of a user interface developed for industrial applications University of Southampton

Wills, Gary B., Heath, Ian, Crowder, Richard M. and Hall, Wendy (1997) Hypermedia Authoring in an Industrial Environment University of Southampton

Wills, Gary B., Crowder, Richard M., Heath, Ian and Hall, Wendy (1998) Industrial Hypermedia Design. s.n.

Wills, Gary B., Heath, Ian, Crowder, Richard M. and Hall, Wendy (1997) Factory Information Resource Management: Industrial Strength Hypermedia? s.n.

Wills, Gary B., Heath, Ian, Crowder, Richard M. and Hall, Wendy (1998) Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application. s.n.

Wills, Gary B., Heath, Ian, Crowder, Richard M. and Hall, Wendy (1998) A Model for Authoring and Costing an Industrial Hypermedia Application. s.n.

Crowder, R M, Wills, G B, Heath, I and Hall, W (1997) The Application of Hypermedia in the Factory Information Environment. Proceedings of Factory 2000, 5th IEE Conference on Factory Automation. 411--415 .

Crowder, Richard M., Wills, Gary B., Heath, Ian and Hall, Wendy (1998) Hypermedia Information Management: A New Paradigm. 3rd International Conference on Managing Innovation in Manufacture, University of Nottingham, 6-8 July 1998, pages 329-334.

Crowder, Richard M., Hall, Wendy, Heath, Ian and Wills, Gary B. (1999) Integration of Manufacturing Information using Open Hypermedia. Computers in Industry, 38, 31--42.

Knudsen, T, Auriol, E, Rowe, R, Scott, C J, McKendrick, R J and Crowder, R (2000) HELPMATE Final Project Report IT Innovation

Auriol, E, Crowder, R M, McKendrick, R J, Rowe, R and Knudsen, T (1999) Integrating Case-Based Reasoning and Hypermedia Documentation: An Application for the Diagnosis of a Welding Robot at Odense Steel Shipyard. Althoff, K -D, Bergmann, R and Branting, L K (eds.) International Conference on Case-Based Reasoning (ICCBR'99), Seeon Monastery, Munich, Germany. 26 - 29 Jul 1999.

Auriol, E, Crowder, R, McKendrick, R J, Rowe, R and Knudsen, T (1999) Integrating case-based reasoning and hypermedia documentation: an application for the diagnosis of a welding robot at Odense steel shipyard. Engineering Applications of Artificial Intelligence, 12, 691-703.

Crowder, Richard M, Hall, Wendy, Health, Ian and Wills, Gary (2000) Industrial strength hypermedia : Design, Implementation and Application. International Journal of Computer Integrated Manufacturing, 13 (3), 173-86.

Crowder, R M, McKendrick, R, Rowe, R, Auriol, E and Tellefsen, M (2000) Maintenance of Robotic Systems using Hypermedia and Case-Based Reasoning. In Proceedings - IEEE International Conference on Robotics and Automation (ICRA). vol. 3, IEEE. pp. 2422-2427 . (doi:10.1109/ROBOT.2000.846390).

Crowder, R M (1977) Static four quadrant control of the three phase induction motor. University of Leicester, Doctoral Thesis.

Crowder, Richard M (1995) Electric Drives and their Control: Ist (Mongraphs in Electrical and Electronic Engineering), Clarendon Press

Crowder, R M (1998) Electric Drives and their Control: Ist (Monographs in Electrical and Electronic Engineering), Clarendon Press

Crowder, R M (1988) Sensors - Touch, Force and Torque Measurement. In, Dorf, R and Nof, S (eds.) International Encyclopedia of Robotics. John Wiley, pp. 1544-63.

Crowder, R M (1990) Sensors - Touch, Force and Torque Measurement. In, Dorf, R (ed.) Concise International Encyclopedia of Robotics. Applicationa and Automation. John Wiley, pp. 896-902.

Crowder, R. and Maxwell, C. (1998) Simulation of a prototype electrically powered integrated actuator for civil aircraft. Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering, 211 (G4), 381-94.

Crowder, R.M., Fateh, M.M., Chappell, P.H. and Whatley, D.R. (1999) Drive issues in articulated end-effectors. 2nd Intn. Conf. Climbing Walking Robots,. pp. 679-87 .

Crowder, R.M., Hall, W., Heath, I., Bernard, R. and Gaskell, D. (1996) A hypermedia maintenance information system. Computing & Control Engineering Journal, 7 (3), 121-128.

Crowder, R.M., Hall, W., Heath, I. and Wills, G. (1998) Factory information provision using hypermedia. International Journal of Computer Applications in Technology, 11 (6), 422-53.

Crowder, R.M. and Hall, W. (1996) Factory information using hypermedia. Proceedings of 2nd IInternational Conference on Managing Integrated Manufacturing. pp. 283-8 .

Crowder, R.M. and Hall, W. (1996) Industrial information resource management. Proc.of conf.on integration in manufacturing. pp. 206-14 .

Crowder, R.M., Nadesakumar, A. and Wills, G. (1996) Electrically Powered Integrated Control Actuation. s.n.

Crowder, R.M. (1996) Electrically powered actuation for civil aircraft. IEE Symposium on Actuator Technolgy: current practice and new developments.

Crowder, R.M. (1998) The authoring and delivery challenges for industrial strength hypermedia. IEE Colloquium on Hypermedia in Manufacturing.

Crowder, R.M. (1998) Industrial strength hypermedia. Manufacturing Engineer, 77 (6), 257-60.

Crowder, R.M. (1998) Whole Arm Manipulator: Upgrade Assessment s.n.

Crowder, R.M., Dubey, V.N., Chappell, P.H. and Whatley, D.R. (1999) A multi-fingered end effector for unstructured environments. Proc IEEE, Intn. Conf. Robotics and Automation,. pp. 3038-43 .

Dubey, V.N., Crowder, R.M., Chappell, P.H. and Whatley, D.R. (1997) A Robotic End Effector for Unstructured Environments. Proceedings of the American Nuclear Society's 7th Topical on Robotics and Remote Systems. pp. 452-60 .

Dubey, V.N., Crowder, R.M. and Chappell, P.H. (1999) Optimal object grasp using tactile sensors and fuzzy logic. Robotica, 17, 685-93.

Hall, W., Crowder, R.M., Heath, I. and Bernard, R. (1996) The application of large-scale hypermedia information systems in manufacturing industry. In 1995-6 Research Journal of Department of Electronics and Computer Science, Southampton.

Hall, W. and Crowder, R.M. (1997) Multimedia information systems in manufacturing. IMechE 150th Anniversary Conference.

Heath, I., Hall, W., Crowder, R.M. and Wills, G. (1999) The application of a hypermedia research system in industry. 10th ACM conf. on Hypertext and Hypermedia, Darmstadt. pp. 203-4 .

Heath, Ian, Wills, Gary, Crowder, Richard, Hall, Wendy and Ballantyne, Jim (2000) Towards a new authoring methodology for large scale hypermedia applications. Multimedia Tools and Applications, 12 (2/3), 129-44.

Crowder, Richard, Hall, Wendy, Wills, Gary, Humpreys, Dave and Ash, Jon (2001) Hypermedia Information Systems in Industry. Computing & Control Engineering Journal, 12 (1), 21-28.

Crowder, R and Hall, W (1992) The Use of Interactive Media as a Training and Operational Interface in the Advanced Factory. Proceedings of the Third International Conference on Factory 2000, University of York. pp. 106-110 .

Hall, W, Crowder, R, Bernard, R and Health, I (1993) Use of Open Hypermedia Systems for Maintenance in Large-Scale Industrial Plant. Osterbye, K (ed.) Proceedings of Hypertext'93 Workshop on Hypertext in Engineering, Seattle, Washington. Published as IES TEchnical REport 93-2030, Department of Mathematics and Computer Science, Aalborg University, Denmark.

Crowder, RM, Hall, W, Bernard, R and Heath, I (1993) Open Hypermedia Systems for Training and Maintenance. European Conference on Automation and Robotic Training, London.

Crowder, RM and Hall, W (1995) Open Hypermedia Systems as an Operational Interface to Engineering Systems. Proceedings of the 6th Topical on Robotics and Remote Systems, Monterey California.

Bernard, R, Crowder, RM, Heath, I and Hall, W (1995) Authoring a Large Scale Industrial Hypermedia Application: a Case Study. Proceedings of the LIRM International Workshop on Hypermedia Design, Montpellier, France. pp. 33-36 .

Crowder, R, Hall, W, Heath, I and Bernard, R (1995) The Application of Large-Scale Hypermedia Information Systems to Training. Innovations in Education and Teaching International, 32 (3), 245-255.

Bernard, R, Crowder, RM, Heath, I and Hall, W (1995) Multimedia Information Management: Authoring Large Scale Industrial Applications. Proceedings of Multimedia for Business Processes Workshop (key-note), Coventry.

Chappell, P H, Fateh, M M and Crowder, R M (2001) Kinematic control of a three-fingered and fully adaptive end-effector using a Jacobian matrix. Mechatronics, 11, 355-68.

Wellington, S., King, G and Crowder, R M (1991) A tracking vision sensor system. Colloquium on "Binary Image Processing - Techniques and Applications". 3/1-3/5 .

Crowder, Richard, Sim, Y W, Wills, Gary and Greenough, Richard (2001) A review of the benefits of using hypermedia manuals. Davis, Hugh, Douglas, Yellowlees and Durand, David (eds.) Proceedings of the twelfth ACM conferance on Hypertext and Hypermedia. pp. 245-6 .

Crowder, Richard, Wills, Gary and Hall, Wendy (2001) Provision of industrial information resources through hypermedia. Proceedings of the ASME 2001 Design Engineering Technical Conferance and Computer and Information in Engineering Conference.

Crowder, R M (1983) PWM servodrives: their operation and application. Proceedings of Drives/Motors/Controls 83. pp. 33-39 .

Nightingale, J M and Crowder, R M (1987) The hierarchical control of subsea manipulators. Proceedings of Fifth International Conferance on Electronics for Ocean Technology. pp. 131-8 .

Bernard, R and Crowder, R M (1992) Semiconductors for aerospace power applications.

Williams, M S J and Crowder, R M (1992) Advanced civil aircraft electrical systems.

Crowder, R M (1995) Electrically powered actuation in civil aircraft applications. Sixth European Conferance on Power Electronics and Applications. 3.793-8 .

Crowder, R M (1988) The application and control of brushless d.c. motors in high power robotic joints. Proceedings of the 3rd international conference on power electronics and varible speed drives. pp. 253-256 .

Crowder, R.M. (1990) Special Purpose Multifingered Robotic End Effectors. American Nuclear Society's 1990 Winter meeting. pp. 596-7 .

Crowder, R M, Dubey, V and Chappell, P H (2000) Dynamic Control of fingertip force using Tactile Sensors and Fuzzy Logic. Proceeding of the 6th International Conference on Control, Automation, Robotics and Vision.

Crowder, Richard and Hall, Wendy (1995) The Use of Open Hypermedia Systems in Engineering Applications. International Journal of Engineering Applications, 11 (6), 427-434.

Wills, Gary, Sim, Yee-Wai, Crowder, Richard and Hall, Wendy (2002) Open Hypermedia for Product Support. International Journal of Systems Science, 33 (6), 421-432.

Dubey, Venketesh and Crowder, Richard (2002) A finger mechanism for adaptive end effectors. ASME 27th Biennial Mechanisms and Robotics Conference, Montreal. 28 Sep - 01 Oct 2002. p. 437 .

Wellington, S J and Crowder, R M (1994) A non-tactile sensor for seam tracking and vision applications. Control'94. pp. 822-826 .

Wills, Gary, Alani, Harith, Ashri, Ronald, Crowder, Richard, Kalfoglou, Yannis and Kim, Sanghee (2002) Design Issues for Agent-based Resource Locator Systems. Karagiannis, Dimitris and Reimer, Ulrich (eds.) Practical Aspects of Knowledge Management, Vienna. 02 - 03 Dec 2002. pp. 156-168 .

Dominguez-Lopez, J. A., Damper, R. I., Crowder, R. M. and Harris, C. J. (2003) Optimal object grasping using fuzzy logic. International Conference on Robotics, Vision, Information and Signal Processing (ROVISP'2004), Penang, Malaysia. pp. 367-372 .

Crowder, Richard, Hughes, Gareth and Hall, Wendy (2002) An Agent Based Approach to Finding Expertise. Karagiannis, Dimitris and Reimer, Ulrich (eds.) Fourth International Conference on Practical Aspects of Knowledge Management, Vienna, Austria. 02 - 03 Dec 2002. pp. 179-188 .

Crowder, R M, McKendrick, R, Rowe, R, Auriol, E and Knudsen, T (1999) Maintenance of Robotic Systems using Hypermedia Documentation and Case-Based Reasoning. 2nd International Conference on Climbing and Walking Robots (CLAWAR'99), University of Portsmouth, Portsmouth, United Kingdom. 12 - 14 Sep 1999. pp. 877-887 .

Crowder, Richard (1991) A Manipulator for Glovebox Operation. Mechatronics, 1 (1), 37-58.

Crowder, Richard, Wills, Gary and Hall, Wendy (2003) Evaluation of a hypermedia maintenance support application. Computers in Industry, 51 (3), 327-344.

Crowder, Richard, Bracewell, Rob, Hughes, Gareth, Kerr, Micky, Knott, David, Moss, Mike, Clegg, Chris, Hall, Wendy, Wallace, Ken and Waterson, Patrick (2003) A Future Vision For The Engineering Design Environment: A Future Sociotechnical Scenario. Folkeson, A, Gralen, K, Norell, M and Sellgren, U (eds.) 14th International Conference on Engineering Design, Stockholm. 18 - 20 Aug 2003. pp. 249-250 .

Crowder, Richard, Hughes, Gareth and Hall, Wendy (2003) An Agent Based Approach To Finding Expertise In The Engineering Design Environment. Folkeson, A, Gralen, K, Norell, M and Sellgren, U (eds.) 14th International Conference on Engineering Design, Stockholm. 18 - 20 Aug 2003.

Hughes, Gareth and Crowder, Richard (2003) Experiences in designing highly adaptable expertise finder systems. Design Engineering Technical Conferences and Computers and Information in Emgineering, Chicago. 01 - 05 Sep 2003.

Crowder, Richard (2000) Sensors: Touch, Force, and Torque: 1st. In, Shell, Richard L and Hall, Ernest L (eds.) Handbook of Industrial Automation. Handbook of Industrial Automation (30/09/00) Marcel Dekker Inc, pp. 377-392.

Crowder, Richard, Hughes, Gareth and Hall, Wendy (2003) Approaches to Locating Expertise using Corporate Knowledge. Intelligent Systems in Accounting, Finance and Management, 11, 185-200.

Dominguez-Lopez, J. A., Damper, R. I., Crowder, R. M. and Harris, C. J. (2003) Hybrid neurofuzzy online learning for optimal grasping. IEEE International Conference on Machine Learning and Cybernetics, Xi'an, China. pp. 803-808 .

Sunderland, R. M., Crowder, R. M. and Damper, R. I. (2004) An approach to the simulation of robotic systems using XML-based configuration files. DETC'04, Design Engineering Technical Conferences, Salt Lake City, UT. 31 Aug - 30 Sep 2004. no pagination-CD-ROM .

Dominguez-Lopez, J. A., Damper, R. I., Crowder, R. M. and Harris, C. J. (2004) Adaptive neurofuzzy control of a robotic gripper with online machine learning. Robotics and Autonomous Systems, 48 (2-3), 93-110. (doi:10.1016/j.robot.2004.06.001).

Dominguez-Lopez, J. A., Crowder, R. M., Damper, R. I. and Harris, C. J. (2004) Adaptive neurofuzzy control of a robotic gripper with external disturbances. IEEE International Conference on Systems, Man and Cybernetics, The Hague, The, Netherlands. pp. 3193-3198 .

Dubey, Venketech and Crowder, Richard (2004) Grasping and Control Issues in Adaptive End Effectors. ASME Design Engineering Technical Conferences, Salt Lake City, Utah. 27 Sep - 01 Oct 2004.

Crowder, Richard and Sim, Yee-Wai (2004) An Approach to Extracting Knowledge from Legacy Documents. ASME INternational Design Engineering Technical Conferences and Computers and Information Engineering Conference, Salt Lake City. 27 - 30 Sep 2004.

Crowder, Richard and Smith, Gordon (1979) Induction motors for crane applications. IEE Journal of Electric Power Applications, 2 (6), 194-198.

Sim, Yee-Wai and Crowder, Richard (2004) Evaluation of an Approach to Expertise Finding. Karagiannis, Dimitris and Reimer, Ulrich (eds.) 5th International Conference on Practical Aspects of Knowledge Management, Vienna, Austria. pp. 141-152 .

Wills, Gary, Fowler, David, Sleeman, Derek, Crowder, Richard, Kampa, Simon, Carr, Leslie and Knott, David (2004) Issues in Moving to a Semantic Web for a Large Corporation. Karagiannis, Dimitris and Reimer, Ulrich (eds.) 5th International Conference on Practical Aspects of Knowledge Mangement, Vienna, Austria. 02 - 03 Dec 2004. pp. 378-388 .

Dominguez-Lopez, J. A., Damper, R. I., Crowder, R. M. and Harris, C. J. (2006) Intelligent neurofuzzy control of a robotic gripper. In, Patnaik, S., Jain, L. C., Tzafestas, S. G., Resconi, G. and Konar, A. (eds.) Innovations in Robot Mobility and Control. Springer-Verlag, pp. 155-199.

Sunderland, R. M., Damper, R. I. and Crowder, R. M. (2005) A framework for biologically-inspired control of reaching motions. 3rd International Symposium on Adaptive Motion in Animals and Machines (AMAM 2005), Ilmenau, Germany. no pagination-CD-ROM .

Crowder, Richard, Wills, Gary and Hall, Wendy (2005) Hypermedia maintenance support applications: Benefits and development costs. Computers in Industry, 56 (7), 681-698. (doi:10.1016/j.compind.2005.03.004).

Crowder, Richard (2005) Electric Drives and Electromechanical Systems , Newnes

Wong, Sylvia C, Crowder, Richard M and Wills, Gary B (2006) On a Service-Oriented Approach for an Engineering Knowledge Desktop. 15th International World Wide Web Conference (WWW2006), Edinburgh, United Kingdom. 22 - 25 May 2006.

Sim, Y W, Crowder, R M and Wills, G B (2006) Expert Finding by Capturing Organisational Knowledge from Legacy Documents. IEEE International Conference on Computer & Communication Engineering (ICCCE '06), Kuala Lumpur, Malaysia. 08 - 10 May 2006.

Dubey, Venketesh and Crowder, Richard (2006) A dynamic tactile sensor on photoelastic effect. Sensors and Actuators A: Physical, 128 (2), 217-225.

Crowder, Richard (2006) Toward Robots That Can Sense Texture by Touch. Science, 312 (5779), 1478-1479.

Wong, Sylvia C, Crowder, Richard M, Wills, Gary B and Shadbolt, Nigel R (2006) Knowledge Engineering - From Front-line Support to Preliminary Design. Brailsford, David F (ed.) ACM Symposium on Document Engineering (DocEng), Amsterdam, The, Netherlands. 09 - 12 Oct 2006. pp. 44-52 .

Wong, Sylvia C, Crowder, Richard M, Shadbolt, Nigel R and Wills, Gary B (2006) Knowledge Management for a Large Service-Oriented Corporation. Reimer, Ulrich and Karagiannis, Dimitris (eds.) Practical Aspects of Knowledge Management (PAKM), Vienna, Austria. 30 Nov - 01 Dec 2006. pp. 326-337 . (doi:10.1007/11944935_29).

Wong, Sylvia C, Crowder, Richard M, Wills, Gary B and Shadbolt, Nigel R (2007) Informing Preliminary Design by Incorporating Service Knowledge. 16th International Conference on Engineering Design, Paris. 27 - 30 Aug 2007.

Wong, Sylvia C, Crowder, Richard M, Wills, Gary B and Shadbolt, Nigel R (2007) Lesson Learnt from a Large-Scale Industrial Semantic Web Application. 18th ACM Conference on Hypertext and Hypermedia, Manchester, United Kingdom. 09 - 11 Sep 2007.

Wills, Gary B., Abbas, Noura, Chandrasekharan, Rakhi, Crowder, Richard M., Gilbert, Lester, Howard, Yvonne, Millard, David E., Wong, Sylvia C. and Walters, Robert J (2007) An Agile Hypertext Design Methodology. 18th ACM Conference on Hypertext and Hypermedia, Manchester, United Kingdom. 09 - 11 Sep 2007.

Jadhav, Pooja, Wong, Sylvia C, Wills, Gary B, Crowder, Richard M and Shadbolt, Nigel R (2007) Data Mining to Support Engineering Design Decision. Workshop on Semantic Web and Web 2.0 in Architectural, Product and Engineering Design, 6th International Semantic Web Conference (ISWC), Busan, Korea.

Wong, Sylvia C., Crowder, Richard M., Wills, Gary B. and Shadbolt, Nigel R. (2008) Knowledge transfer: from maintenance to engine design. Journal of Computing and Information Science in Engineering, 8 (1). (doi:10.1115/1.2840777).

Romero, Maricarmen, Crowder, Richard, Sim, Yee Wai and Payne, Terry (2008) Applying Multi-Agent Systems to Organizational Modeling In Industrial Environments. 10th International Conference on Enterprise Information Systems, Barcelona, Spain. 11 - 15 Jun 2008.

Crowder, Richard, Wong, Sylvia, Shadbolt, Nigel and Wills, Gary (2008) Knowledge-Based Repository to Support Engineering Design. Proceedings of the ASME 2008 International Design Engineering Technical Conferences & Computers and Information in Engineering, New York. 02 - 05 Aug 2008.

Crowder, Richard, Sim, Yee Wai, Payne, Terry, Robinson, Mark, Jackson, Helan and Romero Ternero, Maria (2008) An Approach to Modelling Integrated Product Teams. Proceedings of the ASME 2008 International Design Engineering Technical Conferences & Computers and Information in Engineering, New York. 02 - 05 Aug 2008.

Dubey, Venketesh and Crowder, Richard (2008) Evolution of a Novel Finger Mechanism for Robust Industrial End Effectors. Proceedings of the ASME 2008 International Design Engineering Technical Conferences & Computers and Information in Engineering, New York. 02 - 05 Aug 2008.

English, Stephen, Gough, Jeffrey, Johnson, Alexis, Spanton, Robert, Sun, Joanna, Crowder, Richard and Zauner, Klaus-Peter (2008) Strategies for Maintaining Large Robot Communities. Artificial Life XI, Winchester. 04 - 07 Aug 2008. p. 763 .

Reul, Quintin, Sleeman, Derek and Crowder, Richard (2008) Technical Report: Integrated Products and Services. Knowledge Desktop: Evaluation of Demonstrator 3c (Designers) s.n. (In Press)

Hughes, Helen, Robinson, Mark, Crowder, Richard and Sim, Yee Wai (2009) Can multi-agent systems help us to understand team-working? British Psychological Society (BPS) Division of Occupational Psychology Annual Conference, Blackpool. 14 - 16 Jan 2009.

Diamantas, Sotirios and Crowder, Richard (2009) Localisation and Mapping Using a Laser Range Finder: A Goal-Seeking Approach. Fifth International Conference on Autonomic and Autonomous Systems, Valencia, Spain. 19 - 24 Apr 2009.

Hughes, Helen, Robinson, Mark, Crowder, Richard and Sim, Yee Wai (2009) More than the sum of its parts: An agent-based model of team work. The 14th European Congress of Work and Organizational Psychology, Santiago de Compostela, Spain. 12 - 15 May 2009.

Guan, Tao, Fowler, David, Crowder, Richard, Shadbolt, Nigel, Tao, Feng and Wills, Gary (2009) A Semantic System for Rapid Information Search and Access. European Semantic Web Conference 2009, Heraklion, Greece. 27 May - 03 Jun 2009.

Yusoff, Amri, Crowder, Richard, Gilbert, Lester and Wills, Gary (2009) A conceptual framework for serious games. Ninth IEEE International Conference on Advanced Learning Technologies, Riga, Latvia. 14 - 16 Jul 2009.

Hughes, Helen, Robinson, Mark, Crowder, Richard and Sim, Yee Wai (2009) An Ironic Truth? Is Simulation a More Realistic Way to Study Real-World Engineering Design Teams? Third International Conference on Design Principles and Practices, Berlin. 15 - 17 Feb 2009.

Guan, Tao, Fowler, David, Crowder, Richard, Tao, Feng, Shadbolt, Nigel and Wills, Gary (2009) A Semantic Matching Approach for Distributed RDF Data Query on a Knowledge Bus. The Third Chinese Semantic Web Symposium, Nanjing, China. 28 - 30 Aug 2009.

Guan, Tao, Fowler, David, Bandara, Ayomi, Zaluska, Ed, De Roure, David, Crowder, Richard and Wills, Gary (2009) Enhancing Grid Service Discovery with a Semantic Wiki and the Concept Matching Approach. The 5th International Conference on Semantic, Knowledge and Grid. 09 - 11 Oct 2009.

Crowder, Richard, Hughes, Helen, Sim, Yee W. and Robinson, Mark (2009) An agent based approach to modeling design teams. International Conference on Engineering Design, ICED'09, Stanford, United States. 23 - 26 Aug 2009. 12 pp .

Crowder, Richard, Wilson, Max L., Fowler, David, Shadbolt, Nigel, Wills, Gary and Wong, Sylvia (2009) Navigation Over a Large Ontology for Industrial Web Applications. International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, San Diago, CA, United States. 29 Aug - 01 Sep 2009.

Sim, Yee Wai, Crowder, Richard, Robinson, Mark and Hughes, Helen (2009) An Agent-based approach to modelling integrated product teams undertaking a design activity. ASME 2009 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, San Diago, CA, United States. 29 Aug - 01 Sep 2009.

Crowder, Richard, Robinson, Mark, Hughes, Helen, Clegg, Chris and Sim, Yee Wai (2009) HIPARSYS Work Package 3 (WP3) FINAL REPORT s.n.

Crowder, Richard (1991) An anthropomorphic robotic end effector. Robotics and Autonomous Systems, 7, 253-268.

Diamantas, Sotirios, Oikonomidis, Anastasios and Crowder, Richard (2010) Towards Optical Flow-based Robotic Homing. International Joint Conference on Neural Networks (IEEE World Congress on Computational Intelligence), Barcelona, Spain. (Submitted)

Diamantas, Sotirios, Oikonomidis, Anastasios and Crowder, Richard (2010) Depth Estimation for Autonomous Robot Navigation: A Comparative Approach. IEEE International Conference on Imaging Systems and Techniques, Thessaloniki, Greece. (Submitted)

Crowder, RM, Robinson, M, Sim, YW, Jackson, H, Payne, T and Ternero, MDR (2009) An approach to modeling integrated product teams. In Proceedings of the ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference - 2008 : presented at 2008 ASME International Design Engineering Conferences and Computers and Information in Engineerin. ASME. pp. 29-36 .

Crowder, RM, Wong, S, Shadbolt, N and Wills, G (2009) Knowledge-based repository to support engineering design. DETC 2008: proceedings of the ASME international design engineering technical conferences and computers and informational in engineering conference, Vol 3, Pts A and B . pp. 585-593., New York, NY. pp. 585-593 .

Yusoff, Amri, Crowder, Richard and Gilbert, Lester (2010) Validation of Serious Games Attributes Using the Technology Acceptance Model. The 2nd International IEEE Conference on Serious Games and Virtual Worlds for serious applications (VSGAMES 2010), Braga, Portugal. 25 - 26 Mar 2010. pp. 45-51 .

Fowler, David, Crowder, Richard, Guan, Tao, Shadbolt, Nigel and Wills, Gary (2010) Requirements for semantic web applications in engineering. ASME 2010 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, , Montreal Quebec, Canada. 14 - 17 Aug 2010.

Crowder, Richard, Fowler, David, Reul, Quentin, Sleeman, Derek, Shadbolt, Nigel and Wills, Gary (2012) An information system to support the engineering designer. Journal of Intelligent Manufacturing, 23 (5), 1545-1558. (doi:10.1007/s10845-010-0458-4).

Diamantas, Sotirios, Oikonomidis, Anastasios and Crowder, Richard (2010) Depth Computation Using Optical Flow and Least Squares. 2010 IEEE/SICE International Symposium on System Integration (SII 2010), Sendai, Japan. 21 - 22 Dec 2010. (Submitted)

Diamantas, Sotirios, Oikonomidis, Anastasios and Crowder, Richard (2011) Biologically inspiring robot navigation by exploiting optical flow patterns. International Conference on Computer Vision Theory and Applications, Algave, Portugal. 05 - 07 Mar 2011. (Submitted)

Dubey, Venky and Crowder, Richard (2011) A robotic finger mechanism for robust industrial applications. Industrial Robot: An International Journal, 38 (4). (In Press)

Yusoff, Amri, Wills, Gary, Crowder, Richard and Gilbert, Lester (2011) Pedagogy and Game Attributes for Teaching English as a Second Language. Universiti Malaysia Terengganu 10th International Annual Symposium (UMTAS 2011), Kuala Terengganu, Terengganu, Malaysia. 10 - 12 Jul 2011. (Submitted)

Yu, Tai-Tuck, Scanlan, James P., Crowder, Richard M. and Wills, Gary B. (2012) Approaches to modeling the gas-turbine maintenance process. Journal of Computing and Information Science in Engineering, 12 (1), 011007-[9pp]. (doi:10.1115/1.3647876).

Hughes, Helen P.N., Clegg, Chris W., Robinson, Mark A. and Crowder, Richard M. (2012) Agent-based modelling and simulation: The potential contribution to organizational psychology. Journal of Occupational and Organizational Psychology, 85 (3), 487-502. (doi:10.1111/j.2044-8325.2012.02053.x).

Crowder, Richard M., Robinson, Mark A. and Hughes, Helen P.N. et al. (2012) The development of an agent-based modeling framework for simulating engineering team work. IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 42 (6), 1425-1439. (doi:10.1109/TSMCA.2012.2199304).

Crowder, Richard M. and Zauner, Klaus-Peter (2012) A Project-Based Biologically-Inspired Robotics Module. IEEE Transactions on Education. (doi:10.1109/TE.2012.2215862).

Alateyah, Sulaiman, Crowder, Richard M. and Wills, Gary (2012) Towards an integrated model for citizen adoption of E-government services. International Journal of Information Technology and Computer Science, 6, 47-57.

Alateyah, Sulaiman, Crowder, Richard M. and Wills, Gary B. (2012) Towards an integrated model for citizen adoption of E-government services in developing countries: A Saudi Arabia case study. International Journal for Digital Society, 3 (3/4), 666-676.

Yusoff, Amri, Crowder, Richard M., Gilbert, Lester and Wills, Gary (2012) A Conceptual Teacher-Learner Model for a Collaborative Learning with Serious Games. GAMES + LEARNING + SOCIETY CONFERENCE (GLS 8.0). 12 - 14 Jun 2012. pp. 601-602 .

Yosoff, Amri, Crowder, Richard, Gilbert, Lester and Wills, Gary (2012) A Collaborative Learning with Conceptual Teacher-Learner Model. Pembentang Simposium Pendidikan Bestari 2012, Shah Alam, Malaysia. 9 pp .

Almutiry, Omar, Wills, Gary and Crowder, Richard (2013) Towards a framework for data quality in Electronic health records. IADIS International Conference, e-Society 2013, Lisbon, Portugal.

Alateyah, Sulaiman, Crowder, Richard M and Wills, Gary B. (2013) An integrated model for influencing Saudi Arabian citizens to adopt E-government services. International Conference on Cloud Computing and eGovernance., Dubai, United Arab Emirates. pp. 38-44 .

Alateyah, Sulaiman, Crowder, Richard M. and Wills, Gary B. (2013) Identified Factors Affecting the Citizen’s Intention to Adopt E-government in Saudi Arabia. International Journal of Social, Behavioral, Educational, Economic, Business and Industrial Engineering, 7 (8), 244-252.

Alateyah, Suilaiman, Crowder, Richard M. and Wills, Gary B. (2013) Factors Affecting the Citizen’s Intention to Adopt E-government in Saudi Arabia. International Journal of Social, Behavioral, Educational, Economic, Business and Industrial Engineering, 7 (9), 80-85.

Alotaibi, Hanan, Crowder, Richard and Wills, Gary (2013) Investigating Factors for Knowledge Sharing Using Web Technologies. i-know 2013, Graz, Austria.

Shang, Beining, Crowder, Richard and Zauner, Klaus-Peter (2013) Simulation of hardware variations in swarm robots. IEEE International Conference on Systems, Man, and Cybernetics, Manchester, United Kingdom. 12 - 15 Oct 2013. 6 pp .

Almutiry, Omar, Wills, Gary, Alwabel, Abdulelah, Crowder, Richard and Walters, Robert John (2013) Toward a framework for data quality in cloud-based health information system. 2013 International Conference on Information Scociety (i-society). 23 - 25 Jun 2013. pp. 153-157 .

Alateyah, Suilaiman, Crowder, Richard and Wills, Gary (2013) Factors influencing citizen intention to adopt egovernment in Saudi Arabia. 2013 International Conference on Information Society (i-Society), Toronto, Canada. pp. 250-255 .

Alateyah, Sulaiman, Crowder, Richard M. and Wills, Gary B. (2013) An exploratory study of proposed factors to adopt e-government services. International Journal of Advanced Computer Science and Applications, 4 (11). (doi:10.14569/IJACSA.2013.041108).

Fadhel, Nawfal, Wills, Gary and Crowder, Richard M. (2013) Approaches to maintaining provenance throughout the additive manufacturing process. 2013 World Congress on Internet Security (WorldCIS), London, United Kingdom. 09 - 11 Dec 2013. pp. 82-87 . (doi:10.1109/WorldCIS.2013.6751022).

Alotaibi, Hanan, Crowder, Richard and Wills, Gary (2014) Investigating factors for E-knowledge sharing amongst academic staff. Sixth International Conference on Information, Process, and Knowledge Management eKNOW 2014, Barcelona, Spain. 4 pp .

Alateyah, Sulaiman, Chang, Victor, Crowder, Richard and Wills, Gary (2014) Citizen intention to adopt e-government services in Saudi Arabia. Emerging Software as a Service and Analytics - ESaaSA 2014, Barcelona, Spain. 02 - 04 Apr 2014.

Pitonakova, Lenka, Crowder, Richard and Bullock, Seth (2014) Understanding the role of recruitment in collective robot foraging. Lipson, Hod, Sayama, Hiroki, Rieffel, John, Risi, Sebastian and Doursat, Rene (eds.) In ALIFE 14: The Fourteenth International Conference on the Synthesis and Simulation of Living Systems. MIT Press. 8 pp .

Alateeyah, Sulaiman, Crowder, Richard and Wills, Gary B. (2014) Identifying Factors Affecting the Intention of Saudi Arabian Citizens to Adopt E-government Services. International Journal of Innovation, Management and Technology, 5 (4). (doi:10.7763/IJIMT.2014.V5.527).

Fadhel, Nawfal, Argles, David, Crowder, Richard M and Wills, Gary B. (2014) Transparent authentication methodology in electronic education. Engineering Management Reviews, 3, P23 - 32.

Fadhel, Nawfal, Crowder, Richard M. and Wills, Gary B. (2014) Maintaining provenance throughout the additive manufacturing process. International Journal for Information Security Research (IJISR), 3 (3/4).

Shang, Beining, Crowder, Richard and Zauner, Klaus-Peter (2014) Swarm behavioral sorting based on robotic hardware variation. Simultech 2014, Wien, Austria. 27 - 29 Aug 2014. 6 pp .

Phadermrod, Boonyarat, Wills, Gary and Crowder, Richard (2014) Developing SWOT analysis from customer satisfaction surveys. The IEEE International Conference on e-Business Engineering (ICEBE 2015), Guangzhou, China. 05 - 07 Nov 2014. 8 pp .

Phadermrod, Boonyarat, Crowder, Richard and Wills, Gary B. (2015) Attribute importance measure based on back-propagation neural network: an empirical study. International Journal of Computer and Electrical Engineering, 7 (2). (doi:10.7763/IJCEE).

Crowder, Richard (2014) Modelling design teams: an agent based approach. Digitally Designing Collaboration Panel at 2014 annual conference of the Association for Computer-Aided Design in Architecture, Los Angeles, United States.

Crowder, Richard (2014) Knowledge management for Engineering: A Web Science Perspective. In, Michopoulos, John, Paredis, Christiaan, Rosen, David and Vance, Judy (eds.) Advances in Computers and Information in Engineering Research. ASME, pp. 411-431.

Yusoff, Amri, Crowder, Richard, Gilbert, Lester and Wills, Gary (2014) A conceptual design for a teacher-learner framework for educational serious games. Journal of ICT in Education, 1 (1), 1-10.

Aaber, Zeyad, Crowder, Richard, Fadhel, Nawfal and Wills, Gary B. (2014) Preventing Document Leakage through Active Document. 2014 World Congress on Internet Security (WorldCIS), London, United Kingdom. 08 - 10 Dec 2014. 6 pp .

Aaber, Zeyad, Crowder, Richard M, Chang, Victor, Fadhel, Nawfal and Wills, Gary B. (2015) Towards a Framework for Securing a Document Outside an Organisational Firewall. In Proceedings of the International Conference on Cloud Computing Technology and Science, CloudCom. vol. 2015-February, IEEE Computer Society. pp. 1057-1062 . (doi:10.1109/CloudCom.2014.132).

Crowder, R.M. (1988) The development of the design criteria for the command input device for teleoperated systems. In Robot Control: Theory and Application. Peter Peregrinus Ltd. pp. 211-216 .

Khadidos, Adil, Crowder, Richard and Chappell, Paul (2015) Enhancing Exogenous Fault Detection in Swarm Robotics by Analysing Transferable Data. Eighth Saudi Student Conference.

Alotaibi, Hanan, Crowder, Richard and Wills, Gary (2017) Adoption of Web based Knowledge Sharing system amongst Academic Staff. Journal of Advanced Management Science, 5 (1), 57-63. (doi:10.18178/joams.5.1.57-63).

Fadhel, Nawfal, Crowder, Richard M. and Wills, Gary (2015) Provenance in the Additive Manufacturing Process. IFAC-PapersOnLine, 48 (3), 2345-2350. (doi:10.1016/j.ifacol.2015.06.438).

Khadidos, Adil, Crowder, Richard M. and Chappell, Paul (2015) Exogenous Fault Detection and Recovery for Swarm Robotics. 2015 5th International Conference on Computer Communication and Management (ICCCM 2015).

Almutiry, Omar, Wills, Gary and Crowder, Richard (2016) A dimension-oriented taxonomy of data quality problems in electronic health records. IADIS International Journal on WWW/Internet, 13 (2), 98-114.

Pitonakova, Lenka, Crowder, Richard and Bullock, Seth (2016) Information flow principles for plasticity in foraging robot swarms: code and data set. University of Southampton doi:10.5258/SOTON/385724 [Dataset]

Pitonakova, Lenka, Crowder, Richard and Bullock, Seth (2016) Task Allocation in Foraging Robot Swarms: The Role of Information Sharing: code and data set. University of Southampton doi:10.5258/SOTON/386728 [Dataset]

Pitonakova, Lenka, Crowder, Richard and Bullock, Seth (2016) Information flow principles for plasticity in foraging robot swarms. Swarm Intelligence, 10 (1), 33-63. (doi:10.1007/s11721-016-0118-1).

Phadermrod, Boonyarat, Crowder, Richard M. and Wills, Gary B. (2016) Importance-performance analysis based SWOT analysis. International Journal of Information Management, 1-10. (doi:10.1016/j.ijinfomgt.2016.03.009).

Shang, Beining, Crowder, Richard and Zauner, Klaus-Peter (2016) An approach to sorting swarm robots to optimize performance. In ASME 2016 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference (IDETC/CIE2016). vol. 5A, American Society Of Mechanical Engineers (ASME). 8 pp . (doi:10.1115/DETC2016-59984).

Pitonakova, Lenka, Crowder, Richard and Bullock, Seth (2016) Task allocation in foraging robot swarms: the role of information sharing. Gershenson, Carlos, Froese, Tom, Siqueiros, Jesus, Aguilar, Wendy, Izquierdo, Eduardo J. and Sayama, Hiroki (eds.) In Proceedings of the Artificial Life Conference 2016. MIT Press. pp. 306-313 . (doi:10.7551/978-0-262-33936-0-ch053).

Jayasinghe, Dayani, Crowder, Richard and Wills, Gary (2016) Model for the adoption of telemedicine in Sri Lanka. SAGE Open, 1-14. (doi:10.1177/2158244016668565).

Jayasinghe, Dayani, Crowder, Richard and Wills, Gary (2016) Barriers preventing introduction of telemedicine. University of Southampton doi:10.5258/SOTON/399944 [Dataset]

Pitonakova, Lenka, Crowder, Richard and Bullock, Seth (2017) Code and dataset for: The Information-Cost-Reward framework for understanding robot swarm foraging. University of Southampton doi:10.5258/SOTON/403544 [Dataset]

Aaber, Zeyad, Sabah, Wills, Gary B. and Crowder, Richard M. (2017) Protecting Document Outside Enterprise Network: A Confirmed Framework. In, Chang, Victor, Ramachandran, Muthu, Walters, Robert J. and Wills, Gary (eds.) Enterprise Security: Second International Workshop, ES 2015, Vancouver, BC, Canada, November 30 – December 3, 2015, Revised Selected Papers. Cham. Springer International Publishing, pp. 259-275. (doi:10.1007/978-3-319-54380-2_12).

Alqahtani, Asma Aljarullah, Crowder, Richard and Wills, Gary (2017) A framework for the adoption of EHRs by primary healthcare physicians in the Kingdom of Saudi Arabia. In International Conference on Information Society (i-Society 2017). Infonomics Society. 6 pp .

Alqahtani, Asma, Abdullah Jarullah Aljarullah, Crowder, Richard and Wills, Gary (2017) Barriers to the adoption of EHR systems in the Kingdom of Saudi Arabia: an exploratory study using a systematic literature review. Journal of Health Informatics in Developing Countries, 11 (2).

Pitonakova, Lenka, Crowder, Richard and Bullock, Seth (2017) Behaviour-data relations modelling language for multi-robot control algorithms. In 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE. pp. 727-732 . (doi:10.1109/IROS.2017.8202231).

Pitonakova, Lenka, Crowder, Richard and Bullock, Seth (2018) The information-cost-reward framework for understanding robot swarm foraging. Swarm Intelligence, 12 (1), 71–96. (doi:10.1007/s11721-017-0148-3).

Pitonakova, Lenka, Crowder, Richard and Bullock, Seth (2018) Information exchange design patterns for robot swarm foraging and their application in robot control algorithms. Frontiers in Robotics and AI, 5. (doi:10.3389/frobt.2018.00047).

Pitonakova, Lenka, Crowder, Richard and Bullock, Seth (2018) The importance of information flow regulation in preferentially foraging robot swarms. Dorigo, Marco, Birattari, Mauro, Blum, Christian, Christensen, Anders L., Reina, Andreagiovanni and Trianni, Vito (eds.) In Swarm Intelligence: 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings. vol. 11172, Springer. pp. 277-289 . (doi:10.1007/978-3-030-00533-7_22).

Syafitri, Niken, Crowder, Richard, Chappell, Paul H and Mazlan, Jared (2015) A self-assembly strategy for swarm robots. IEEE/RSJ International Conference on Intelligent Robots and Systems, , Hamburg, Germany. 27 Sep - 01 Oct 2015. p. 4750 .

Maamria, Issam, Butler, Michael, Edmunds, Andrew and Rezazadeh, Abdolbaghi (2010) On an extensible rule-based prover for event-B. In Proceedings of ABZ 2010. Springer. 3 pp .

Rezazadeh, Abdolbaghi and Butler, Michael (2003) Event-Based Modelling and Refinement of Distributed Monitoring and Control Systems. Refinement of Critical Systems (RCS'03).

Rezazadeh, Abdolbaghi and Butler, Michael (2005) Some Guidelines for Formal Development of Web-based Applications in B-Method. 4th International Conference of B and Z Users (ZB 2005), 13-15 April 2005.

Rezazadeh, Abdolbaghi, Evans, Neil and Butler, Michael (2007) Redevelopment of an industrial case study using Event-B and Rodin. BCS-FACS Christmas 2007 Meeting - Formal Methods In Industry, , London, United Kingdom.

Rezazadeh, Abdolbaghi (2006) Formal Patterns for Web-based Systems Design. University of Southampton, School of Electronics and Computer Science, Doctoral Thesis.

Maamria, Issam, Butler, Michael, Edmunds, Andrew and Rezazadeh, Abdolbaghi (2009) On an Extensible Rule-based Prover for Event-B s.n. (In Press)

Yeganefard, Sanaz, Butler, Michael and Rezazadeh, Abdolbaghi (2010) Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B. Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), NASA/CP-2010-216215, Washington DC. 12 - 13 Apr 2010. pp. 182-191 .

Salehi Fathabadi, Asieh, Rezazadeh, Abdolbaghi and Butler, Michael (2011) Applying Atomicity and Model Decomposition to a Space Craft System in Event-B. THIRD NASA FORMAL METHODS SYMPOSIUM, Pasadena, California. 17 - 19 Apr 2011.

Edmunds, Andrew, Rezazadeh, Abdolbaghi and Butler, Michael (2011) From Event-B models to code: sensing, actuating, and the environment. SBMF2011, Sao Paulo, Brazil. 25 - 27 Sep 2011. 6 pp .

Edmunds, Andrew, Rezazadeh, Abdolbaghi and Butler, Michael (2012) Formal modelling for Ada implementations: tasking Event-B. Ada-Europe 2012: 17th International Conference on Reliable Software Technologies, Stockholm, Sweden. 10 - 14 Jun 2012. 14 pp .

Salehi Fathabadi, Asieh, Butler, Michael and Rezazadeh, Abdolbaghi (2012) A systematic approach to atomicity decomposition in Event-B. [in special issue: Software Engineering and Formal Methods. 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings] Lecture Notes in Computer Science, 7504, 78-93. (doi:10.1007/978-3-642-33826-7_6).

Poppleton, Michael and Rezazadeh, Abdolbaghi (2012) Modelling the pacemaker in event-B: towards methodology for reuse Southampton, GB. University of Southampton 16pp.

Salehi Fathabadi, Asieh, Butler, Michael and Rezazadeh, Abdolbaghi (2015) Language and tool support for event refinement structures in Event-B. Formal Aspects of Computing, 27 (3), 499-523. (doi:10.1007/s00165-014-0311-1).

Dalvandi, Mohammadsadegh, Butler, Michael and Rezazadeh, Abdolbaghi (2015) From Event-B models to Dafny code contracts. 6th IPM International Conference on Fundamentals of Software Engineering, Tehran, Iran, Islamic Republic of. 21 - 23 Apr 2015.

Sulskus, Gintautas, Poppleton, Michael and Rezazadeh, Abdolbaghi (2015) An Interval-Based Approach to Modelling Time in Event-B. In Fundamentals of Software Engineering. vol. 9392, pp. 292-307 . (doi:10.1007/978-3-319-24644-4_20).

Dalvandi, Mohammadsadegh, Butler, Michael and Rezazadeh, Abdolbaghi (2015) Transforming Event-B models to Dafny contracts. 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015), Edinburgh, United Kingdom. 31 Aug - 03 Sep 2015.

Sulskus, Gintautas, Poppleton, Michael and Rezazadeh, Abdolbaghi (2016) Modelling complex timing requirements with refinement. In Information Reuse and Integration (IRI), 2016 IEEE 17th International Conference on. IEEE. 9 pp .

Al-Brashdi, Ahmed, Butler, Michael, Rezazadeh, Abdolbaghi and Snook, Colin (2016) Tool support for model-based database design with Event-B. Ogata, K, Lawford, M and Liu, S (eds.) In Formal Methods and Software Engineering: ICFEM 2016. vol. 10009, Springer. pp. 210-225 . (doi:10.1007/978-3-319-47846-3_14).

Dalvandi, Mohammad Sadegh, Butler, Michael and Rezazadeh, Abdolbaghi (2017) Derivation of algorithmic control structures in Event-B refinement. Science of Computer Programming, 148, 49-65, [SCICO2103]. (doi:10.1016/j.scico.2017.05.010).

Al-Brashdi, Ahmed, Zahran Nasser, Butler, Michael and Rezazadeh, Abdolbaghi (2018) Incremental database design using UML-B and Event-B. 2nd Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, , Xi'an, China. 16 Nov 2017. pp. 34-47 . (doi:10.4204/EPTCS.271.3).

Dalvandi, Mohammad Sadegh, Butler, Michael, Rezazadeh, Abdolbaghi and Salehi Fathabadi, Asieh (2018) Verifiable code generation from scheduled event-B models. In Abstract State Machines, Alloy, B, TLA, VDM, and Z: ABZ 2018. vol. 10817, Springer. pp. 1-15 . (doi:10.1007/978-3-319-91271-4_16).

Al-Brashdi, Ahmed, Zahran Nasser, Butler, Michael and Rezazadeh, Abdolbaghi (2018) UB2DB Rodin plug-in for automated database code generation. 7th Rodin Workshop, , Southampton, United Kingdom. 04 Jun 2018. pp. 1-2 .

Omitola, Temitope, Butler, Michael and Rezazadeh, Abdolbaghi (2019) Making (implicit) security requirements explicit for cyber-physical systems: A maritime use case security analysis. Anderst-Kotsis, G., Tjoa, A. and Khalil, I. (eds.) In Database and Expert Systems Applications. vol. 1062, Springer. pp. 75-84 . (doi:10.1007/978-3-030-27684-3_11).