Department of Computer Science
 

Senior Lecturer

1 West 4.65

Dept of Computer Science

Email: j.a.padget@bath.ac.uk

Tel: +44 (0) 1225 38 6971

 

Dr Julian Padget

Profile

Research interests

The main focus of my research is understanding the nature of (virtual) institutions and their application to the correct behaviour of software systems. Consequently there is a strong practical orientation involving significant software development. All the application areas are intrinsically distributed, such as agent-based systems, agent-based simulation, governance of agent interaction by (virtual) institutions, verification of (virtual) institutions, grid trading systems, mechanism design, (mathematical) web service brokerage, (mathematical) web service composition, semantic service description and discovery, distributed sound synthesis and distributed musical performance using software and human agents.

Information given here is limited and in generic terms because I prefer to maintain my teaching and research information via my home page - please browse!

Publications

King, T. C., De Vos, M., Dignum, V., Jonker, C. M., Li, T., Padget, J. and van Riemsdijk, M. B., 2017. Automated multi-level governance compliance checking. Autonomous Agents and Multi-Agent Systems

Pourroostaei Ardakani, S., Padget, J. and De Vos, M., 2017. A Mobile Agent Routing Protocol for Data Aggregation in Wireless Sensor Networks. International Journal of Wireless Information Networks, 24 (1), pp. 27-41.

Jahedpari, F., Rahwan, T., Hashemi, S., Michalak, T. P., De Vos, M., Padget, J. and Woon, W. L., 2017. Online Prediction via Continuous Artificial Prediction Markets. IEEE Intelligent Systems, 32 (1), 7851146.

Lovett, T., Lee, J., Thomas, E., Natarajan, S., Brown, M., Padget, J. and Coley, D., 2016. Designing sensor sets for capturing energy events in buildings. Building and Environment, 110, pp. 11-22.

Pourroostaei Ardakani, S., Padget, J. and De Vos, M., 2016. CBA:a cluster-based client/server data aggregation routing protocol. Ad Hoc Networks, 50, pp. 68-87.

Smith, T., Padget, J. and Vidler, A., 2016. Design Space Descriptions for Logical Generation of Content. IOS Press, pp. 209-214.

Aldewereld, H., Boissier, O., Dignum, V., Noriega, P. and Padget, J., eds., 2016. Social Coordination Frameworks for Social Technical Systems. Springer International Publishing.

Shams, Z., Vos, M. D., Padget, J. and Vasconcelos, W., 2016. Implementation of normative practical reasoning with durative actions. Springer International Publishing, pp. 335-353.

King, T. C., Li, T., De Vos, M., Jonker, C. M., Padget, J. and van Riemsdijk, M. B., 2016. Revising institutions governed by institutions for compliant regulations. In: Dignum, V., Noriega, P., Sensoy, M. and Simao Sichman, J., eds. International Conference on Coordination, Organisations, Institutions and Norms in Agent Systems, 2015, 2015-05-04 - 2015-05-04. Springer International Publishing, pp. 191-208.

Vellei, M., Natarajan, S., Biri, B., Padget, J. and Walker, I., 2016. The effect of real-time context-aware feedback on occupants' heating behaviour and thermal adaptation. Energy and Buildings, 123, pp. 179-191.

Duro, J. A., Padget, J. A., Bowen, C. R., Kim, H. A. and Nassehi, A., 2016. Multi-sensor data fusion framework for CNC machining monitoring. Journal of Mechanical Systems and Signal Processing, 66-67, pp. 505-520.

Alwan, E., Fitch, J. and Padget, J., 2016. Enhancing the performance of decoupled software pipeline through backward slicing. Research Journal of Applied Sciences, 11 (10), pp. 900-909.

Padget, J., Elakehal, E., Li, T. and De Vos, M., 2016. InstAL: An Institutional Action Language. In: Social Coordination Frameworks for Social Technical Systems.Vol. 30. Springer Verlag, p. 101.

