Research

Items by Padget, Julian

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 139.

Book Sections

Duan, K., Padget, J. and Kim, H. A., 2014. A light-weight framework for bridge-building from desktop to cloud. In: Lomuscio, A., Nepal, S., Patrizi, F., Benatallah, B. and Brandic, I., eds. Service-Orientated Computing, ICSOC, 2013. Vol. 8377. , pp. 308-323. (Lecture Notes in Computer Science; 8377)

Li, T., Jiang, J., Aldewereld, H., De Vos, M., Dignum, V. and Padget, J., 2014. Contextualized Institutions in Virtual Organizations. In: Balke, T., Dignum, F., van Riemsdijk, M. B. and Chopra, A. K., eds. Coordination, Organizations, Institutions, and Norms in Agent Systems IX. Springer International Publishing, pp. 136-154. (Lecture Notes in Computer Science)

Pourroostaei Ardakani, S., Padget, J. and De Vos, M., 2014. HRTS: A Hierarchical Reactive Time Synchronization Protocol for Wireless Sensor Networks. In: Mellouk, A., Sherif, M. H., Li, J. and Bellavista, P., eds. Ad Hoc Networks. Vol. 129. Springer, pp. 47-62. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)

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

Li, T., Balke, T., De Vos, M., Padget, J. and Satoh, K., 2013. Legal conflict detection in interacting legal systems. In: Frontiers in Artificial Intelligence and Applications. Amsterdam, The Netherlands: IOS Press, pp. 107-116. (Legal Knowledge and Information Systems; 259)

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: e-Energy '13: Proceedings of the Fourth International Conference on Future Energy Systems. 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: ICAIL '13 Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law. 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: Coordination, Organizations, Institutions, and Norms in Agent Systems VIII. Springer Berlin Heidelberg, pp. 53-70. (Lecture Notes in Computer Science; 7756)

Lee, J., Baines, V. and Padget, J., 2013. Decoupling cognitive agents and virtual environments. In: Cognitive Agents for Virtual Environments. Berlin: Springer, pp. 17-36. (Lecture Notes in Computer Science; 7764)

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. New Frontiers in Artificial Intelligence. Berlin: Springer Berlin Heidelberg, pp. 174-189. (Lecture Notes in Computer Science; 7856)

Balke, T., De Vos, M. and Padget, J., 2013. Evaluating the Cost of Enforcement by Agent-Based Simulation : A Wireless Mobile Grid Example. In: PRIMA 2013: Principles and Practice of Multi-Agent Systems - 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings. Vol. 8291. Springer, pp. 21-36. (Lecture Notes in Computer Science)

Lee, J., Li, T., De Vos, M. and Padget, J. A., 2013. Governing intelligent virtual agent behaviour with norms. In: Gini, M. L., Shehory, O., Ito, T. and Jonker, C. M., eds. International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, Saint Paul, MN, USA, May 6-10, 2013. IFAAMAS, 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. Declarative Agent Languages and Technologies X. Vol. 7784 LNAI. Berlin: Springer Berlin Heidelberg, pp. 1-19. (Lecture Notes in Computer Science; 7784)

Padget, J., 2013. Situating COIN in the cloud (Invited Paper). In: Coordination, Organizations, Institutions, and Norms in Agent Systems VIII. Vol. 7756. Springer-Verlag, pp. 1-16. (Lecture Notes in Computer Science)

Elakehal, E. E., Montali, M. and Padget, J., 2013. Verifying MSMAS model using S CIFF. In: Klusch, M., Thimm, M. and Paprzycki, M., eds. Multiagent System Technologies. Berlin: Springer, pp. 44-58. (Lecture Notes in Computer Science; 8076)

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. Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Dagstuhl: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, pp. 393-403. (Leibniz International Proceedings in Informatics (LIPIcs); 17)

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: WS-REST '12 Proceedings of the Third International Workshop on RESTful Design. Association for Computing Machinery (ACM), pp. 41-48.

Elakehal, E. E. and Padget, J., 2012. Market intelligence and price adaptation. In: ICEC '12 Proceedings of the 14th Annual International Conference on Electronic Commerce. New York: ACM, pp. 9-16.

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, RESS 2012 - Proceedings. IEEE, pp. 10-13.

