Publications (Software Systems)

2017

Chinenyeze, S., Liu, X., Al-Dubai, A. (2017). BEFTIGRE: Behaviour‐driven full‐tier green evaluation of mobile cloud applications. Journal of Software: Evolution and Process, 29, (2), .

Tsiros, A. (2017). Sonic Xplorer: A Machine Learning Approach for Parametric Exploration of Sound. In: (Ed.) proceedings of Electronic Visualisation and the Arts, London 2017, , () ( ed.). (pp. ). London, UK: . .

Tsiros, A., Leplatre, G. (2017). The Effectiveness of Two Audiovisual Mappings to Control a Concatenative Synthesiser. In: (Ed.) Proceedings of the Sound and Music Computing Conference 2017, , () ( ed.). (pp. ). Helsinki, Finland: . .

2016

Aldawood, S., Fowley, F., Pahl, C., Taibi, D., Liu, X. (2016). A Coordination-based Brokerage Architecture for Multi-Cloud Resource Markets. In: (Ed.) Proceedings of the 4th IEEE International Conference on Future Internet of Things and Cloud (FiCloud-2016), , () ( ed.). (pp. ). Vienna, Austria: . IEEE Computer Society.

Chalmers, K., Pedersen, J., Skovhede, K., Vinter, B., Welch, Peter H. (Eds.) (2016). Communicating Process Architectures 2016, , () ( ed.). : . Open Channel Publishing.

Chalmers, K. (2016). Development and Evaluation of a Modern C++CSP Library. In: Chalmers, K., Pedersen, J., Skovhede, K., Vinter, B., Welch, Peter H. (Eds.) Communicating Process Architectures 2016, , () ( ed.). (pp. ). : . Open Channel Publishing.

Chinenyeze, S., Liu, X., Al-Dubai, A. (2016). DEEPC: Dynamic Energy Profiling of Components. In: (Ed.) 10th IEEE International Workshop on Quality-oriented Reuse of Software (QUORS’16) in conjunction with the 40th IEEE International Conference on Computers, Software & Applications (COMPSAC 2016), , () ( ed.). (pp. ). Georgia, USA: . .

Fang, D., Liu, X., Romdhani, I. (2016). An agility-oriented and fuzziness-embedded semantic model for collaborative cloud service search, retrieval and recommendation. Future Generation Computer Systems, 56, (C), 11-26.

Farrenkopf, T., Guckert, M., Urquhart, N., Wells, S. (2016). Demo paper: AGADE Scalability of ontology based agent simulations. In: Demazeau, Y., Ito, T., Bajo, J., Cuaresma, M. (Eds.) Advances in Practical Applications of Scalable Multi-agent Systems. The {PAAMS} Collection - 14th International Conference, {PAAMS} 2016,, Lecture Notes in Computer Science, () (9662 ed.). (pp. 256--259). : . Springer.

Fowley, F., Pahl, C., Jamshidi, P., Fang, D., Liu, X. (2016). A classification and comparison framework for cloud service brokerage architectures. IEEE Transactions on Cloud Computing, , (online first, paper version in early 2017), .

Greenwell, R., Liu, X., Chalmers, K., Pahl, C. (2016). A TASK ORIENTED REQUIREMENTS ONTOLOGY FOR CLOUD COMPUTING SERVICES. In: (Ed.) Proceedings of the 6th International Conference on Cloud Computing and Services Science (CLOSER 2016), , () ( ed.). (pp. ). Rome, Italy: . .

Greenwell, R., Liu, X., Chalmers, K. (2016). Pricing Ontology for Task-Oriented Cloud Sourcing. In: (Ed.) Proceedings of the 4th IEEE International Conference on Future Internet of Things and Cloud (FiCloud-2016), , () ( ed.). (pp. ). Vienna, Austria: . IEEE Computer Society.

Liu, Q., Li, S., Liu, X., Linge, N. (2016). A Method for Electric Load Data Verfication and Repair in home Environment. In: (Ed.) Proceedings of the 2nd International Conference on Cloud Computing and Security, , () ( ed.). (pp. ). Nanjing, China: . .

Liu, Q., Cai, W., Shen, J., Fu, Z., Liu, X., Linge, N. (2016). A Speculative Approach to Spatial-Temporal Efficiency With Multi-Objective Optimisation in a Heterogeneous Cloud Environment. Security and Communication Networks, 9, (17), .

Liu, Q., Jin, D., Liu, X., Linge, N. (2016). A Survey of Speculative Execution Strategy in MapReduce. In: (Ed.) Proceedings of the 2nd International Conference on Cloud Computing and Security, , () ( ed.). (pp. ). Nanjing, China: . .

Liu, Q., Cai, W., Shen, J., Liu, X., Linge, N. (2016). An adaptive approach to better load balancing in a consumer-centric cloud environment. IEEE Transactions on Consumer Electronics, 62, (3), .

Liu, Q., Lu, M., Liu, X., Linge, N. (2016). An Introduction of Non-intrusive Load Monitoring and Its Challenges in System Framework. In: (Ed.) Proceedings of the 2nd International Conference on Cloud Computing and Security, , () ( ed.). (pp. ). Nanjing, China: . .

Liu, Q., Chen, X., Liu, X., Linge, N. (2016). CACA-UAN: A Context-Aware Communication Approach Based on the Underwater Acoustic Sensor Network. In: (Ed.) Proceedings of the 2nd International Conference on Cloud Computing and Security, , () ( ed.). (pp. ). Nanjing, China: . .

Liu, Q., Cai, W., Jin, D., Shen, J., Fu, Z., Liu, X., Linge, N. (2016). Estimation Accuracy on Execution Time of Run-time Tasks in a Heterogeneous Distributed Environment. Sensors, a Journal by MDPI publisher (Switzerland), 16, (9), .

Liu, Q., Zhang, K., Liu, X., Linge, N. (2016). Grid Routing: An Energy-Efficient Routing Protocol for WSNs with Single Mobile Sink. In: (Ed.) Proceedings of the 2nd International Conference on Cloud Computing and Security, , () ( ed.). (pp. ). Nanjing, China: . .

2015

Aizeboje, J., Peng, T. (Eds.) (2015). An Approach to a Laser-Touchscreen System, , () ( ed.). : . Springer.

Fang, D., Liu, X., Romdhani, I., Pahl, C. (2015). An Approach to Unified Cloud Service Access, Manipulation and Dynamic Orchestration via Semantic Cloud Service Operation Specification Framework. Journal of Cloud Computing: Advances, Systems and Applications, 4, (14), .

Greenwell, R., Liu, X., Chalmers, K. (2015). Semantic Description of Cloud Service Agreements. In: (Ed.) Proceedings of Science and Information Conference 2015, , () ( ed.). (pp. ). London, UK: . .

Liu, X., Li, Y. (Eds.) (2015). Green Services Engineering, Optimization, and Modeling in the Technological Age, , () ( ed.). Pennsylvania, USA: . IGI Global Publishing.

2014

Berg, T., Coady, J. (2014). ANCHORS AWAY – Does One Size Fit All In Information Systems Curriculum Development?. In: (Ed.) UK Association of Information Systems, , () ( ed.). (pp. ). Oxford: . AIS eletronic Library.

Chinenyeze, S., Liu, X., Al-Dubai, A. (2014). An Aspect Oriented Model for Software Energy Efficiency in Decentralised Servers. In: (Ed.) 2nd International Conference on ICT for Sustainability (ICT4S 2014), , () ( ed.). (pp. ). Stockholm, Sweden: . Atlantis Press.

Chinenyeze, S. (2014). OPENsenima - Open Source Energy Interceptors for Mobile Apps (Guest Technical Presentation). In: (Ed.) Presentations in 2nd GreenCode Lab Euro Conference, , () ( ed.). (pp. ). Paris, France: . .

Fang, D., Liu, X., Romdhani, I. (2014). A Loosely-coupled Semantic Model for Efficient Cloud Service Search and Retrieval. In: (Ed.) IARIA Proceedings of The Fifth International Conference on Cloud Computing, GRIDs, and Virtualization, , () ( ed.). (pp. ). : . .

Fang, D., Liu, X., Liu, L., Yang, H. (2014). OCSO: Off-the-cloud service optimization for green efficient service resource utilization. Journal of Cloud Computing: Advances, Systems and Applications, 3, (9), .

Graham, S., Liu, X. (2014). Critical Evaluation on jClouds and Cloudify Abstract APIs against EC2, Azure and HP-Cloud. In: (Ed.) Proceedings of IEEE 8th IEEE International Workshop Quality-Oriented Reuse of Software (IEEE QUORS14) in conjunction with the 38th COMPSAC'14, , () ( ed.). (pp. ). : . .