Shams, Z., De Vos, M., Oren, N. and Padget, J., 2016. Normative practical reasoning via argumentation and dialogue. In: Kambhampati, S., ed. Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI), 2016. Palo Alto, U. S. A.: AAAI Press, pp. 1244-1250.

Smith, T. and Padget, J., 2015. Semantic Descriptions for Logical Content Generation. In: Foundations of Digital Games 2015, 2015-06-22 - 2015-06-25, California.

Thompson, M., Battle, S. and Padget, J., 2015. Telling non-linear stories with interval temporal logic. In: Shoenau-Fog, H., Bruni, L. E., Louchart, S. and Baceviciute, S., eds. 8th International Conference on Interactive Digital Storytelling, ICIDS 2015, 2015-11-30 - 2015-12-04. Switzerland: Springer, pp. 370-373.

Li, T., De Vos, M., Padget, J., Satoh, K. and Balke, T., 2015. Debugging ASP using ILP. CEUR, 1 - 14.

Pieters, W., Padget, J., Dechesne, F., Dignum, V. and Aldewereld, H., 2015. Effectiveness of qualitative and quantitative security obligations. Journal of Information Security and Applications, 22, pp. 3-16.

Padget, J. and Vasconcelos, W., 2015. Policy-Carrying Data:A Step Towards Transparent Data Sharing. In: The 6th International Conference on Ambient Systems, Networks and Technologies, 2015-06-02 - 2015-06-05.

Basurra, S. S., De Vos, M., Padget, J., Ji, Y., Lewis, T. and Armour, S., 2015. Energy efficient zone based routing protocol for MANETs. Ad Hoc Networks, 25 (Part A), pp. 16-37.

King, T., Li, T., De Vos, M., Dignum, V., Jonker, C., Padget, J. and van Riemsdijk, M. B., 2015. A Framework for Institutions Governing Institutions. In: 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015), 2015-05-04 - 2015-05-08.

Baines, V. and Padget, J., 2015. A situational awareness approach to intelligent vehicle agents. In: Baines, V. and Padget, J., eds. 2nd SUMO User Conference, SUMO 2014, 2014-05-15 - 2014-05-16. Springer, pp. 77-103.

Thompson, M., Padget, J. and Battle, S., 2015. An interactive, generative Punch and Judy show using institutions, ASP and emotional agents. In: AISB Convention 2015, 2015-04-20 - 2015-04-22. The Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB).

Shams, Z., Vos, M. D., Oren, N., Padget, J. and Satoh, K., 2015. Argumentation-based Normative Practical Reasoning.

Thompson, M., Padget, J. and Battle, S., 2015. Governing narrative events with institutional norms. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, pp. 142-151.

Elakehal, E. E., Montali, M. and Padget, J., 2015. Run-time verification of MSMAS norms using event calculus. In: 2014 8th IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2014, 2014-09-08 - 2014-09-12. IEEE, pp. 110-115.

Vellei, M., Natarajan, S., Biri, B., Padget, J. and Walker, I., 2015. The effect of real-time context-aware feedback on thermal comfort and heating energy use:A case study. In: 31th International PLEA Conference: ARCHITECTURE IN (R)EVOLUTION, 2015-09-09 - 2015-09-11.

Noriega, P., Padget, J., Verhagen, H. and D’Inverno, M., 2015. Towards a framework for socio-cognitive technical systems. In: Ghose, A., Oren, N., Telang, P. and Thangarajah, J., eds. 10th International Conference on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2014, 2016-05-06 - 2016-05-06. Switerland: Springer, pp. 164-181.

Song, Y.-Z., Bowen, C. R., Kim, H. A., Nassehi, A., Padget, J., Gathercole, N. and Dent, A., 2014. Non-invasive damage detection in beams using marker extraction and wavelets. Mechanical Systems and Signal Processing, 49 (1-2), pp. 13-23.