Elakehal, E. E. and Padget, J., 2011. A Practical Method for Developing Multi Agent Systems: APMDMAS. In: Intelligent Distributed Computing V:Proceedings of the 5th International Symposium on Intelligent Distributed Computing – IDC 2011, Delft, The Netherlands – October 2011. Heidelberg: Springer, pp. 11-20.

Traskas, D., Padget, J. and Tansley, J., 2011. A probabilistic mechanism for agent discovery and pairing using domain-specific data. In: Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers. Vol. 6541 LNAI. Heidelberg: Springer-Verlag, pp. 192-209. (Lecture Notes in Computer Science)

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: Proceedings - 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010. Piscataway, NJ: IEEE Computer Society, pp. 485-492.

Neives, 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: New Frontiers in Artificial Intelligence - JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Revised Selected Papers. Vol. 6797 LNAI. Heidelberg: Springer-Verlag, pp. 129-140. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

Corapi, D., De Vos, M., Padget, J., Russo, A. and Satoh, K., 2011. Norm refinement and design through inductive learning. In: Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers. Heidelberg: Springer-Verlag, pp. 77-94. (Lecture Notes in Computer Science; 6541)

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 Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT). Vol. 3. 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: Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers. Vol. 6541 LNAI. Heidelberg: Springer-Verlag, pp. 95-113. (Lecture Notes in Computer Science)

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: Proceedings - 2010 IEEE 12th International Conference on Communication Technology, ICCT'2010. IEEE, pp. 1188-1191.

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: Digital Business - First Iternational ICST Conference, DigiBiz 2009, Revised Selected Papers. Heidelberg: Springer-Verlag, pp. 175-184. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)

Hopton, L., Cliffe, O., De Vos, M. and Padget, J., 2010. InstQL: A Query Language for Virtual Institutions Using Answer Set Programming. In: Dix, J., Fisher, M. and Novak, P., eds. Computational Logic in Multi-Agent Systems. Vol. 6214. Berlin: Springer, pp. 102-121. (Lecture Notes in Artificial Intelligence)

Traskas, D. and Padget, J., 2009. Engineering agent organisations in a business environment. In: Aldewereld, H., Dignum, V. and Picard, G., eds. Engineering Societies in the Agents World X. Vol. 5881. Springer, pp. 49-64. (Lecture Notes in Artificial Intelligence)

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. In: Engineering Societies in the Agents World X. Vol. 5881. 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. Logic Programming and Nonmonotonic Reasoning. Vol. 5753. Berlin, Germany: Springer, pp. 437-443. (Lecture Notes in Computer Science)

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

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. Logic Programming and Nonmonotonic Reasoning. Vol. 5753. Berlin, Germany: Springer, pp. 548-553. (Lecture Notes in Computer Science)

Cliffe, O., De Vos, M., Padget, J. and Brain, M., 2008. ASPViz: Declarative Visualisation and Animation Using Answer Set Programming. In: Logic Programming - Proceedings of the 24th International Conference in Logic Programming (ICLP). Vol. 5366. Berlin / Heidelberg: Springer, pp. 724-728. (Lecture Notes in Computer Science)

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. Coordination, organizations, institutions, and norms in agent systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 revised selected papers. Springer-Verlag, pp. 41-57. (Lecture Notes in Computer Science; 4870)

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. Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track. 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: Proceedings of the 2008 ICMC. SARC, Belfast: ICMA and Queen's University, Belfast, pp. 121-124.

ffitch, J., Mitchell, J. and Padget, J., 2007. Composition with sound web services and workflows. In: Proceedings of the 2007 International Computer Music Conference. Vol. 2007. Ann Arbor, MI: Scholarly Publishing Office, University of Michigan Library, pp. 419-422.

Cliffe, O., De Vos, M. and Padget, J., 2007. Specifying and Reasoning about Multiple Institutions. In: Noriega, P., Vazquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N. and Matson, E., eds. Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers. Vol. 4386/2007. Heidelberg: Springer, pp. 67-85. (Lecture Notes in Computer Science)