Greenwell, R., Liu, X., Chalmers, K. (2014). An Upper Ontology for Benefits Management of Cloud Computing. International Journal of Advanced Computer Science and Applications(IJACSA), 5, (12), .

Greenwell, R., Liu, X., Chalmers, K. (2014). Benefits Management of Cloud Computing Investments. International Journal of Advanced Computer Science and Applications (IJACSA), 5, (7), .

Jamshidi, P., Pahl, C., Chinenyeze, S., Liu, X. (2014). Cloud Migration Patterns: A Multi-Cloud Architectural Perspective. In: (Ed.) 10th International Workshop on Engineering Service-Oriented Applications, , () (10th ed.). (pp. ). Paris, France: . .

Jaroucheh, Z., Liu, X., Smith, S., Zhao, H. (2014). A Unified Platform for the Dynamic Evolution of Context-aware Highly Agile Services. In: (Ed.) Encyclopedia of Information Science and Technology, , () (3rd ed.). (pp. ). : . IGI Global Publishing.

Kerridge, J. (2014). Process Discovery in Highly Parallel Distributed Systems. In: Welch, P. (Ed.) Communicating Process Architectures 2014, , () ( ed.). (pp. 93-106). : . Open Channel Publishing Ltd..

Kerridge, J. (2014). Using Concurrency and Parallelism Effectively Parts 1 and 2 (1 ed.). Copenhagen, Denmark: . bookboon.com.

Liu, L., Yang, C., Wang, J., Ye, X., Liu, Y., Yang, H., Liu, X. (2014). Requirements model driven adaption and evolution of Internetware. SCIENCE CHINA Information Sciences, 57, (6), 1-19.

Tian, Y., Liu, Y., Cheng, G., Wang, Z. (2014). PCA-ANFIS Based Prediction for Water Injection Effectiveness Cycle in Oil Fields. In: (Ed.) 2014 2nd International Conference on Energy Engineering and Environment Engineering, , () ( ed.). (pp. ). Hong Kong, China: . Proceedigs of ICEEEE 2014.

Tian, Y., Liu, Y., Cheng, G., Wang, Z. (2014). PCA-FNN Based Performance Prediction for Water Injection in Oilfields. In: (Ed.) Advanced Materials Research (ISSN: 1022-6680)2014 2nd International Conference on Manufacturing (Manufacturing 2014),February 9-10,2014, Singapore, , () ( ed.). (pp. ). : . .

Wang, Z., Chalmers, K. (2014). An appproch to Synergistic and Dynamic Service Evolution in Clouds. International Journal of Cloud Computing,Inderscience Publishers,Switzerland, , (), .

Wang, Z., Chalmers, K., Liu, X. (2014). Evolution Pattern Verification for Services Evolution in Clouds with Model Driven Architecture. the International Journal for e-Learning Security (IJeLS), Infonomics Society, UK, 3, (3/4), .

Wang, Z., Chalmers, K. (2014). Service Evolution in Clouds for Dementia Patient Monitoring System Usability Enhancement(Book Chapter). In: (Ed.) Advanced Technological Solutions for Dementia Patient Monitoring,For release in the Advances in Medical Technologies and Clinical Practice (AMTCP) Book Series, , () ( ed.). (pp. ). IGI Global, Hershey PA, USA: . IGI Global, Hershey PA, USA.

Welch, Peter H., Barnes, Frederick R. M., Broenink, Jan F., Chalmers, K., Gibson-Robinson, T., Ivimey-Cook, R., McEwan, Alistair A., Pedersen, J., Sampson, Adam T., Smith, Marc L. (Eds.) (2014). Communicating Process Architectures 2014, , () ( ed.). Bicester: . Open Channel Publishing Ltd..

2013

Berg, T. (2013). Understanding Iconography: A Method to allow Rich Picture Interpretation to Improve (PhD). Heriot-Watt University (Bell, S., Pooley, R.).

Chalmers, K., Kerridge, J. (2013). Verifying the CPA Networking Stack using SPIN/Promela. In: Welch, Peter H., Barnes, Frederick R. M., Broenink, Jan F., Chalmers, K., Pedersen, J., Sampson, Adam T. (Eds.) Communicating Process Architectures 2013, , () ( ed.). (pp. ). Bicester: . Open Channel Publishing Ltd..

Fang, D., Liu, X., Liu, L., Yang, H. (2013). TARGO: Transition and Reallocation Based Green Optimization for Cloud VMs. In: (Ed.) Proceedings of the IEEE International Conference on Green Computing and Communications 2013, , () ( ed.). (pp. ). Beijing, China: . IEEE Computer Society.