McCullen, N., Walker, I., Natarajan, S. and Padget, J., 2014. Smart meter roll-out strategy and its effect on energy savings at community level. In: Behave Energy Conference, 2014-09-03 - 2014-09-04, Said Business School, University of Oxford.

Song, Y.-Z., Bowen, C. R., Kim, A. H., Nassehi, A., Padget, J. and Gathercole, N., 2014. Virtual visual sensors and their application in structural health monitoring. Structural Health Monitoring - An International Journal, 13 (3), pp. 251-264.

Chiang, T., Mevlevioglu, G., Natarajan, S., Padget, J. and Walker, I., 2014. Inducing [sub]conscious energy behaviour through visually displayed energy information:A case study in university accommodation. Energy and Buildings, 70, pp. 507-515.

Padget, J., Elakehal, E. E., Satoh, K. and Ishikawa, F., 2014. On requirements representation and reasoning using answer set programming. In: 2014 IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, AIRE 2014 - Proceedings, 2014-08-26 - 2014-08-26. IEEE, pp. 35-42.

Lovett, T. R., Gabe-Thomas, E., Natarajan, S., Brown, M. and Padget, J. A., 2014. Designing sensor sets for capturing energy events in buildings. Working Paper.

Duan, K., Padget, J. and Kim, H. A., 2014. A light-weight framework for bridge-building from desktop to cloud.

Li, T., Jiang, J., Aldewereld, H., De Vos, M., Dignum, V. and Padget, J., 2014. Contextualized Institutions in Virtual Organizations. Springer, pp. 136-154.

Lovett, T., Gabe-Thomas, E., Natarajan, S., Brown, M. and Padget, J., 2014. Designing sensor sets for capturing energy events in buildings. In: 5th ACM International Conference on Future Energy Systems, e-Energy 2014, 2014-06-11 - 2014-06-13. New York, U. S. A.: ACM, pp. 229-230.

Pourroostaei Ardakani, S., Padget, J. and De Vos, M., 2014. HRTS: A Hierarchical Reactive Time Synchronization Protocol for Wireless Sensor Networks. Springer, pp. 47-62.

Li, T., Balke, T., De Vos, M., Padget, J. and Satoh, K., 2014. Legal conflict detection in interacting legal systems. In: 1st International Jurix Doctoral Consortium and Poster Sessions, JURIX-DoCoPe 2013, in Conjunction with the 26th International Conference on Legal Knowledge and Information Systems, JURIX 2013, 2013-12-11 - 2013-12-13.

Lee, J., Padget, J., Logan, B., Dybalova, D. and Alechina, N., 2014. N-Jason: Run-time norm compliance in AgentSpeak(L). In: Dalpiaz, F., Dix, J. and Birna van Riemsdiijk, M., eds. 2nd International Workshop on Engineering Multi-Agent Systems, EMAS 2014, 2014-05-05 - 2014-05-06. Springer, pp. 367-387.

Lee, J., Padget, J., Logan, B., Dybalova, D. and Alechina, N., 2014. Run-time norm compliance in BDI agents. In: 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014, 2014-05-05 - 2014-05-09. The International Foundation for Autonomous Agents and Multiagent Systems, pp. 1581-1582.

Mevlevioglu, G., Natarajan, S. and Padget, J. A., 2014. Using semantic annotation in building databases to improve information and energy modelling: a use-case of UK domestic time-series data. Working Paper.

Pieters, W., Padget, J., Dechesne, F., Dignum, V. and Aldewereld, H., 2013. Obligations to enforce prohibitions:On the adequacy of security policies. In: 6th International Conference on Security of Information and Networks (SIN 2013), 2013-11-26 - 2013-11-28. New York, NY, USA: ACM, pp. 54-61.

Balke, T., De Vos, M. and Padget, J., 2013. I-ABM:combining institutional frameworks and agent-based modelling for the design of enforcement policies. Artificial Intelligence and Law, 21 (4), pp. 371-398.