Cliffe, O., De Vos, M. and Padget, J., 2007. Answer set programming for representing and reasoning about virtual institutions. In: Inoue, K., Ken, S. and Toni, F., eds. Computational logic in multi-agent systems: 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, revised selected and invited papers. Heidelberg, Germany: Springer-Verlag, pp. 60-79. (Lecture Notes in Computer Science; 4371)

Naylor, W. and Padget, J., 2006. From untyped to polymorphically typed objects in mathematical web services. In: Mathematical Knowledge Management, Proceedings. Vol. 4108. , pp. 222-236. (Lecture Notes in Artificial Intelligence)

De Vos, M., Crick, T., Padget, J., Brain, M., Cliffe, O. and Needham, J., 2006. LAIMA: A multi-agent platform using ordered choice logic programming. In: Declarative Agent Languages and Technologies Iii. Vol. 3904. , pp. 72-88. (Lecture Notes in Artificial Intelligence)

Naylor, W. and Padget, J., 2006. Semantic matching for mathematical services. In: Mathematical Knowledge Management. Vol. 3863/2006. Springer, pp. 174-189. (Lecture Notes in Computer Science)

Cliffe, O., De Vos, M. and Padget, J., 2006. Specifying and analysing agent-based social institutions using answer set programming. In: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems. Vol. 3913. , pp. 99-113. (Lecture Notes in Artificial Intelligence)

Aird, M.-L., Medina, W. B. and Padget, J., 2005. Brokerage for Mathematical Services in MONET. In: Cavedon, L., Maamar, Z., Martin, D. and Benatallah, B., eds. Extending Web Services Technologies. Vol. 13. Springer, pp. 253-272. (Multiagent Systems, Artificial Societies, and Simulated Organizations)

Lam, V. S. W. and Padget, J., 2005. Consistency checking of sequence diagrams and statechart diagrams using the pi-calculus. In: Integrated Formal Methods, Proceedings. Vol. 3771. , pp. 347-365. (Lecture Notes in Computer Science)

Lam, V. S. W. and Padget, J., 2005. Consistency checking of statechart diagrams of a class hierarchy. In: Ecoop 2005 - Object-Oriented Programming, Proceedings. Vol. 3586. , pp. 412-427. (Lecture Notes in Computer Science)

Fitch, J. P. and Padget, J. A., 2004. Ride a Cock-horse.... In: Delgado, J., Nesi, P. and Ng, K., eds. WEDELMUSIC 2004. Proceedings of the Fourth International Conference on Web Delivering of Music, 2004. IEEE, pp. 136-143.

Caprotti, O., Davenport, J. H., Dewar, M. and Padget, J., 2004. Mathematics on the (semantic) NET. In: Semantic Web: Research and Applications. Vol. 3053. , pp. 213-224. (Lecture Notes in Computer Science)

ffitch, J. P. and Padget, J. A., 2002. Learning to play and perform on synthetic instruments. In: Mats, N., ed. Proceedings of the International Computer Music Conference. Ann Arbor, MI: Scholarly Publishing Office, University of Michigan Library, pp. 432-435.

Padget, J., Parkes, D., Sadeh, N., Shehory, O. and Walsh, W., 2002. Agent-Mediated Electronic Commerce IV. In: EPRINTS-BOOK-TITLE. Vol. 2531. Springer-Verlag. (Lecture Notes in Artificial Intelligence)

Batey, D. J. and Padget, J., 2002. Coordinating heterogeneous parallelism. In: Proceedings of Euromicro Workshop on Parallel and Distributed Processing. Vol. 1995. IEEE, pp. 339-346.

Esteva, M., Padget, J. and Sierra, C., 2002. Formalizing a language for institutions and norms. In: Intelligent Agents Viii: Agent Theories, Architectures, and Languages. Vol. 2333. , pp. 348-366. (Lecture Notes in Artificial Intelligence)

Vazquez-Salceda, J., Cortes, U. and Padget, J., 2002. Integrating the organ and tissue allocation processes through an agent-mediated electronic institution. In: Topics in Artificial Intelligence, Proceedings. Vol. 2504. , pp. 309-321. (Lecture Notes in Artificial Intelligence)

