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
Jump to: 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 1997 | 1995 | 1994 | 1993 | 1991 | 1990 | 1989 | 1986 | 1985 | 1984
Number of items: 132.

2014

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.

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.

Song, Y.-Z., Bowen, C. R., Kim, H. A., Nassehi, A., Padget, J., Gathercole, N. and Dent, A., 2014. Forthcoming. Non-invasive damage detection in beams using marker extraction and wavelets. Mechanical Systems and Signal Processing

2013

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.

Balke, T., De Vos, M. and Padget, J., 2013. Forthcoming. I-ABM : combining institutional frameworks and agent-based modelling for the design of enforcement policies. Artificial Intelligence and Law, n/a, n/a.

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.

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)

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.

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)

2012

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)

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.

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.

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.

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.

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.

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.

2011

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

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. 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: 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.

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.

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))

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: 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)

2010

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.

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.

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.

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

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.

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)

2009

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)

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. 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: 21st Benelux Conference on Artificial Intelligence, BNAIC 2009, 2009-10-29 - 2009-10-30, Eindhoven.

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)

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.

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.

2008

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)

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.

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)

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.

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.

2007

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.

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)

2006

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.

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)

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.

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)

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.

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.

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)

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.

2005

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

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.

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)

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.

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)

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

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.

2004

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.

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.

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)

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.

2003

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.

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.

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

2002

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.

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.

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)

2001

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. Artificial Intelligence and Simulation of Behaviour Journal, 1, pp. 87-108.

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.

1997

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.

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.

1995

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.

1994

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

1993

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.

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.

1991

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

1990

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.

1989

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)

1986

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.

1985

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)

1984

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)

This list was generated on Wed Apr 23 20:46:42 2014 IST.