Lee, J., Li, T. and Padget, J., 2013. Towards polite virtual agents using social reasoning techniques. Computer Animation and Virtual Worlds, 24 (3-4), pp. 335-343.

Dignum, V. and Padget, J., 2013. Multiagent organizations. In: Weiss, G., ed. Multiagent Systems, 2nd ed. Cambridge, U. K.: MIT Press, pp. 51-98.

Li, T., Balke, T., De Vos, M., Padget, J. and Satoh, K., 2013. Legal conflict detection in interacting legal systems. Amsterdam, The Netherlands: IOS Press, pp. 107-116.

Lovett, T., Gabe-Thomas, E., Natarajan, S., O'neill, E. and Padget, J., 2013. 'Just enough' sensing to ENLITEN:A preliminary demonstration of sensing strategy for the 'ENergy LIteracy Through an intelligent home ENergy advisor' (ENLITEN) project. In: 4th ACM International Conference on Future Energy Systems, e-Energy 2013, 2013-05-21 - 2013-05-24. New York: ACM, pp. 279-280.

Li, T., Balke, T., De Vos, M., Padget, J. and Satoh, K., 2013. A model-based approach to the automatic revision of secondary legislation. In: 14th International Conference on Artificial Intelligence and Law, ICAIL 2013, 2013-06-10 - 2013-06-14. NY, USA: ACM, pp. 202-206.

Balke, T., De Vos, M. and Padget, J., 2013. An agent-based simulation approach to comparative analysis of enforcement mechanisms. In: 14th International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems VIII (COIN 2012), 2012-06-05 - 2012-06-05. Berlin, Germany: Springer, pp. 53-70.

Lee, J., Baines, V. and Padget, J., 2013. Decoupling cognitive agents and virtual environments. In: 1st International Workshop on Cognitive Agents for Virtual Environments, CAVE 2012, 2012-06-03 - 2012-06-03. Berlin, Germany: Springer, pp. 17-36.

Li, T., Balke, T., De Vos, M., Satoh, K. and Padget, J. A., 2013. Detecting conflicts in legal systems. In: Motomura, Y., Butler, A. and Bekki, D., eds. 4th JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2012, 2012-11-30 - 2012-12-01. Berlin: Springer, pp. 174-189.

Balke, T., De Vos, M. and Padget, J., 2013. Evaluating the Cost of Enforcement by Agent-Based Simulation:A Wireless Mobile Grid Example. Springer, pp. 21-36.

Bevan, C., Emanuel, L., Padget, J., Swart, J., Powell, J. and Basurra, S., 2013. Factors in the emergence and sustainability of self-regulation. In: AISB Convention. Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH)., 2013-04-03 - 2013-04-05.

Lee, J., Li, T., De Vos, M. and Padget, J. A., 2013. Governing intelligent virtual agent behaviour with norms. The International Foundation for Autonomous Agents and Multiagent Systems, pp. 1205-1206.

Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. and Satoh, K., 2013. Handling change in normative specifications. In: Baldoni, M., Dennis, L., Mascardi, V. and Vasconcelos, W., eds. 10th International Workshop, DALT 2012, 2012-06-04 - 2012-06-04. Berlin: Springer, pp. 1-19.

Padget, J., 2013. Situating COIN in the cloud (Invited Paper). In: 14th International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems VIII (COIN 2012), 2012-06-05 - 2012-06-05. Springer, pp. 1-16.

Savarimuthu, B. T. R., Padget, J. and Purvis, M., 2013. Social norm recommendation for virtual agent societies. Springer Verlag, pp. 308-323.

Elakehal, E. E., Montali, M. and Padget, J., 2013. Verifying MSMAS model using S CIFF. In: Klusch, M., Thimm, M. and Paprzycki, M., eds. 11th German Conference on Multiagent System Technologies, MATES 2013, 2013-09-16 - 2013-09-20. Berlin: Springer, pp. 44-58.