Vickers, O. and Padget, J., 2002. Skeletal Jade components for the construction of institutions. In: Agent-Mediated Electronic Commerce. Vol. 2531. , pp. 307-324. (Lecture Notes in Artificial Intelligence)

Rodriguez, J. A., Noriega, P., Sierra, C. and Padget, J., 1997. A Java-based electronic auction house. In: PAAM 97: Proceedings of the Second International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology 21st-23rd April 1997, Westminster Central Hall, London, UK. Practical Application Company Ltd, pp. 207-224.

Padget, J., Batey, D. and Merrall, S., 1993. Architecture independence and coordination. In: Parallel Symbolic Computing: Languages Systems and Applications US/Japan Workshop Cambridge, MA, USA, October 14–17, 1992 Proceedings. Vol. 748/1993. Springer, pp. 287-299. (Lecture Notes in Computer Science)

Batey, D. and Padget, J., 1993. Towards A Virtual Multicomputer. In: Proceedings of Workshop on Heterogeneous Processing at the International Parallel Processing Symposium (WHP93). IEEE, pp. 71-76.

Burdorf, C., Fitch, J. P., Marti, J. B. and Padget, J. A., 1989. A Multiprocessor Execution Profiler. In: Software Track Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. University of Hawaii, pp. 524-531.

Bowyer, A., Davenport, J.H., Milne, P.S., Padget, J.A. and Wallis, A.F., 1989. A geometric algebra system. In: Woodwark, J.R., ed. Geometric Reasoning. Oxford, UK: Clarendon Press, pp. 1-30.

Bowyer, A., Davenport, J.H., Milne, P.S., Padget, J. and Wallis, A.F., 1989. Applications of computer algebra in solid modelling. In: Eurocal '87. Berlin: Springer, pp. 244-245. (Lecture Notes in Computer Science; 378)

Alberga, C., Bosman-Clark, C., Mikelsons, M., Deusen, M. V. and Padget, J., 1986. Experience with an uncommon Lisp. In: Proceedings of the 1986 ACM conference on LISP and functional programming. Vol. 1986. Cambridge, Massachusetts, US: Association for Computing Machinery (ACM), pp. 39-53.

Padget, J. A. and Fitch, J. P., 1985. Closurize and Concentrate. In: POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages. New York: ACM, pp. 255-265.

Fitch, J. P. and Padget, J. A., 1985. The Extent of Scope. In: Proceedings of 5th Hungarian Computer Science Conference, Gy\H{o}r, Hungary. Budapest:: Hungariam Academy of Sciences, pp. 173-184.

Padget, J. and Fitch, J., 1985. The rationale of LIER: A considered LISP. In: Inada, M. and Soma, S., eds. The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers. Vol. 2. Philadelphia PA, USA: Word Scientific Publishing Company, pp. 41-53. (Series in Computer Science)

Fitch, J. P. and Padget, J. A., 1984. A Pure And Really Simple Initial Functional Algebraic Language. In: Fitch, J. P., ed. EUROSAM 84 International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984.174 ed. Heidelberg: Springer-Verlag, pp. 148-158. (Lecture Notes in Computer Science)

Articles

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Alvarez-Napageo, S., Cliffe, O. C., Vazquez-Salceda, J. and Padget, J. A., 2009. Norms, organisations and semantic web services: The alive approach. CEUR Workshop Proceedings, 494, pp. 114-115.

Ludwig, S. A., Rana, O. F., Naylor, W. and Padget, J., 2006. Matchmaking framework for mathematical web services. Journal of Grid Computing, 4 (1), pp. 33-48.

Chevaleyre, Y., Dunne, P. E., Endriss, U., Lang, J., Lemaitre, M., Maudet, N., Padget, J., Phelps, S., Rodrguez-Aguilar, J. A. and Sousa, P., 2006. Issues in Multiagent Resource Allocation. Informatica, 30, 3--31.

Ludwig, S. A., Rana, O. F., Naylor, W. and Padget, J., 2006. Mathematical Service Discovery: Architecture, Implementation and Performance. Journal of Scalable Computing: Practice and Experience, 7 (2), pp. 35-52.