Greenwell, R., Liu, X., Chalmers, K. (2013). Pricing Intelligence as a Service for Cloud Computing. In: (Ed.) Proceedings of 5th IEEE International Conference on Cloud Computing Technology and Science (CloudCom'13), , () ( ed.). (pp. ). : . IEEE Computer Society.

Jaroucheh, Z., Liu, X., Smith, S. (2013). Jabber-based Cross-Domain Efficient and Privacy-Ensuring Context Management Framework. International Journal of Advanced Computer Science and Applications (IJACSA), 4, (5), .

Liu, X., Li, C. (2013). MVICS: a Repository and Search Tool towards Holistic Semantic-Based Precise Component Selection. International Journal of Computers & Technology, 5, (3), .

Nussbaumer, N., Liu, X. (2013). Cloud Migration for SMEs in a Service Oriented Approach. In: (Ed.) Proceedings of IEEE 37th COMPSAC'13, , () ( ed.). (pp. ). : . IEEE Computer Society.

Reilly, C., Chalmers, K. (2013). Game physics analysis and development – a quality-driven approach using the Entity Component Pattern. The Computer Games Journal, 2, (2), 125.

Wang, Z., Chalmers, K., Liu, X. (2013). Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds. Journal of Industrial and Intelligent Information,The 2013 2rd International Conference on Database and Data Mining,Seoul, Korean, May 11-12, 2013, , (), .

Wang, Z., Chalmers, K., Liu, X. (2013). Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds:AO4BPEL3.0 Proposal. In: (Ed.) International Conference on Information Society (i-Society 2013). University of Toronto, Canada.June 24-26, 2013, , () ( ed.). (pp. ). Toronto, Canada.: . IEEE.

Wang, Z., Chalmers, K. (2013). Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds:Four Kinds of Schema. In: (Ed.) Journal of Procedia Computer Science,Acadia University,Canada,The 4th International Conference on Ambient Systems, Networks and Technologies, June 25-28, 2013, , () ( ed.). (pp. ). Halifax,Canada: . Procedia Computer Science 00 (2013) 000–000.

Wang, Z., Chalmers, K. (2013). Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds:Pattern Data Structure. In: (Ed.) The 7th International Conference on Complex, Intelligent, and Software Intensive Systeme (CISIS 2013) July 3rd - July 5th, 2013, Asia University,Taiwan, China, , () ( ed.). (pp. ). : . IEEE Computational Intelligence Society.

Welch, Peter H., Barnes, Frederick R. M., Broenink, Jan F., Chalmers, K., Pedersen, J., Sampson, Adam T. (Eds.) (2013). Communicating Process Architectures 2013, , () ( ed.). : . Open Channel Publishing Ltd..

2012

Chalmers, K. (2012). A Comparison of Message Passing Interface and Communicating Process Architecture Networking Communication Performance. In: Welch, Peter H., Barnes, Frederick R. M., Chalmers, K., Pedersen, J., Sampson, Adam T. (Eds.) Communicating Process Architectures 2012, , () ( ed.). (pp. 107--120). Bicester: . Open Channel Publishing Ltd..

Cheng, G., An, Y., Wang, Z., Zhu, K. (2012). Oil Well Placement Optimization using Niche Particle Swarm Optimization. In: (Ed.) In Proceedings of CIS'2012 (International Conference on Computational Intelligence and Security), , () ( ed.). (pp. ). GuangDong, China.: . .

Fang, D., Liu, X., Liu, L., Yang, H. (2012). Evolution for the Sustainability of Internetware. In: (Ed.) Proceedings of Internetware'12, , () ( ed.). (pp. ). : . ACM Digital Library.

Fang, D., Liu, X., Romdhani, I., Zhao, H. (2012). Towards OWL 2 Natively Supported Fuzzy Cloud Ontology. In: (Ed.) 6th IEEE International Workshop Quality-Oriented Reuse of Software (IEEE QUORS’12) , , () ( ed.). (pp. ). : . IEEE Computer Society.

Jaroucheh, Z., Liu, X., Smith, S. (2012). A Unified Approach for the Dynamic Evolution of Context-aware Services. In: (Ed.) Proceedings of International Conference on Innovations in Computers, Information and Communication - ICICIC 2012, , () ( ed.). (pp. ). India: . PSG Tech.

Jaroucheh, Z., Liu, X., Smith, S. (2012). An Approach to Domain-based Scalable Context Management Architecture in Pervasive Environments. Personal and Ubiquitous Computing, 16, (6), 741-755.

Kosek, A., Syed, A., Kerridge, J. (2012). RDF Recipes for Context-Aware Interoperability In Pervasive Systems. In: (Ed.) Proceedings of IEEE Symposium on Computers and Communications, , () ( ed.). (pp. ). : . IEEE Press.

Wang, Z., Chalmers, K., Liu, X. (2012). Evolution Pattern for Service Evolution in Clouds. In: (Ed.) The 7th International Conference for Internet Technology and Secured Transactions (ICITST-2012),10-12, December 2012, , () ( ed.). (pp. ). London, UK: . Copyright © ICITST-2012 Published IEEE UK Computer Chapter.

Welch, Peter H., Barnes, Frederick R. M., Chalmers, K., Pedersen, J., Sampson, Adam T. (Eds.) (2012). Communicating Process Architectures 2012, , () ( ed.). : . .

Yang, H., Liu, X. (2012). Software Reuse in the Emerging Cloud Computing Era ( ed.). Pennsylvania, USA: . IGI Global Publishing.

Zhao, H., Sun, J., Liu, X. (2012). A Model Checking Based Approach to Automatic Test Suite Generation for Testing Web Services and BPEL. In: (Ed.) Proceedings of IEEE Asia-Pacific Services Computing Conference, , () ( ed.). (pp. ). Guilin, China: . .

Zhao, H., Liu, X. (2012). Dynamic Evolution of Service Architecture in Mobile Cloud Applications. In: (Ed.) prcoeedings of the 2nd internation conference of Cloud Computing and Services Science (CLOSER'12), , () ( ed.). (pp. ). : . INSTICC.

2011

Chalmers, K. (2011). Performance of the Distributed CPA Protocol and Architecture on Traditional Networks. In: Welch, Peter H., Sampson, Adam T., Pedersen, J., Kerridge, J., Broenink, Jan F., Barnes, Frederick R. M. (Eds.) Communicating Process Architectures 2011, , () ( ed.). (pp. ). Amsterdam, The Netherlands: . IOS Press.

Helgason, I., Bradley, J., Egan, C. (2011, March). This Pervasive Day: Design and Development Case Study. Paper presented at i-Docs, A Symposium on Interactive Documentary, Watershed Media Centre / Bristol, UK.

Jaroucheh, Z., Liu, X., Smith, S., Zhao, H. (2011). Lightweight Software Product Line Based Privacy Protection Scheme for Pervasive Applications . In: (Ed.) Proceedings of the 35th IEEE COMPSAC, , () ( ed.). (pp. ). Munich, Germany: . IEEE Computer Society.

Jaroucheh, Z., Liu, X., Smith, S. (2011). Recognize contextual situation in pervasive environments using process mining techniques. Journal OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, 2, (1), 53-69.

Kosek, A., Syed, A., Kerridge, J. (2011). An Emergent Behaviour Algorithm for Energy Conservation in Lighting Systems. In: Welch, Peter H. (Ed.) Communicating Process Architectures 2011, , () ( ed.). (pp. ). : . IOS Press.

Li, C., Liu, X., Kennedy, J. (2011). Quality Attributes Suggestion in Component Retrieval. In: (Ed.) Proceedings of International Conference on Computational Intelligence and Software Engineering (CiSE 2011), , () ( ed.). (pp. ). : . .

Liu, X., Li, Y. (2011). Advanced Design Approach to Emerging Software Systems - Principles, Methodologies and Tools ( ed.). : . IGI Global Publishing.

Paechter, B., Pitt, J., Serbedzija, N., Michael, K., Willies, J. (2011). Heaven and Hell: Visions for Pervasive Adaptation. In: Giacobino, E., Pfeifer, R. (Eds.) Proceedings of the 2nd European Future Technologies Conference and Exhibition 2011 (FET 11), , () ( ed.). (pp. ). Hungary: . Elsevier Science.

Wojtczuk, P., Armitage, A., Binnie, D., Chamberlain, T. (2011, August). PIR sensor array for hand motion recognition. Paper presented at SensorDevices 2011, Nice, France.

2010

AlJassani, B.A., Urquhart, N., Almaini, A.E.A. (2010). Manipulation and Optimization techniques for Boolean logic. IET Computers and Digital Techniques , 4, (3), 227-239.

Jaroucheh, Z., Liu, X., Smith, S. (2010). A MDD-based Generic Framework for Context-aware Deeply Adaptive Service-based Processes. In: (Ed.) Proceedings of The 8th IEEE International Conference on Web Services (ICWS’10), , () ( ed.). (pp. ). Miami, USA: . IEEE Computer Society.

Jaroucheh, Z., Liu, X., Smith, S. (2010). A Model-driven Approach to Flexible Multi-Level Customization of SaaS Applications. In: (Ed.) Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering (SEKE'10), , () ( ed.). (pp. ). San Francisco, USA: . Knowledge Systems Institute.

Jaroucheh, Z., Liu, X., Smith, S. (2010). CANDEL: Product Line Based Dynamic Context Management for Pervasive Applications. In: (Ed.) CICIS'10 Proceedings, , () ( ed.). (pp. ). Krakow Poland: . IEEE Computer Society Press.

Jaroucheh, Z., Liu, X., Smith, S. (2010). Mapping Features to Context Information: Supporting Context Variability for Context-aware Pervasive Applications. In: (Ed.) Proceedings of IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technologies (WI-IAT 2010), , () ( ed.). (pp. ). Toronto, Canada: . IEEE Computer Society.

Li, C., Liu, X., Kennedy, J. (2010). Achieve Semantic-based Precise Component Selection via an Ontology Model Interlinking Application Domain and MVICS. In: (Ed.) Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering (SEKE'10), , () ( ed.). (pp. ). San Francisco, USA: . Knowledge Systems Institute.

Li, C., Pooley, R., Liu, X. (2010). Ontology-Based Quality Attributes Prediction in Component-Based Development. International Journal of Computer Science & Information Technology (IJCSIT), 2, (5), .

Scott, C., Urquhart, N., Hart, E. (2010). Influence of Topology and Payload on CO2 Optimised Vehicle Routing. In: Chio, C. (Ed.) Applications of Evolutionary Computation, , () ( ed.). (pp. ). Istanbul: . Springer Berlin / Heidelberg.

Urquhart, N., Scott, C., Hart, E. (2010). Using an evolutionary algorithm to discover low CO2 tours within a Travelling Salesman Problem. In: al., C. De Chio et (Ed.) Evo Applications 2010, Part II, LNCS 6025, () ( ed.). (pp. 421-430). : . Springer-Verlag.

Urquhart, N. (2010, January). Using Real-World Geospatial Data with Evolutionary Algorithms. Paper presented at Universities' Transport Study Group, Plymouth, UK.

Walczyk, R., Armitage, A., Binnie, D. (2010). Comparative Study on Connected Component Labeling Algorithms for Embedded Video Processing Systems. In: Arabnia, Hamid R., Deligiannidis, L. (Eds.) IPCV'10 , II, () ( ed.). (pp. ). Las Vegas USA: . .

Welch, Peter H., Brown, N., Moores, J., Chalmers, K., Sputh, B. (2010). Alting barriers: synchronisation with choice in Java using JCSP. Concurrency and Computation: Practice and Experience, 22, (8), 1049-1062.

2009

Chalmers, K., Kerridge, J. (2009). An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures. In: Welch, Peter H., Barnes, Fred R. M., Stiles, Gardiner S., Broenink, Jan F., Roebbers, H., Sampson, Adam T. (Eds.) Communicating Process Architectures 2009, , () ( ed.). (pp. ). Amsterdam: . IOS Press.

Chalmers, K. (2009). Investigating Communicating Sequential Processes for Java to Support Ubiquitous Computing (PhD). Edinburgh Napier University (Kerridge, J., Romdhani, I.).

Clayton, S., Urquhart, N., Kerridge, J. (2009). Application of CoSMoS Parallel Design Patterns to a Pedestrian Simulation. In: Wyrzykowski, R., Dongarra, J., Karczewski, K., Wasniewski, J. (Eds.) Parallel Processing and Applied Mathematics, 2, () ( ed.). (pp. 505-512). Berlin Heidelberg: . Springer Verlag.

Jaroucheh, Z., Liu, X., Smith, S. (2009). A Perspective on Middleware-oriented Context-aware Pervasive Systems. In: (Ed.) Proceedings of IEEE 33rd COMPSAC'09, , () ( ed.). (pp. ). Seattle, USA: . IEEE Computer Society Press.

Kosek, A., Syed, A., Kerridge, J., Armitage, A. (2009). A Dynamic Connection Capability for Pervasive Adaptive Environments using JCSP. In: (Ed.) Proceedings of AISB'09, , () ( ed.). (pp. ). : . The Society for the Study of Artificial Intelligence.

Kosek, A., Kerridge, J., Syed, A., Armitage, A. (2009). JCSP Agents-Based Service Discovery for Pervasive Computing. In: Welch, Peter H., Roebbers, H.W., Broenink, J.F., Barnes, F.R.M., Ritson, C.G., Sampson, A.T., Stiles, G.S., Vinter, B. (Eds.) Concurrent Systems Engineering Series, 67, () ( ed.). (pp. 363-373). : . IOS Press.

Li, C., Liu, X., Kennedy, J. (2009). A Multiple Viewed Interrelated Ontology Model for Holistic Component Specification and Retrieval. In: (Ed.) Springer-Verlag's LNCS, , () ( ed.). (pp. 50-69). : . Springer-Verlag.

Taylor-Smith, E., O'Kane, F., Rutherford, A. (2009). HUWY D2.1 Requirements Specification. , (), ..

Urquhart, N., Vogogias, T., McEwan, T. (2009, May). CO2Y The Intelligent Green Solution: Minimising Carbon Emissions by Maximising Shared Travel Opportunity. Paper presented at Scottish Transport Applications Research Conference, Glasgow.

Walczyk, R., Armitage, A., Binnie, D. (2009, June). An Embedded Real-Time Pedestrian Detection System Using an Infrared Camera. Paper presented at IET Irish Systems & Signals Conference, Dublin.

Zheng, L., Peng, T. (2009). The VoIP Intrusion Detection through a LVQ-based Neural Network. In: (Ed.) Proceedings of the 4th International Conference for Internet Technology and Secured Transactions , , () ( ed.). (pp. ). London, UK: . .

2008

Chalmers, K., Kerridge, J., Romdhani, I. (2008). A Critique of JCSP Networking. In: Welch, Peter H., Stepney, S., Polack, Fiona A. C., Barnes, Fred R. M., McEwan, Alistair A., Stiles, Gardiner S., Broenink, Jan F., Sampson, Adam T. (Eds.) Communicating Process Architectures 2008, , () ( ed.). (pp. 271-291). Amsterdam: . IOS Press.

Craenen, B., Paechter, B. (2008). A Conflict Tabu Search Evolutionary Algorithm for Solving Constraint Satisfaction Problems. In: van Hemert, J., Cotta, C. (Eds.) Evolutionary Computation in Combinatorial Optimization, LNCS 4972, () ( ed.). (pp. ). : . Springer.

Kerridge, J., Haschke, J., Chalmers, K. (2008). Mobile Agents and Processes using Communicating Process Architectures. In: Welch, Peter H., Stepney, S., Polack, Fiona A. C., Barnes, Fred R. M., McEwan, Alistair A., Stiles, Gardiner S., Broenink, Jan F., Sampson, Adam T. (Eds.) Communicating Process Architectures 2008, , () ( ed.). (pp. 397-410). Amsterdam: . IOS Press.

Kosek, A., Kerridge, J., Syed, A. (2008). Modelling a Multi-Core Media Processor Using JCSP. In: Stepney, S., Polack, F., McEwan, A., Welch, Peter H., Ifill, W. (Eds.) Communicating Process Architectures 2008, , () ( ed.). (pp. ). : . IOS Press.

Li, C., Liu, X., Kennedy, J. (2008). Semantics-Based Component Repository: State of Arts and a Calculation Rating Factor-based Framework. In: (Ed.) Proceedings of Computer Software and Applications Conference, , () ( ed.). (pp. 751-756). : . IEEE Computer Society Press.

Liu, X., Ye, H. (2008). A Sustainable Service-Oriented B2C Framework for Small Businesses. 4th IEEE International Symposium on Service-Oriented Systems Engineering (SOSE'08), , (), .

Liu, X., Feng, Y., Kerridge, J. (2008). Automated Responsive Web Services Evolution through Generative Aspect-Oriented Component Adaptation. International Journals of Computer Applications in Technology , , (), .

Liu, X., Feng, Y., Kerridge, J. (2008). Generative Aspect-Oriented Component Adaptation. IET Software, 2, (2), 149-160.

Lopez-Ibanez, M., Tumula, P., Paechter, B. (2008). Ant Colony Optimization for Optimal Control of Pumps in Water Distribution Networks. Journal of Water Resource Planning and Management, 134, (4), 337-346.

2007

Chalmers, K., Kerridge, J., Romdhani, I. (2007). Mobility in JCSP: New Mobile Channel and Mobile Process Models. In: McEwan, A., Schneider, S., Ifill, W., Welch, Peter H. (Eds.) Communicating Process Architectures 2007, , () ( ed.). (pp. ). : . IOS Press.

Cumming, A., Russell, G. (2007). SQL Hacks ( ed.). : . O'Reilly.

Feng, Y., Liu, X., Kerridge, J. (2007). A product line based aspect-oriented generative unit testing approach to building quality components. the 1st IEEE International Workshop on Quality-Oriented Reuse of Software, , (), .

Feng, Y., Liu, X., Kerridge, J. (2007). An Aspect-Oriented Component-Based Approach to Seamless Web Service Composition. System and Information Sciences Notes, , (), .

Feng, Y., Liu, X., Kerridge, J. (2007). Smooth Quality Oriented Component Integration through Product Line Based Aspect- Oriented Component Adaptation. International Conference on Software Engineering and Knowledge Engineering (SEKE'2007), , (), .

Graham, M., Kennedy, J. (2007). Visual Exploration of Alternative Taxonomies through Concepts. Ecological Informatics, 2, (3), 248-261.

Hart, E., Davoudani, D., McEwan, C. (2007). Immunological Inspiration for building a new generation of autonomic systems. In: (Ed.) First International Conference on Autonomic Computing and Communication Systems, , () ( ed.). (pp. ). : . ACM Digital Library.

Kerridge, J. (2007). Testing and Sampling Parallel Systems. In: McEwan, A., Schneider, S., Ifill, W., Welch, Peter H. (Eds.) Communicating Process Architectures 2007, 30, () (30 ed.). (pp. ). : . IOS Press.

Kukla, R. (2007). A software framework for the microscopic modelling of pedestrian movement (PhD). ().

Lewis, R., Paechter, B., McCollum, B. (2007). Post Enrolment based Course Timetabling: A Description of the Problem Model used for Track Two of the Second International Timetabling Competition. , (), ..

Liu, X. (2007). Quality Metrics for Internet Applications: Developing New from Old. the 1st IEEE International Workshop on Quality-Oriented Reuse of Software, , (), .

McEwan, C., Hart, E. (2007). Revisiting the Central and Peripheral Immune System. In: (Ed.) Artificial Immune Systems: Proceedings of 6th International Conference, ICARIS 2007, , () ( ed.). (pp. ). : . Springer-Verlag.

Urquhart, N. (2007). Carbon Friendly Travel Plan Construction Using an Evolutionary Algorithm. In: Thierens, D., Beyer, H., Bongard, J., Branke, J., Clark, J., Cliff, D., Congdon, C., Deb, K., Doerr, B., Kovacs, T., Kumar, S., Miller, Julian F., Moore, J., Neumann, F., Pelikan, M., Riccardo, P. (Eds.) GECCO '07: Proceedings of the 9th annual conference on Genetic and evolutionary computation, , () ( ed.). (pp. 2269--2269). London, UK: . ACM.

Welch, Peter H., Brown, N., Moores, J., Chalmers, K., Sputh, B. (2007). Integrating and Extending JCSP. In: McEwan, Alistair A., Schneider, S., Ifill, W., Welch, Peter H. (Eds.) Communicating Process Architectures 2007, , () ( ed.). (pp. 349-370). Amsterdam: . IOS Press.

2006

Buchanan, W., Migas, N., McArtney, K. (2006). Analysis of an Agent-based Metric-Driven for Ah-hoc, On-Demand Routing. Journal of Ad-hoc Networks, 4, (2), 146-167.

Chalmers, K., Clayton, S. (2006). CSP for .NET Based on JCSP. In: Welch, Peter H., Kerridge, J., Barnes, F. R. M. (Eds.) Proceedings of Communicating Process Architectures 2006, , () ( ed.). (pp. 59-76). : . IOS Press.

Chalmers, K., Kerridge, J., Romdhani, I. (2006). Performance Evaluation of JCSP Micro Edition: JCSPme. In: Welch, Peter H., Kerridge, J., Barnes, F. R. M. (Eds.) Proceedings of Communicating Process Architectures 2006, , () ( ed.). (pp. 31-40). UK: . IOS Press.

Chamberlain, T., Armitage, A., Rutter, M., Binnie, D. (2006). Pedestrian sensing with feature extraction. In: (Ed.) ITS World Congress, , () ( ed.). (pp. ). London: . .

Chamberlain, T., Armitage, A., Binnie, D., Rutter, M. (2006). Working towards identifiable feature extraction from a pedestrian's gait. In: (Ed.) 37th UTSG conference, , () ( ed.). (pp. ). Dublin: . .

Feng, Y., Liu, X., Kerridge, J. (2006). Achieving Smooth Component Integration with Generative Aspect and Component Adaptation. Springer-Verlag's LNCS 4039, (9th International Conference on Software Reuse),, , (), .

Graham, M., Kennedy, J., Downey, L. (2006). Visual Comparison and Exploration of Natural History Collections. In: Celentano, A., Mussio, P. (Eds.) Advanced Visual Interfaces (AVI) 2006, , () ( ed.). (pp. 310-313). Venice, Italy: . ACM Press.

Kennedy, J., Hyam, R., Kukla, R., Paterson, T. (2006). A Standard Data Model Representation for Taxonomic Information. OMICS: A Journal of Integrative Biology, 10, (2), 220-230.

Kerridge, J., Chalmers, K. (2006). Ubiquitous Access to Site Specific Services by Mobile Devices: the Process View. In: Welch, Peter H., Kerridge, J., Barnes, F. R. M. (Eds.) Proceedings of Communicating Process Architectures 2006, , () ( ed.). (pp. 41-58). : . .

Liu, X., Feng, Y., Kerridge, J. (2006). Achieving Dependable Component-Based Systems through Generative Aspect Oriented Component Adaptation. 30th IEEE International Conference on Computer Software and Applications (COMPSAC'06), , (), .

2005

Armitage, A., Binnie, D., Chamberlain, T., Rutter, M. (2005). Tracking pedestrians using visible and infrared systems. In: (Ed.) Universities Transport Study Group conference, 37, () (37 ed.). (pp. ). Bristol: . .

Chalmers, K., Kerridge, J. (2005). jcsp.mobile: A Package Enabling Mobile Processes and Channels. In: Broenink, J., Roebbers, H., Sunter, J., Welch, Peter H., Wood, D. (Eds.) Communicating Process Architectures 2005, , () ( ed.). (pp. 109-127). : . IOS Press.

Craenen, B., Paechter, B. (2005). Peer-to-peer networks for scalable grid landscapes in social agent simulations. In: (Ed.) Proceedings of the Artificial Intelligence and Social Behaviour Convention (AISB) 2005, , () ( ed.). (pp. ). Hatfield: . .

Kennedy, J., Kukla, R., Paterson, T. (2005). Scientific names are ambiguous as identifiers for biological taxa: their context and definition are required for accurate data integration. In: Ludaescher, B., Raschid, L. (Eds.) Data Integration in the Life Sciences, 3615, () ( ed.). (pp. 80-95). Berlin Heidelberg: . Springer-Verlag.

Kerridge, J., Chamberlain, T. (2005). Collecting Pedestrian Trajectory Data In Real-time. Proceedings of PED2005, , (), .

Kerridge, J., Chamberlain, T. (2005). Collecting, Processing and Calculating Pedestrian Flow Data in Real-time. In: (Ed.) Transportation Research Board Annual Meeting, 84th Annual Meeting, () (84th Annual Meeting ed.). (pp. ). : . US National Academies of Science.

Kerridge, J., Barclay, K., Savage, J. (2005). Groovy Parallel! A Return to the Spirit oif occam?. In: Broenink, J., Roebbers, H., Sunter, J., Welch, Peter H., Wood, D. (Eds.) Communicating Process Architectures 2005, , () ( ed.). (pp. 13-28). : . .

Kettley, S. (2005). Visualising Social Space with Networked Jewellery. In: Turner, P., Davenport, E., Turner, S. (Eds.) More Space, , () ( ed.). (pp. ). : . .

Liu, X., Wang, B., Kerridge, J. (2005). Achieving Seamless Component Composition Through Scenario-Based Deep Adaptation And Generation. Journal of Science of Computer Programming (Elsevier), 56, (2), 157-170.

2004

Binnie, D., Armitage, A. (2004). Pedestrian detection using low-resolution thermal imager versus visual imager. PREP 2004, , (), 156-157.

Cannon, A., Kennedy, J., Paterson, T., Watson, M. (2004). Ontology-Driven Automated Generation Of Data Entry Interfaces. In: Williams, H., Mackinnon, L. (Eds.) Key Technologies for Data Management (Proc. BNCOD21): Lecture Notes in Computer Science 3112, , () ( ed.). (pp. 150-164). : . Springer-Verlag.

Chamberlain, T., Armitage, A., Rutter, M., Binnie, D. (2004). Using low-resolution thermal sensors in stereo to measure pedestrian movement. PREP 2004, , (), 251-252.

de Toro Negro, F., Ortega, J., Ros, E., Mota, S., Paechter, B., Martin, J.M. (2004). PSFGA: Parallel processing and evolutionary computation for multiobjective optimisation. Parallel Computing, 30, (5-6), 551-816.

Kerridge, J. (2004). Active Serial Port: A Component for JCSP.net Embedded Systems. In: East, I., Martin, J., Welch, Peter H., Duce, D., Green, M. (Eds.) Communicating Process Architectures 2004, WoTUG-27, () (WoTUG-27 ed.). (pp. 85-98). : . IOS Press.

Kerridge, J., Armitage, A., Binnie, D., Lei, L. (2004). Monitoring the Movement of Pedestrians Using Low-cost Infrared Detectors: Initial Findings. Transportation Research Record, 1878, (), 11-18.

Kettley, S., Smyth, M. (2004). The Materiality of Wearable Computers - Craft & Authentic User Experience. In: (Ed.) Pixelraiders2, , () ( ed.). (pp. ). http://www.pixelraiders.org: . .

Kettley, S., Smyth, M. (2004). The Materiality of Wearable Computers - Craft & Authentic User Experience. The Design Journal, 7, (2), 32-41.

McCall, R., O'Neill, S., Smyth, M., Benyon, D., Carroll, F. (2004). A Method for Designing Virtual Places. In: (Ed.) Presence 2004, , () ( ed.). (pp. ). Valencia, Spain (poster and paper in proceedings): . .

McCall, R., O'Neill, S., Carroll, F. (2004). Measuring Presence in Virtual Environments. In: (Ed.) Conference on Human-Factors in Computing: CHI'2004, , () ( ed.). (pp. ). Vienna, Austria: . Association of Computing Machinery (demo paper).

McCall, R., O'Neill, S., Carroll, F., Benyon, D. (2004). The Presence Probe. In: (Ed.) Workshop on Designing and Evaluating Virtual Reality Systems, , () ( ed.). (pp. ). University of Nottingham, UK (position paper): . .

O'Neill, S., McCall, R., Carroll, F. (2004). Measuring Presence in Virtual Environments (Video). Conference on Human Factors in Computing 2004: CHI'2004, , (CD), .

O'Neill, S., McCall, R., Smyth, M., Benyon, D. (2004). Probing the Sense of Place. In: (Ed.) Presence 2004, , () ( ed.). (pp. ). Valencia, Spain: . .

Wang, B., Liu, X., Kerridge, J. (2004). Scenario Based Generative Component Adaptation in .Net Framework. In: (Ed.) The IEEE International Conference on Information Reuse and Integration, , () ( ed.). (pp. ). Las Vegas USA: . .

Wang, B., Liu, X., Kerridge, J. (2004). Scenario-based Generative Component Adaptation in .NET Framework. IEEE International Conference on Information Reuse and Integration (IRI'04), , (), .

Willis, A., Kukla, R., Kerridge, J. (2004). Human movement behaviour in urban spaces: Implications for the design and modelling of effective pedestrian environments. Environment and Planning B: Design and Planning, 31, (6), 805-828.

2003

Armitage, A., Binnie, D., Kerridge, J., Lei, L. (2003). Measuring pedestrian trajectories using a pyroelectric differential infrared detector. In: (Ed.) Sensors and their Applications, 12, () ( ed.). (pp. ). Limerick, Ireland: . .

Armitage, A., Binnie, D., Kerridge, J., Lei, L. (2003). Measuring Pedestrian Trajectories with Low Cost Infrared Detectors: Preliminary Results. In: Galea, E. (Ed.) Pedestrian and Evacuation Dynamics 2003, , () ( ed.). (pp. 101-110). Greenwich: . CMS Press London.

Benyon, D. (2003). Human-Centred Interaction Design. In: Cairncross, S., Varey, A., McEwan, T. (Eds.) Proceedings of 6th HCI Educators Workshop,, , () ( ed.). (pp. ). : . .

Kennedy, J. (2003). Supporting Taxonomic Names in Cell and Molecular Biology Databases. Omics A Journal of Integrative Biology, 7, (1), 13-16.

Kerridge, J., Kukla, R., Willis, A., Armitage, A., Binnie, D., Lei, L. (2003). A comparison of Video and Infrared based tracking of pedestrian movements. In: Hoogendoorn, Serge P., Luding, S., Bovy, Piet H. L., Schreckenberg, M., Wolf, Dietrich E. (Eds.) Traffic and Granular Flow, , () ( ed.). (pp. 383-391). Berlin Heidelberg: . Springer-Verlag.

Migas, N., Buchanan, W., McArtney, K. (2003). Mobile Agents for Routing, Topology Discovery, and Automatic Network Reconfiguration in Ad-Hoc Networks. IEEE ECBS 2003, , (), 200 - 206 .

Paterson, T., Cannon, A., Raguenaud, C., Russell, G., Armstrong, K., MacDonald, S., Pullan, M.R., Watson, M., Kennedy, J. (2003). A Methodology for Composing Well-Defined Character Descriptions. Unpublished, (), ..

Wang, B., Liu, X., Kerridge, J. (2003). A Generative and Component based Approach to Reuse in Database Applications. In: (Ed.) 5th Generative Programming and Component Engineering Young Researcher Workshop, , () ( ed.). (pp. ). : . .

Wang, B., Liu, X., Kerridge, J. (2003). Achieving Flexible Reuse through Scenario-Based Deep Component Adaptation and Generation. In: (Ed.) the 7th IASTED International Conference on Software Engineering and Applications (SEA'03), , () ( ed.). (pp. ). California, USA: . .

Wang, B., Liu, X., Kerridge, J. (2003). Facilitating Reuse in Database Applications with Scenario-based Component Adaptation and Generation. In: (Ed.) The IEEE International Conference on Information Reuse and Integration, , () ( ed.). (pp. ). Las Vegas, USA: . .

Wang, B., Liu, X., Kerridge, J. (2003). Tackling Deep Adaptation through XML-Based Component Generation. In: (Ed.) the 16th International Conference on Software and System Engineering and their Applications (ICSSEA 2003), , () ( ed.). (pp. ). Paris France: . .

2002

Chu, W., Liu, X., Yang, H. (2002). Reverse Engineering. In: (Ed.) Software Engineering and Knowledge Engineering Handbook, Volume 2, () ( ed.). (pp. ). : . World Scientific Publisher.

Chu, W., Liu, X., Yang, H. (2002). Reverse Engineering. In: (Ed.) Software Engineering and Knowledge Engineering Handbook, 2, () ( ed.). (pp. ). : . World Scientific Publisher.

Graham, M., Watson, M., Kennedy, J. (2002). Novel visualisation techniques for working with multiple, overlapping classification hierarchies. Taxon, 51, (2), 351-358.

Jelasity, M., Preus, M., Paechter, B. (2002). Maintaining Connectivity in a Scaleable and Robust Distributed Environment. Proceedings of the IEEE International Symposium on Cluster Computing and the Grid, , (), 389-394.

Kukla, R., Willis, A., Kerridge, J. (2002). Application of context-mediated behavior to a multi-agent pedestrian flow model (PEDFLOW). Annual Meeting of the Transportation Research Board (TRB), , (82th), 22-222.

Lewis, O., Mannion, M., Buchanan, W. (2002). Performance Issues of Variability Design for Embedded System Product Lines. Fraunhofer IESE Technical Report 070.00/E, , (), .

Liu, X. (2002). Support Software Evolution with Abstraction Rules and Program Knowledge Patterns. Journal of Asian Information-Science-Life, 1, (1), .

Raguenaud, C., Kennedy, J. (2002). Multiple Overlapping Classifications: Issues and Solutions. In: Kennedy, J. (Ed.) 14th International conference on Scientific and Statistical Database Management - SSDBM 2002, , () ( ed.). (pp. 77-86). : . IEEE Computer Society Press.

Teng, G., Liu, X. (2002). Support Software Evolution with Abstraction Rules and Program Knowledge Patterns. Journal of Asian Information-Science-Life, 1, (1), 177-189.

Turner, S., Turner, P., Raguenaud, C., Kennedy, J. (2002). Telling Tales: Narratives Of Classification And Control In The Design Of Taxonomic Software. In: (Ed.) Proceedings of Design Research Society Conference: Common Ground, September, 2002, , () ( ed.). (pp. ). Brunel University: . .

Wang, B., Liu, X., Kerridge, J. (2002). A Pattern-Based Framework for Database Reusability. In: (Ed.) International Conference on Software Engineering: Research and Practice (SERP'02), , () ( ed.). (pp. ). Las Vegas, USA: . .

Willis, A., Kukla, R., Kerridge, J., Hine, J. (2002). Laying the foundations: the use of video footage to explore pedestrian dynamics in PEDFLOW. In: Schreckenberg, M., Sharma, S. (Eds.) Pedestrian and Evacuation Dynamics, , () ( ed.). (pp. 181-186). Berlin Heidelberg: . Springer-Verlag.

2001

Kerridge, J., Hine, J. (2001). Agent based modelling of pedestrian movements:. Environment and Planning B: Planning and Design, 28, (), 327-341.

Kukla, R., Kerridge, J., Willis, A., Hine, J. (2001). PEDFLOW: Development of an Autonomous Agent Model of Pedestrian Flow. Transportation Research Record, 1774, (), 11-17.

Lewis, O. (2001). Software Reuse (PhD). Edinburgh Napier University (Buchanan, W.).

Roantree, M., Kennedy, J., Barclay, P. (2001). Using a Metadata Software Layer in Information Systems Integration. In: (Ed.) CAiSE'01 - Software Engineering meets Information Systems Engineering. Conference, , () ( ed.). (pp. ). Interlaken, Switzerland: . Springer-Verlag.

2000

Cooper, R., McKirdy, J., Griffiths, T., Barclay, P., Paton, N.W., Gray, P., Kennedy, J., Goble, C. (2000). Conceptual Modelling for Database User Interfaces. In: Arisawa, H., Catarci, T. (Eds.) Visual Database Systems - VDB5, 2000, , () ( ed.). (pp. 129-138). : . Kluwer.

Liu, X., Yang, H., Zedan, H., Cau, A. (2000). Speed and Scale Up Software Reengineering with Abstraction Patterns and Rules. In: (Ed.) ISPSE 2000 - International Symposium on Software Evolution, , () (November ed.). (pp. ). Kanazawa, Japan: . .

Paechter, B., Baeck, T., Schoenauer, M., Eiben, A.E., Merelo, J.J. (2000). ., “A Distributed Resource Evolutionary Algorithm Machine. In: (Ed.) Special Session on Evolving Information Ecosystems, , () ( ed.). (pp. ). : . .

Pullan, M.R., Watson, M., Kennedy, J., Raguenaud, C., Hyam, R. (2000). The Prometheus Taxonomic Model: a practical approach to representing multiple classification. Taxon, 49, (), 55-75.

Raguenaud, C., Kennedy, J., Barclay, P. (2000). The Prometheus Database for Taxonomy. In: Gunther, O., Lenz-H, J. (Eds.) 12th International Conference on Scientific and Statistical Database Management, SSDBM 2000, , () ( ed.). (pp. 250-252). : . IEEE Computer Society Press.

Raguenaud, C., Kennedy, J., Barclay, P. (2000). The Prometheus Taxonomic Database. In: (Ed.) Bio-Informatics and Biomedical Engineering, 2000, , () ( ed.). (pp. 63-70). : . IEEE Computer Society Press.

Willis, A., Kukla, R., Kerridge, J. (2000, September). Developing the Behavioural Rules for an Agent-based Model of Pedestrian Movement. Paper presented at 25th European Transport Congress, Cambridge, UK.

Yang, H., Liu, X., Zedan, H. (2000). Abstraction: a Key Notation for Reverse Engineering in a System Reengineering Approach. Journal of Software Maintenance: Research and Practice, 12, (4), .

1999

Graham, M., Kennedy, J., Hand, C. (1999). The Challenge of Visualising Multiple Overlapping Classification. In: Paton, N.W., Griffiths, T. (Eds.) IEEE User Interfaces to Data Intensive Systems (UIDIS) 1999, , () ( ed.). (pp. 42-51). Scotland: . IEEE Computer Society Press.

Kerridge, J., McNair, N. (1999). PEDFLOW - A system for modelling pedestrian movement using occam. In: Cook, B. (Ed.) Architectures, Languages and Techniques for Concurrent Systems, , () ( ed.). (pp. 1-17). : . IOS Press.

Kerridge, J., Welch, Peter H., Wood, D. (1999). Synchronisation Primitives for Highly Parallel Discrete Event Simulations. In: (Ed.) 32nd Hawaii International Conference on Systems Science - HICSS-32, 1999, , () ( ed.). (pp. ). : . IEEE Computer Society Press.

Liu, X., Yang, H., Zedan, H. (1999). On the Assessment of Reengineering Tools. In: (Ed.) WESS '99 - Workshop on Empirical Studies in Software Maintenance, , () ( ed.). (pp. ). Oxford, UK: . .

Mannion, M., Keepence, B. (1999). Supporting Product Family Variability Using Patterns. IEEE Software, (to appear), , (), .

1998

Chen, Z., Cau, A., Zedan, H., Liu, X., Yang, H. (1998). A Refinement Calculus for the Development of Real-time Systems. In: (Ed.) 5th Asia Pacific Software Engineering Conference, APSEC '98, , () (December ed.). (pp. ). Taipei, Taiwan: . .

Griffiths, T., McKirdy, J., Forrester, G., Paton, N.W., Barclay, P., Kennedy, J. (1998). An Open Model-Based Interface Development System: The Teallach Approach. In: Markopoulos, P., Johnson, P. (Eds.) 5th International Eurographics Workshop on Design, Specification and Verification of Interactive Systems - DSV-IS98, , () ( ed.). (pp. 62-49). Cosener's House, Abingdon, UK: . .

Liu, X., Yang, H., Zedan, H. (1998). Improving Maintenance through Development Experiences. In: (Ed.) WESS '98 - Workshop on Empirical Studies in Software Maintenance, , () (November ed.). (pp. ). Metropolitan, Washington D.C., USA: . .

Liu, X. (1998). Reverse Engineering Through Formal Abstraction. In: (Ed.) Post-graduate Conference, 1998, , () (April ed.). (pp. ). De Montfort University: . .

Yang, H., Liu, X., Zedan, H. (1998). Tackling the Abstraction Problem for Reverse Engineering in a System Reengineering Approach. In: (Ed.) the proceedings of the IEEE Conference on Software Maintenance (ICSM'98), , () (November ed.). (pp. ). Metropolitan, Washington D.C., USA: . .

1997

Barclay, K., Savage, J., McMahon, R. (1997). Object Modelling and the C++ Programming Language. In: (Ed.) International Symposium on Software Engineering, 1997, , () (February ed.). (pp. ). Rovaniemi University, Finland: . .

Kukla, R., Kerridge, J. (1997). Intelligent storage Devices for scalable information systems. Future Generation Computer Systems, 12, (5), 335-344.

Liu, X., Chen, Z., Yang, H., Zedan, H., Chu, W. (1997). A Design Framework for System Reengineering. In: (Ed.) Proceedings of Joint Asia Pacific Software Engineering Conference and International Computer Science Conference (APSEC'97/ICSC'97), , () (December ed.). (pp. ). Hong Kong: . .

Liu, X., Yang, H., Zedan, H. (1997). Formal Methods For The Reengineering of Computing Systems. In: (Ed.) Proceedings of The 21st IEEE International Conference on Computer Software and Application (COMPSAC'97), , () (August ed.). (pp. ). Washington, D.C., USA: . .

1996

Barclay, K., Savage, J., McMahon, R. (1996). Object Modelling and the C++ Programming. In: (Ed.) Language Tatoo '96, , () (April ed.). (pp. ). De Montford University, Leicester: . .

Kennedy, J., Mitchell, K., Barclay, P. (1996). A Framework for Information Visualisation. ACM SIGMOD Record, , (), .

Kennedy, J., Barclay, P. (Eds.) (1996). Proceedings of 3rd International Workshop on Interfaces to Databases, ElectronicWorkshopsinComputing, () ( ed.). : . Springer-Verlag.

Kerridge, J., Kukla, R. (1996). A Plug-in Disk-Interface-Process for the W-SQL Data Access Controller. In: O’Neill, B. (Ed.) Parallel Processing Developments, 74, () ( ed.). (pp. 75-88). Amsterdam: . IOS Press.

Kerridge, J., Walter, D. (1996). Design of the IRISS Parallel Database Machine. In: Liddell, H., Colbrook, A., Hertzberger, B., Sloots, P. (Eds.) High Performance Computing and Networks Europe 1996, 1067, () ( ed.). (pp. 913-914). : . Springer-Verlag.

Kerridge, J., Jelly, I., Bates, C. (1996). Modelling Test Data for Performance Evaluation of Large Parallel Database Machines. Distributed and Parallel Databases, 4, (), 5-23.

Kerridge, J., Jelly, I., Bates, C. (1996). Performance Evaluation of Large Parallel Database Machines : Techniques and Tools. In: Keane, J. (Ed.) Parallel Information Processing, , () ( ed.). (pp. 185-1202). : . Stanley Thorne / UNICOM.

Kerridge, J., Bates, C., Jelly, I., Forgacs, I., Szabo, E. (1996). Semantic Computability: A Mechanism for the Description of Test Data Sets for Scalable Information Systems. In: Liddell, H., Colbrook, A., Hertzberger, B., Sloots, P. (Eds.) High Performance Computing and Networks Europe 1996, 1067, () ( ed.). (pp. 677-682). : . Springer-Verlag.

Kukla, R., Kerridge, J. (1996). Intelligent Storage Devices for Scalable Information Management Systems. In: Liddell, H., Colebrook, A., Hertzberger, B., Sloot, P. (Eds.) High-Performance Computing and Networking, 1067, () ( ed.). (pp. 683-688). Berlin Heidelberg: . Springer-Verlag.

1995

Kerridge, J., Walter, D., Guiton, R. (1995). W-SQL An Interface for Highly Scalable Parallel Database Machines. In: Goble, C., Keane, J. (Eds.) 13th British National Conference on Database - BNCOD13, 1995, 940, () (July ed.). (pp. 263-276). Manchester: . Springer-Verlag.

Smyth, M. (1995). Human computer co-operative systems - Empowering users through partnership. In: (Ed.) Proceedings of the International Workshop on the Design of Cooperative Systems, , () ( ed.). (pp. 37-55). Antibes-Juan-les-Pins: . .

1994

Barclay, K., Gordon, B. (1994). C++ problem Solving and Programming ( ed.). : . Prentice Hall.

Kerridge, J., Waithe, S. (1994). A Scalable Massively Parallel Architecture for Database Concurrency Control. In: (Ed.) 1st International Conference on Concurrent Engineering: Research and Applications, 1994, , () (June ed.). (pp. ). : . .

Kerridge, J., McCarrol, N. (1994). A Strategy for Semantic Integrity Enforcement in a Parallel Database Machine. In: Bowers, D. (Ed.) 12th British National Conference on Database: Directions in Databases - BNCOD12, 1994, 826, () (July ed.). (pp. 137-152). : . Springer-Verlag.

Kerridge, J., Jelly, I., Bates, C. (1994). Benchmarking Parallel SQL Database Machines. In: Bowers, D. (Ed.) 12th British National Conference on Database: Directions in Databases - BNCOD12, 1994, 826, () (July ed.). (pp. 105-120). : . Springer-Verlag.

Kerridge, J. (1994). Dynamic Allocation of Processes and Channels in T9000/C104 Networks using occam3. In: (Ed.) WoTUG 17, 1994, , () (April ed.). (pp. 1-18). University of West of England Bristol: . IOS Press.

Kerridge, J., Nixon, P. (1994). Dynamic Allocation of TASKs in occam3. In: Gloria, A. De (Ed.) Transputer Applications and Systems '94, , () (September ed.). (pp. 375-389). : . IOS Press.

Kerridge, J. (1994). Generic Abstract Data Types in occam3(e). In: Vettoretto, M., Naghdy, F. , Gray, J.P. (Eds.) Parallel Computing and Transputer '94, , () (November ed.). (pp. 58-67). NSW, Australia: . IOS Press.

Kerridge, J., Chutimaskul, W. (1994). Generic Matrices in occam3(e),. In: Arabnia, H.R. (Ed.) Transputer Research and Application '94, NATUG 7, October, () (NATUG 7, October ed.). (pp. 255-267). Georgia, USA: . IOS Press.

Kerridge, J. (1994). Large Scale Data Management and Massively Parallel Architectures in Automatic Fingerprint Recognition. In: (Ed.) High Performance Computing and Networks, Europe 94, 796, () (April ed.). (pp. 435-440). Munich: . Springer-Verlag.

Kerridge, J., Lu, K., Jones, J. (1994). Modelling Congested Road Traffic Networks Using a Highly Parallel System. In: Gloria, A. De (Ed.) Transputer Applications and Systems '94, , () (September ed.). (pp. 634-647). : . IOS Press.

Kerridge, J., Lu, K., Jones, J. (1994). Modelling Saturated Traffic Networks Using Massively Parallel Computing Techniques. Traffic Engineering and Control, , (), .

Kerridge, J., Chutimaskul, W. (1994). Record Types with Ad-hoc Polymorphism in occam3(e). In: Noguchi, S. (Ed.) 6th International Conference Transputer and Occam, 1993, , () (June ed.). (pp. 117-130). : . IOS Press.

Kerridge, J., McCarrol, N. (1994). Scheduling Extended Transactions on Parallel Database Systems Using occam. In: Gloria, A. De (Ed.) Transputer Applications and Systems '94, , () (September ed.). (pp. 431-445). : . IOS Press.

Kerridge, J. (1994). The IDIOMS Parallel Database Machine: Design, Performance and Future Directions. In: Noguchi, S. (Ed.) 6th International Conference Transputer and Occam, 1993, , () (June ed.). (pp. 33-52). : . IOS Press.

Kerridge, J. (1994). Using occam3 to build large parallel systems: Part2, a scalable file system. In: (Ed.) Transputer Communications, Vol2, No1, March, () (Vol2, No1, March ed.). (pp. 1-24). : . John Wiley.

Smyth, M. (1994). Toward a Co-operative Software Agent. In: Connolly, J., Edmonds, E. (Eds.) CSCW and Artificial Intelligence, , () ( ed.). (pp. 1-11). London: . Springer-Verlag.

1993

Kerridge, J., Waithe, S. (1993). An Appreciation of the Subtleties of Shared Channels in occam3. in Transputer and occam Reseach: New Directions. In: Kerridge, J. (Ed.) T, , () ( ed.). (pp. 232-245). : . IOS Press.

Kerridge, J. (1993). Large Scale Data Management and Massive Parallel Architecture in Criminal Justice Information Services. In: (Ed.) Research in Criminal Justice Information Services Technology Symposium, , () (September ed.). (pp. C211-C218). Gaithersburg: . NIST.

Kerridge, J., Chutimaskul, W. (1993). Record Types with Ad-hoc Polymorphism in occam3(e). in Transputer Applications and Systems '93. In: Grebe, R. (Ed.) Record Types with Ad-hoc Polymorphism in occam3(e). in Transputer Applications and Systems '93, , () ( ed.). (pp. 1181-1195). : . IOS Press.

Kerridge, J. (1993). The Implementation of Large Parallel Database Machines on T9000 and C104 Networks. In: May, M., Thompson, P., Welch, Peter H. (Eds.) Networks, Routers and Transputers, , () ( ed.). (pp. 133-149). : . IOS Press.

Kerridge, J. (1993). Towards a Benchmark for Scalable Parallel Database Machines. In: (Ed.) Workshop on Performance Evaluation of Parallel Systems, PEPS'93, , () (November ed.). (pp. 166-173). University of Warwick: . .

Kerridge, J. (1993). Using occam3 to build large parallel systems: Part1, occam3 features. Transputer Communications, 1, (1), 47-63.

Russell, G., Cockshott, W.P. (1993). Architectures for persistence. Microprocessors and Microsystems, 17, (3), 117-130.

1992

Barclay, P., Fraser, C., Kennedy, J. (1992). Using a persistent system to construct a customised interface to an ecological db. In: Cooper, R. (Ed.) 1st International workshop on Interfaces to Database, , () ( ed.). (pp. ). Glasgow: . Springer-Verlag.

Kerridge, J. (1992). A Transputer Based System to Control Congested Traffic Flow. In: Valero, M., Jane, M.R., Onate, E. (Eds.) International Conference on Parallel Computing and Transputer Applications - PACTA '92, , () ( ed.). (pp. 1176-1185). : . IOS Press.

Kerridge, J. (1992). Control of a Large Massively Parallel Database Machine, Using SQL Catalogue Extensions and a DSDL in Preference to an Operating System, Advanced Database Systems. In: Gray, P.M.D., Lucas, R.J. (Eds.) 10th British National Conference on Databases - BNCOD10, 1992, , () ( ed.). (pp. 138-155). : . Springer-Verlag.

Kerridge, J., Krug, J. (1992). Managing the Design and Implementation of Large Parallel Systems.Transputer Applications - progress and prospects. In: Jane, M.R., Fawcett, R.J., Mawby, T.P. (Eds.) T, , () ( ed.). (pp. 42-53). : . IOS Press.

1991

Kerridge, J., Miller, G. (1991). A Transputer Based Parallel Sort Engine. in Transputer Applications '91. In: Duranni, T. (Ed.) T, , () ( ed.). (pp. 6). : . IOS Press.

Kerridge, J., Oates, R. (1991). Aspects of Database Machine Design Using the T9000, C104, and occam 91. in occam and the transputer - current developments. In: Edwards, J. (Ed.) T, , () ( ed.). (pp. 13-27). : . IOS Press.

Kerridge, J., Oates, R. (1991). Improving the Fault Tolerance of the Recovery Ring. in Transputer Applications '91. In: Duranni, T. (Ed.) T, , () ( ed.). (pp. 6). : . IOS Press.

Kerridge, J. (1991). The Design of the IDIOMS Parallel Database Machine, in Aspects of Databases. In: Jackson, M., Robinson, A. (Eds.) T, , () ( ed.). (pp. 128-149). : . Butterworth Heinemann.

1990

Kerridge, J., Jones, G. (1990). A Disk Handling Library for 3L Compilers. in Transputer Applications 90. In: Pritchard, D., Scott, C. (Eds.) T, , () ( ed.). (pp. 355-360). : . IOS Press.

Kerridge, J. (1990). Parallel Processing and the Transputer. In: Nicholson, R., Linkens, D. (Eds.) Trends in Information Technology, , () ( ed.). (pp. 53-68). : . Peter Peregrinus.

1989

Kerridge, J., Oates, R., Wright, S. (1989). Design Abstract Data Types and occam. in applying transputer based Parallel Machines. In: Bakkers, A. (Ed.) 10th Occam user group meeting. Applying Transputer Bases Parallel Machines, 1989, , () ( ed.). (pp. 29-46). : . IOS Press.

Kerridge, J., Gorton, I., Jervis, B. (1989). Simulating Multiprocessor systems using occam on a network of transputers. IEE Proceedings - E Computers and Digital Techniques, , (), 22-28.

1988

Kerridge, J. (1988). Developments using occam ( ed.). : . IOS Press.

1987

Kerridge, J., Emms, J. (1987). A Definition of an Access Control Systems Language. Computer Standards and Interfaces, , (6), 25.

Kerridge, J. (1987). occam programming - a practical approach ( ed.). : . Blackwell Scientific Publications.

1986

Kerridge, J., Simpson, D. (1986). Communicating Parallel Processes. Software Practice and Experience, 16, (1), 63-86.

1985

Kerridge, J. (1985). Experience with Teaching occam. Computer Bulletin, , (), .

1984

Kerridge, J. (1984). An Architecture and Language Syntax for Distributed Databases for the Network Model. In: (Ed.) 3rd British National Conference on Databases, , () ( ed.). (pp. 207-224). : . Cambridge University Press.

Kerridge, J., Simpson, D. (1984). Three Solutions to Controlling a Robot Arm, using Pascal plus, Edison and occam. Software Practice and Experience, 14, (1), 3-16.