Basurra, S.S., Ji, Y., De Vos, M., Padget, J., Lewis, T. and Armour, S., 2012. Social-aware routing for wireless mesh networks. In: 76th IEEE Vehicular Technology Conference, 2012-09-03 - 2012-09-06.

Novelli, V., De Vos, M., Padget, J. and D'Ayala, D., 2012. LOG-IDEAH:ASP for architectonic asset preservation. In: Dovier, A. and Santos Costa, V., eds. 28th International Conference on Logic Programming, 2012-09-04 - 2012-09-08. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 393-403.

Elakehal, E. E. and Padget, J., 2012. MSMAS: modelling self-managing multi agent systems. Journal of Scalable Computing: Practice and Experience, 13 (2), pp. 121-137.

Duan, K., Ye, V., Kim, H. and Padget, J., 2012. A resource-oriented architecture for MDO framework. In: 53rd AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics and Materials Conference, 2012-04-23 - 2012-04-26. Reston, U. S. A.: American Institute of Aeronautics and Astronautics (AIAA), AIAA-2012-1674.

Brazier, F., Dignum, V., Huhns, M. N., Derksen, C., Dignum, F., Lessner, T., Padget, J., Quillinan, T. and Singh, M. P., 2012. Agent-based organisational governance of services. Multiagent and Grid Systems, 8 (1), pp. 3-18.

Duan, K., Padget, J., Kim, H.A. and Hosobe, H., 2012. Composition of engineering web services with universal distributed data-flows framework based on ROA. In: Alarcon, R., Pautasso, C. and Wilde, E., eds. Third International Workshop on RESTful Design (WS-REST 2012) at WWW2012, 2012-04-16. New York, U. S. A.: Association for Computing Machinery (ACM), pp. 41-48.

Lam, V. S. W. and Padget, J., 2012. Equivalence checking of communicating UML statechart diagrams. International Journal of Software Engineering and Knowledge Engineering, 22 (2), pp. 265-304.

Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. A. and Satoh, K., 2012. Handling change in normative specifications. In: Hoek, W. v. d., Padgham, L., Conitzer, V. and Winikoff, M., eds. The 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2012, 2012-06-04 - 2012-06-08. IFAAMAS, pp. 1369-1370.

Elakehal, E. E. and Padget, J., 2012. Market intelligence and price adaptation. In: 14th Annual International Conference on Electronic Commerce, ICEC 2012, 2012-08-06 - 2012-08-07. New York, U. S. A.: ACM, pp. 9-16.

Balke, T., De Vos, M. and Padget, J., 2012. Normative run-time reasoning for institutionally-situated BDI agents. Berlin, Germany: Springer Verlag, pp. 129-148.

Bibu, G., Padget, J. and Yoshioka, N., 2012. System security requirements analysis with answer set programming. In: 2012 2nd IEEE International Workshop on Requirements Engineering for Systems, Services, and Systems-of-Systems, 2012-09-24 - 2012-09-24. IEEE, pp. 10-13.

Balke, T., De Vos, M. and Padget, J., 2011. Analysing energy-incentivized cooperation in next generation mobile networks using normative frameworks and an agent-based simulation. Future Generation Computer Systems, 27 (8), pp. 1092-1102.

Natarajan, S., Padget, J. and Elliott, L., 2011. Modelling UK domestic energy and carbon emissions: an agent-based approach. Energy and Buildings, 43 (10), pp. 2602-2612.

Corapi, D., Russo, A., De Vos, M., Padget, J. and Satoh, K., 2011. Normative design using inductive learning. Theory and Practice of Logic Programming, 11 (4-5), pp. 783-799.

Balke, T., De Vos, M., Padget, J. and Traskas, D., 2011. On-line reasoning for institutionally-situated BDI agents. In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011-05-02 - 2011-05-06.

Elakehal, E. E. and Padget, J., 2011. A Practical Method for Developing Multi Agent Systems: APMDMAS. Heidelberg: Springer, pp. 11-20.