Boulos, M. N. K., Cai, Q., Padget, J. A. and Rushton, G., 2006. Using software agents to preserve individual health data confidentiality in micro-scale geographical analyses. Journal of Biomedical Informatics, 39 (2), pp. 160-170.

Gradwell, P. and Padget, J., 2005. Markets vs. Auctions: Approaches to Distributed Combinatorial Resource Scheduling. Multiagent and Grid Systems, 1, 251--262.

Padget, J., 2005. E-government and E-democracy in Latin America. IEEE Intelligent Systems, 20 Jan-Feb (1), pp. 94-96.

Vazquez-Salceda, J., Padget, J. A., Cortes, U., Lopez-Navidad, A. and Caballero, F., 2003. Formalizing an electronic institution for the distribution of human tissues. Artificial Intelligence in Medicine, 27 (3), pp. 233-258.

Vazquez-Salceda, J., Cortes, U., Padget, J., Lopez-Navidad, A. and Caballero, F., 2003. The organ allocation process: a natural extension of the Carrel Agent-Mediated Electronic Institution. AI Communications, 16 (3), pp. 153-165.

Padget, J., 2001. Modelling simple market structures in process algebras with locations. Artificial Intelligence and Simulation of Behaviour Journal, 1, pp. 87-108.

Chan, K. W., Dunn, R. W., Daniels, A. R., Padget, J. A., Ekwue, A. O., Buxton, P. H. and Rawlins, M. J., 1997. On-line dynamic-security contingency screening and ranking. Generation, Transmission and Distribution, IEE Proceedings-, 144 (2), pp. 132-138.

Joyce, S., Osguthorpe, D., Padget, J. and Price, G., 1995. Neural network prediction of glass-transition temperatures from monomer structure. Journal of Chemical Society, Faraday Transactions, 91, pp. 2491-2496.

Padget, J., 1994. The programming language standards scene, ten years on Paper 12: Lisp. Computer Standards and Interfaces, 16 (5-6).

Padget, J., Nuyens, G. and Bretthauer, H., 1993. An overview of EuLisp. Lisp and Symbolic Computation, 6 (1-2), pp. 9-97.

Berrington, N., Broadberry, P. and Padget, J., 1993. EuLisp Threads: a concurrency toolbox. Lisp and Symbolic Computation, 1/2, pp. 177-199.

Merrall, S. and Padget, J., 1993. Plurals: A SIMD extension to EuLisp. Lisp and Symbolic Computation, 6 (1/2), pp. 201-219.

Fitch, J. P., Bradford, R. and Padget, J. A., 1991. Concurrent object-oriented programming in LISP. The Computer Journal, 34 (4), pp. 311-319.

Reports/Papers

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

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.

Padget, J. A., 2005. AgentcitiesUK.net Challenge Day 1: e-Health. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-08)

Padget, J. A., 2005. AgentcitiesUK.net Challenge Day 2: e-Government and e-Democracy. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-09)

Conference or Workshop Items

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, Exeter.

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, Quebec City, QC.

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, Taipei, Taiwan.

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, Delft.

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, Toronto.

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, Kirchberg.

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, Eindhoven.

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, Kuala Lumpur.

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.

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, Edinburgh.

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, Enshede.

Gradwell, P. and Padget, J., 2007. A comparison of distributed and centralised agent based bundling systems. In: Dellarocas, C. and Dignum, F., eds. ICEC 2007: Ninth International Conference on Electronic Commerce, 2007-08-01, New York, NY.

Padget, J. and Rana, O., 2006. Mathematical Service Discovery. In: Gaffney, P., ed. Proceedings of IFIP 2.5 Working Group Meeting (Prescott, AZ), 2006-01-01.

De Vos, M., Cliffe, O., Watson, R., Crick, T., Padget, J., Needham, J. and Brain, M., 2005. T-LAIMA: Answer Set Programming for Modelling Agents with Trust. In: European Workshop on Multi-Agent Systems (EUMAS05), 2005-12-01.

Ludwig, S., Naylor, W., Rana, O. and Padget, J., 2005. Matchmaking of Mathematical Web Services. In: Workshop on Large Scale Computations on Grids (LaSCoG) in proceedings of 6th International Conference on Parallel Processing and Applied Mathematics, 2005-09-01.