Traskas, D. and Padget, J., 2011. A multi-agent systems approach to call-centre management. International Journal of Parallel, Emergent and Distributed Systems, 26 (5), pp. 347-367.

Traskas, D., Padget, J. and Tansley, J., 2011. A probabilistic mechanism for agent discovery and pairing using domain-specific data. In: 6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010, August 30, 2010 - August 30, 2010, 2011-01-01. Heidelberg: Springer, pp. 192-209.

Vazquez-Salceda, J., Vasconcelos, W., Padget, J., Dignum, F., Clarke, S., Palau, M., Sergeant, P. and Nieuwenhuis, K., 2011. ALIVE:a model-driven framework to develop dynamic, flexible, distributed service-oriented systems. In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, September 23, 2010 - September 26, 2010, 2011-01-01. Piscataway, NJ: IEEE Computer Society, pp. 485-492.

Padget, J., Riat, H., Forchhammer, B., Warnier, M., Brazier, F. M. T. and Natarajan, S., 2011. An agent-based infrastructure for energy profile capture and management. In: 2011 International Conference on Networking, Sensing and Control, ICNSC 2011, 2011-04-11 - 2011-04-13.

Nieves, J. C., Padget, J., Vasconcelos, W., Staikopoulos, A., Cliffe, O., Dignum, F., Vazquez-Salceda, J., Clarke, S. and Reed, C., 2011. Coordination, organisation and model driven approaches for dynamic, flexible, robust software and services engineering. In: Schahram, D. and Li, F., eds. Services Engineering: European Research Results. Vienna, Austria: Springer, pp. 85-115.

De Vos, M., Padget, J. and Satoh, K., 2011. Legal modelling and reasoning using institutions. In: 2nd JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2010, November 18, 2010 - November 19, 2010, 2011-01-01. Heidelberg: Springer, pp. 129-140.

Song, Y.-Z., Bowen, C., Kim, H. A., Nassehi, A., Padget, J., Gathercore, N. and Dent, A., 2011. Non-invasive damage detection in composite beams using marker extraction and wavelets. Proceedings of SPIE - The International Society for Optical Engineering, 7983, 79830R.

Corapi, D., De Vos, M., Padget, J., Russo, A. and Satoh, K., 2011. Norm refinement and design through inductive learning. In: 6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010, August 30, 2010 - August 30, 2010, 2011-01-01. Heidelberg: Springer, pp. 77-94.

Balke, T., De Vos, M., Padget, J. A. and Traskas, D., 2011. Normative run-time reasoning for institutionally-situated BDI agents. In: 2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT 2011, 2011-08-21 - 2011-08-26. Piscataway, U.S.A: IEEE Computer Society.

Balke, T., De Vos, M., Padget, J. and Fitzek, F., 2011. Using a normative framework to explore the prototyping of wireless grids. In: 6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010, August 30, 2010 - August 30, 2010, 2011-01-01. Heidelberg: Springer, pp. 95-113.

Basurra, S. S., De Vos, M., Padget, J., Lewis, T. and Armour, S., 2010. A zone-based routing protocol with parallel collision guidance broadcasting for MANET. In: 2010 IEEE 12th International Conference on Communication Technology, ICCT'2010, November 11, 2010 - November 14, 2010, 2010-11-01. IEEE, pp. 1188-1191.

Aldewereld, H., Padget, J., Vasconcelos, W., Vazquez-Salceda, J., Sergeant, P. and Staikopoulos, A., 2010. Adaptable, organization-aware, service-oriented computing. IEEE Intelligent Systems, 25 (4), pp. 80-84.

Cliffe, O., Scotney, A. and Padget, J., 2010. Bootstrapping semantic web services with in-language annotations. In: 7th Extended Semantic Web Conference, 2010-05-29 - 2010-06-03.

Padget, J., Riat, H., Warnier, M., Brazier, F. and Natarajan, S., 2010. An agent-based infrastructure for energy profile capture and management. In: Agent Technologies for Energy Systems (ATES 2010), 2010-05-11.

Staikopoulos, A., Cliffe, O., Popescu, R., Padget, J. and Clarke, S., 2010. Template-based adaptation of semantic web services with model-driven engineering. IEEE Transactions on Services Computing, 3 (2), pp. 116-130.

Vazquez-Salceda, J., Vasconcelos, W., Padget, J. A., Dignum, F., Clarke, S. and Roig, M. P., 2010. ALIVE:an agent-based framework for dynamic and robust service-oriented applications. In: Hoek, W. v. d., Kaminka, G. A., Lespérance, Y., Luck, M. and Sen, S., eds. The Ninth International Conference on Autonomous Agents and Multiagent Systems, 2010, 2010-05-09 - 2010-05-14. Richland, U. S. A.: IFAAMAS, pp. 1637-1638.

Vazquez-Salceda, J., Ceccaroni, L., Dignum, F., Vasconcelos, W., Padget, J., Clarke, S., Sergeant, P. and Nieuwenhuis, K., 2010. Combining organisational and coordination theory with model driven approaches to develop dynamic, flexible, distributed business systems. In: 1st International ICST Conference on Digital Business, DigiBiz 2009, June 17, 2009 - June 19, 2009, 2010-01-01. Heidelberg: Springer, pp. 175-184.

Padget, J., Artikis, A., Vasconcelos, W., Stathis, K., Torres da Silva, V., Matson, E. and Polleres, A., eds., 2010. Coordination, Organizations, Institutions and Norms in Agent Systems V. Springer.

Brazier, F.M., Dignum, V., Dignum, F., Huhns, M.H., Lessner, T., Padget, J., Quillinan, T. and Singh, M.P., 2010. Governance of services:a natural function for agents. In: 22nd Benelux Conference on Artificial Intelligence, BNAIC 2010, 2000-10-24 - 2010-10-25.

Hopton, L., Cliffe, O., De Vos, M. and Padget, J., 2010. InstQL: A Query Language for Virtual Institutions Using Answer Set Programming. Berlin: Springer, pp. 102-121.

Khader, D., Padget, J. and Warnier, M., 2010. Reactive monitoring of service level agreements. Dordrecht, Germany: Springer Verlag, pp. 13-22.

Traskas, D. and Padget, J., 2009. Engineering agent organisations in a business environment. Springer, pp. 49-64.

Crick, T., Dunning, P., Kim, H. A. and Padget, J., 2009. Engineering design optimization using services and workflows. Philosophical Transactions of the Royal Society A - Mathematical Physical and Engineering Sciences, 367 (1898), pp. 2741-2751.

Lam, J. S. C., Vasconcelos, W. W., Guerin, F., Corsar, D., Chorley, A., Norman, T. J., Vázquez-Salceda, J., Panagiotidi, S., Confalonieri, R., Gomez, I., Hidalgo, S., Napagao, S. A., Nieves, J. C., Palau Roig, M., Ceccaroni, L., Aldewereld, H., Dignum, V., Dignum, F., Penserini, L., Padget, J., De Vos, M., Andreou, D., Cliffe, O., Staikopoulos, A., Popescu, R., Clarke, S., Sergeant, P., Reed, C., Quillinan, T. and Nieuwenhuis, K., 2009. ALIVE: A Framework for Flexible and Adaptive Service Coordination. Heidelberg: Springer, pp. 236-239.

Hopton, L., Cliffe, O., De Vos, M. and Padget, J., 2009. AQL : A query language for action domains modelled using answer set programming. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. 10th International Conference on Logic Programming and Nonmonotonic Reasoning, 2009-01-01. Berlin, Germany: Springer, pp. 437-443.

Van Splunter, S., Brazier, F., Padget, J. and Rana, O., 2009. Dynamic service reconfiguration and enactment using an open matching architecture. In: 1st International Conference on Agents and Artificial Intelligence, ICAART 2009, January 19, 2009 - January 21, 2009, 2009-01-01. Instrumentation Systems and Automation Society, pp. 533-539.