Lombardo, V., Arghinenti, A., Nunnari, F., Valle, A., Vogel, H. H., Fitch, J., Dobson, R., Padget, J., Tazelaar, K., Weinzierl, S., Benser, S., Kersten, S., Starosolski, R., Borczyk, W., Pytlik, W. and Niedba, X., 2005. The Virtual Electronic Poem (VEP) Project. In: Tampere SuviSoft, O. L., ed. ICMC 2005 Free Sound, 2005-09-01, Barcelona.

Padget, J., 2005. 4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands. In: AAMAS, 2005-01-01.

Ludwig, S., Naylor, W., Rana, O. and Padget, J., 2005. Agent-based Matchmaking of Mathematical Web Services. In: Dignum, F., Dignum, V., Koenig, S., Kraus, S., Singh, M. and Wooldridge, M., eds. Proceedings of Conference on Autonomous Agents and Multi-Agent Systems, 2005-01-01.

Ludwig, S. A., Rana, O. F., Naylor, W. and Padget, J. A., 2005. Mathematical matchmaker for numeric and symbolic services. In: AAMAS, 2005-01-01.

Casasola, E., De, V., Cliffe, O. and Padget, J., 2005. Teaching Multi-Agent Systems in the UK and in LatinAmerica. In: ITALICS (Innovations in Teaching And Learning inInformation and Computer Sciences), an on-line journal, 2005-01-01.

Lam, V. S. W. and Padget, J., 2004. Formal Specification and Verification of the SET/A Protocol with an Integrated Approach. In: IEEE International Conference on E-Commerce Technology (CEC'04), 2004-07-01.

Kalyanpur, A., Pastor, D. J., Battle, S. and Padget, J., 2004. Automatic mapping of OWL ontologies into Java. In: Maurer, G. R. F., ed. Proceedings of Sixteenth International Conference on Software Engineering and Knowledge Engineering (SEKE), 2004-06-01.

Lam, V. S. W. and Padget, J., 2004. Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach. In: 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004-05-01.

Padget, J., Neira, R. and Díaz de León, J. L., 2004. e-Government and e-Democracy: Progress and Challenges. In: EU-LAT Workshop on e-Government and e-Deomocracy, 2004-01-01, Mexico.

Lam, V. S. W. and Padget, J., 2003. Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations. In: 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003-10-01.

Lam, V. S. W. and Padget, J., 2003. On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus. In: Al-Ani, B., Arabnia, H. R. and Mun, Y., eds. Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03, 2003-06-01.

Aird, M., Medina, W. B. and Padget, J., 2003. MONET: service discovery and composition for mathematical problems. In: Rana, O. and Graupner, S., eds. Proceedings of IEEE workshop on Agent-based Cluster and Grid Computing (CCGrid 2003), 2003-05-01.

Aird, M.-L., Medina, W. B. and Padget, J., 2003. Brokerage for mathematical web services in MONET. In: Proceedings of Web Services and Agent Based Systems'03 at AAMAS03, 2003-01-01.

Pastor, D. J. and Padget, J., 2003. Towards c HarmonmIA.

Cliffe, O. and Padget, J., 2002. A framework for checking agent interaction within institutions. In: Proceedings of MOCHART workshop at ECAI'02, 2002-01-01.

Lam, V. and Padget, J., 2001. Formalization of UML Statechart Diagrams in the $i$-calculus. In: Proceedings of the 13th Australian Software Engineering Conference (ASWEC'01), 2001-08-01, Canberra.

ffitch, J. and Padget, J., 2001. Creating a Computer-Assistant for Performance. In: No Walls, 2001-01-01, DeMontfort University.

Padget, J., 2001. Modelling simple market structures in process algebras with locations. In: Luc, M., ed. AISB'01 Symposium on Software Mobility and Adaptive Behaviour, 2001-01-01.

Padget, J. A., Bradford, R. and Fitch, J. P., 1990. Concurrent object-oriented programming in Lisp. In: EUROPAL Workshop on High Performance and Parallel Computing in Lisp and Parallel Computing in Lisp, Twickenham, 1990-11-01, Twickenham.

This list was generated on Wed Oct 1 04:13:17 2014 IST.