Van Splunter, S., Brazier, F., Padget, J. and Rana, O., 2009. Dynamic service reconfiguration and enactment using an open matching architecture. In: 21st Benelux Conference on Artificial Intelligence, BNAIC 2009, 2009-10-29 - 2009-10-30.

Cliffe, O., De Vos, M. and Padget, J., 2009. Modelling normative frameworks using answer set programing. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. 10th International Conference on Logic Programming and Nonmonotonic Reasoning, 2009-01-01. Berlin, Germany: Springer, pp. 548-553.

Alvarez-Napageo, S., Cliffe, O. C., Vazquez-Salceda, J. and Padget, J. A., 2009. Norms, organisations and semantic web services:the ALIVE approach. In: 2nd Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW 2009, 2009-09-07 - 2009-09-10.

Dignum, F., Dignum, V., Padget, J. and Vazquez-Salceda, J., 2009. Organizing web services to develop dynamic, flexible, distributed systems. In: 11th International Conference on Information Integration and Web-based Applications and Services (iiWAS2009), 2009-12-14 - 2009-12-16.

Cliffe, O., De Vos, M., Padget, J. and Brain, M., 2008. ASPViz: Declarative Visualisation and Animation Using Answer Set Programming. In: 24th International Conference on Logic Programming (ICLP 2008), 2008-12-09 - 2008-12-13. Berlin / Heidelberg: Springer, pp. 724-728.

Staikopoulos, A., Saudrais, S., Clarke, S., Padget, J., Cliffe, O. and De Vos, M., 2008. Mutual Dynamic Adaptation of Models and Service Enactment in ALIVE. In: Models@Runtime workshop, Models 2008, 2008-09-01, Toulouse.

Staikopoulos, A., Saudrais, S., Clarke, S., Padget, J., Cliffe, O. and De Vos, M., 2008. Mutual dynamic adaptation of models and service enactment in ALIVE. In: Models@Runtime workshop, Models 2008, 2008-09-01.

Crick, T., Dunning, P., Kim, H. A. and Padget, J., 2008. Structural optimization using services and workflows. In: UK e-Science All Hands Meeting: Crossing Boundaries, 2008-09-08 - 2008-09-11.

Sichman, J. S., Padget, J., Ossowski, S. and Noriega, P., eds., 2008. Coordination, Organizations, Institutions, and Norms in Agent Systems III. Springer.

Cliffe, O., De Vos, M. and Padget, J., 2008. Embedding landmarks and scenes in a computational model of institutions. In: Sichman, J. S., Padget, J., Ossowski, S. and Noriega, P., eds. International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN 2007: COIN@AAMAS 2007 and COIN@MALLOW 2007, September 3, 2007 - September 4, 2007, 2008-01-01. Springer, pp. 41-57.

Crick, T., Dunning, P., Kim, H. and Padget, J., 2008. Engineering design optimisation using services and workflows.

Gradwell, P., Oey, M., Timmer, R., Brazier, F. and Padget, J., 2008. Engineering large-scale distributed auctions. In: 20th Belgian-Dutch Conference on Artificial Intelligence, BNAIC 2008, 2008-10-30 - 2008-10-31.

El-Akehal, E. E.-d. and Padget, J. A., 2008. Pan-supplier stock control in a virtual warehouse. In: Berger, M., Burg, B. and Nishiyama, S., eds. AAMAS08 7th International Conference on Autonomous Agents and Multi Agent Systems, 2008-05-11 - 2008-05-15. Richland, SC, USA: International Foundation for Autonomous Agents and Multiagent Systems, pp. 11-18.

ffitch, J. and Padget, J., 2008. Provenance in computer music. In: International Computer Music Conference, 2008, 2008-08-24 - 2008-08-29. Belfast, N. Ireland: ICMA and Queen's University, Belfast, pp. 121-124.

This list was generated on Mon May 22 15:58:11 2017 IST.

View more publications »