Julian A. Padget

Vitus S. W. Lam, Julian A. Padget: Equivalence Checking of Communicating UML Statechart Diagrams. International Journal of Software Engineering and Knowledge Engineering 22(2): 265-304 (2012)

Frances M. T. Brazier, Virginia Dignum, Michael N. Huhns, Christian Derksen, Frank Dignum, Tim Lessner, Julian A. Padget, Thomas B. Quillinan, Munindar P. Singh: Agent-based organisational governance of services. Multiagent and Grid Systems 8(1): 3-18 (2012)

Emad Eldeen Elakehal, Julian A. Padget: MSMAS: Modelling Self-managing Multi Agent Systems. Scalable Computing: Practice and Experience 13(2) (2012)

Emad Eldeen Elakehal, Julian A. Padget: Market intelligence and price adaptation. ICEC 2012: 9-16

Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh: Handling change in normative specifications. AAMAS 2012: 1369-1370

Viviana Novelli, Marina De Vos, Julian A. Padget, Dina D'Ayala: LOG-IDEAH: ASP for Architectonic Asset Preservation. ICLP (Technical Communications) 2012: 393-403

Shadi Saleh Basurra, Yusheng Ji, Marina De Vos, Julian A. Padget, Tim Lewis, Simon Armour: Social-Aware Routing for Wireless Mesh Networks. VTC Fall 2012: 1-5

Tina Balke, Marina De Vos, Julian A. Padget: Analysing energy-incentivized cooperation in next generation mobile networks using normative frameworks and an agent-based simulation. Future Generation Comp. Syst. 27(8): 1092-1102 (2011)

Dimitris Traskas, Julian A. Padget: A multi-agent systems approach to call-centre management. IJPEDS 26(5): 347-367 (2011)

Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh: Normative design using inductive learning. TPLP 11(4-5): 783-799 (2011)

Tina Balke, Marina De Vos, Julian A. Padget: Normative Run-Time Reasoning for Institutionally-Situated BDI Agents. COIN@AAMAS&WI-IAT 2011: 129-148

Tina Balke, Marina De Vos, Julian A. Padget, Dimitris Traskas: On-line reasoning for institutionally-situated BDI agents. AAMAS 2011: 1109-1110

Tina Balke, Marina De Vos, Julian A. Padget, Dimitris Traskas: Normative Run-Time Reasoning for Institutionally-Situated BDI Agents. Web Intelligence/IAT Workshops 2011: 1-4

Julian A. Padget, Harpreet Riat, Benedikt Forchhammer, Martijn Warnier, Frances M. T. Brazier, Sukumar Natarajan: An agent-based infrastructure for energy profile capture and management. ICNSC 2011: 50-55

Emad Eldeen Elakehal, Julian A. Padget: A Practical Method for Developing Multi Agent Systems: APMDMAS. IDC 2011: 11-20

Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh: Normative design using inductive learning. CoRR abs/1107.4967 (2011)

Huib Aldewereld, Julian A. Padget, Wamberto Weber Vasconcelos, Javier Vázquez-Salceda, Paul Sergeant, Athanasios Staikopoulos: Adaptable, Organization-Aware, Service-Oriented Computing. IEEE Intelligent Systems 25(4): 26-35 (2010)

Athanasios Staikopoulos, Owen Cliffe, Razvan Popescu, Julian A. Padget, Siobhán Clarke: Template-Based Adaptation of Semantic Web Services with Model-Driven Engineering. IEEE T. Services Computing 3(2): 116-130 (2010)

Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh: Norm Refinement and Design through Inductive Learning. COIN@AAMAS&MALLOW 2010: 77-94

Tina Balke, Marina De Vos, Julian A. Padget, Frank H. P. Fitzek: Using a Normative Framework to Explore the Prototyping of Wireless Grids. COIN@AAMAS&MALLOW 2010: 95-113

Dimitris Traskas, Julian A. Padget, John Tansley: A Probabilistic Mechanism for Agent Discovery and Pairing Using Domain-Specific Data. COIN@AAMAS&MALLOW 2010: 192-209

Javier Vázquez-Salceda, Wamberto Weber Vasconcelos, Julian A. Padget, Frank Dignum, Siobhán Clarke, M. Palau Roig: ALIVE: an agent-based framework for dynamic and robust service-oriented applications. AAMAS 2010: 1637-1638

Frank Dignum, Julian A. Padget, Wamberto Weber Vasconcelos: Organizing services for a changing environment. iiWAS 2010: 16

Marina De Vos, Julian A. Padget, Ken Satoh: Legal Modelling and Reasoning Using Institutions. JSAI-isAI Workshops 2010: 129-140

Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh: Norm Refinement and Design through Inductive Learning. MALLOW 2010

Javier Vázquez-Salceda, Wamberto Weber Vasconcelos, Julian A. Padget, Frank Dignum, Siobhán Clarke, Manel Palau, Paul Sergeant, Kees Nieuwenhuis: ALIVE: A Model-Driven Framework to Develop Dynamic, Flexible, Distributed Service-Oriented Systems. SYNASC 2010: 485-492

Julian A. Padget, Alexander Artikis, Wamberto Weber Vasconcelos, Kostas Stathis, Viviane Torres da Silva, Eric T. Matson, Axel Polleres (Eds.): Coordination, Organizations, Institutions and Norms in Agent Systems V, COIN 2009 International Workshops. COIN@AAMAS 2009, Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009, Turin, Italy, September 2009. Revised Selected Papers. Lecture Notes in Computer Science 6069, Springer 2010, isbn 978-3-642-14961.0

Olivier Danvy, Julian A. Padget: Editorial. Higher-Order and Symbolic Computation 22(1): 1 (2009)

Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget: InstQL: A Query Language for Virtual Institutions Using Answer Set Programming. CLIMA 2009: 102-121

Javier Vázquez-Salceda, Luigi Ceccaroni, Frank Dignum, Wamberto Weber Vasconcelos, Julian A. Padget, Siobhán Clarke, Paul Sergeant, Kees Nieuwenhuis: Combining Organisational and Coordination Theory with Model Driven Approaches to Develop Dynamic, Flexible, Distributed Business Systems. DigiBiz 2009: 175-184

Dimitris Traskas, Julian A. Padget: Engineering Agent Organisations in a Business Environment. ESAW 2009: 49-64

Joey Sik Chun Lam, Wamberto Weber Vasconcelos, Frank Guerin, David Corsar, Alison Chorley, Timothy J. Norman, Javier Vázquez-Salceda, Sofia Panagiotidi, Roberto Confalonieri, I. Gomez, S. Hidalgo, Sergio Álvarez-Napagao, Juan Carlos Nieves, M. Palau Roig, Luigi Ceccaroni, Huib Aldewereld, Virginia Dignum, Frank Dignum, Loris Penserini, Julian A. Padget, Marina De Vos, D. Andreou, Owen Cliffe, Athanasios Staikopoulos, Razvan Popescu, Siobhán Clarke, Paul Sergeant, Chris Reed, Thomas B. Quillinan, Kees Nieuwenhuis: ALIVE: A Framework for Flexible and Adaptive Service Coordination. ESAW 2009: 236-239

Sander van Splunter, Frances M. T. Brazier, Julian A. Padget, Omer F. Rana: Dynamic Service Reconfiguration and Enactment using an Open Matching Architecture. ICAART 2009: 533-539

Frank Dignum, Virginia Dignum, Julian A. Padget, Javier Vázquez-Salceda: Organizing web services to develop dynamic, flexible, distributed systems. iiWAS 2009: 225-234

Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget: AQL: A Query Language for Action Domains Modelled Using Answer Set Programming. LPNMR 2009: 437-443

Owen Cliffe, Marina De Vos, Julian A. Padget: Modelling Normative Frameworks Using Answer Set Programing. LPNMR 2009: 548-553

Sergio Álvarez-Napagao, Owen Cliffe, Julian A. Padget, Javier Vázquez-Salceda: Norms, Organisations and Semantic Web Services: The ALIVE Approach. MALLOW 2009

Julian A. Padget, Axel Polleres: Introductory Essay of COIN@MALLOW'009. MALLOW 2009

Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Guido Boella, Massimo Cossentino, Mehdi Dastani, Barbara Dunin-Keplicz, Giancarlo Fortino, Marie Pierre Gleizes, João Leite, Viviana Mascardi, Julian A. Padget, Juan Pavón, Axel Polleres, Amal El Fallah-Seghrouchni, Paolo Torroni, Rineke Verbrugge (Eds.): Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009. CEUR Workshop Proceedings 494, CEUR-WS.org 2009

Emad El-Deen El-Akehal, Julian A. Padget: Pan-supplier stock control in a virtual warehouse. AAMAS (Industry Track) 2008: 11-18

Peter Gradwell, Michel A. Oey, Reinier J. Timmer, Frances M. T. Brazier, Julian A. Padget: Engineering large-scale distributed auctions. AAMAS (3) 2008: 1311-1314

Owen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget: ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. ICLP 2008: 724-728

Jaime Simão Sichman, Julian A. Padget, Sascha Ossowski, Pablo Noriega (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. Lecture Notes in Computer Science 4870, Springer 2008, isbn 978-3-540-79002-0

Peter Gradwell, Julian A. Padget: A comparison of distributed and centralised agent based bundling systems. ICEC 2007: 25-34

Owen Cliffe, Marina De Vos, Julian A. Padget: Embedding Landmarks and Scenes in a Computational Model of Institutions. COIN 2007: 41-57

Neil Chapman, Simone A. Ludwig, William Naylor, Julian A. Padget, Omer F. Rana: Matchmaking Support for Dynamic Workflow Composition. eScience 2007: 371-378

Simone A. Ludwig, Omer F. Rana, Julian A. Padget, William Naylor: Matchmaking Framework for Mathematical Web Services. J. Grid Comput. 4(1): 33-48 (2006)

Yann Chevaleyre, Paul E. Dunne, Ulle Endriss, Jérôme Lang, Michel Lemaître, Nicolas Maudet, Julian A. Padget, Steve Phelps, Juan A. Rodríguez-Aguilar, Paulo Sousa: Issues in Multiagent Resource Allocation. Informatica (Slovenia) 30(1): 3-31 (2006)

Maged N. Kamel Boulos, Qiang Cai, Julian A. Padget, Gerard Rushton: Using software agents to preserve individual health data confidentiality in micro-scale geographical analyses. Journal of Biomedical Informatics 39(2): 160-170 (2006)

Olivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann: Editorial. Higher-Order and Symbolic Computation 19(1): 5 (2006)

Simone A. Ludwig, Omer F. Rana, William Naylor, Julian A. Padget: Mathematical Service Discovery: Architecture, Implementation and Performance. Scalable Computing: Practice and Experience 7(2) (2006)

Owen Cliffe, Marina De Vos, Julian A. Padget: Answer Set Programming for Representing and Reasoning About Virtual Institutions. CLIMA 2006: 60-79

William Naylor, Julian A. Padget: From Untyped to Polymorphically Typed Objects in Mathematical Web Services. MKM 2006: 222-236

Olivier Boissier, Julian A. Padget, Virginia Dignum, Gabriela Lindemann, Eric T. Matson, Sascha Ossowski, Jaime Simão Sichman, Javier Vázquez-Salceda (Eds.): Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3913, Springer 2006, isbn 3-540-35173-6

Barbara Dunin-Keplicz, Andrea Omicini, Julian A. Padget (Eds.): Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, Lisbon, Portugal, December 14-15, 2006. CEUR Workshop Proceedings 223, CEUR-WS.org 2006

Julian A. Padget: E-Government and E-Democracy in Latin America. IEEE Intelligent Systems 20(1): 94-96 (2005)

Peter Gradwell, Julian A. Padget: Markets vs auctions: Approaches to distributed combinatorial resource scheduling. Multiagent and Grid Systems 1(4): 251-262 (2005)

Vitus S. W. Lam, Julian A. Padget: An integrated environment for communicating UML statechart diagrams. AICCSA 2005: 111

Owen Cliffe, Marina De Vos, Julian A. Padget: Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming. AAMAS Workshops 2005: 99-113

Simone A. Ludwig, Omer F. Rana, William Naylor, Julian A. Padget: Mathematical matchmaker for numeric and symbolic services. AAMAS 2005: 133-134

Simone A. Ludwig, Omer F. Rana, William Naylor, Julian A. Padget: Agent-based matchmaking of mathematical web services. AAMAS 2005: 1277-1278

Marina De Vos, Tom Crick, Julian A. Padget, Martin Brain, Owen Cliffe, Jonathan Needham: LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming. DALT 2005: 72-88

Vitus S. W. Lam, Julian A. Padget: Consistency Checking of Statechart Diagrams of a Class Hierarchy. ECOOP 2005: 412-427

Marina De Vos, Owen Cliffe, Richard Watson, Tom Crick, Julian A. Padget, Jonathan Needham: T-LAIMA: Answer Set Programming for Modelling Agents with Trust. EUMAS 2005: 126-136

Owen Cliffe, Marina De Vos, Julian A. Padget: Specifying and Analysing Agent-based Social Institutions using Answer Set Programming. EUMAS 2005: 476-477

Peter Gradwell, Julian A. Padget: Markets vs Auctions: Approaches to Distributed. EUMAS 2005: 487-488

Vitus S. W. Lam, Julian A. Padget: Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus. IFM 2005: 347-365

William Naylor, Julian A. Padget: Semantic Matching for Mathematical Services. MKM 2005: 174-189

Simone A. Ludwig, William Naylor, Omer F. Rana, Julian A. Padget: Matchmaking of Mathematical Web Services. PPAM 2005: 809-816

Vitus S. W. Lam, Julian A. Padget: Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach. ECBS 2004: 337-347

Olga Caprotti, James H. Davenport, Mike Dewar, Julian A. Padget: Mathematics on the (Semantic) NET. ESWS 2004: 213-224

Aditya Kalyanpur, Daniel Jiménez Pastor, Steve Battle, Julian A. Padget: Automatic Mapping of OWL Ontologies into Java. SEKE 2004: 98-103

Vitus S. W. Lam, Julian A. Padget: Formal Specification and Verification of the SET/A Protocol with an Integrated Approach. CEC 2004: 229-235

John Fitch, Julian A. Padget: Ride a Cock-Horse .... WEDELMUSIC 2004: 136-143

Javier Vázquez-Salceda, Ulises Cortés, Julian A. Padget, Antonio López-Navidad, Francisco Caballero: The organ allocation process: a natural extension of the Carrel Agent-Mediated Electronic Institution. AI Commun. 16(3): 153-165 (2003)

Javier Vázquez-Salceda, Julian A. Padget, Ulises Cortés, Antonio López-Navidad, Francisco Caballero: Formalizing an electronic institution for the distribution of human tissues. Artificial Intelligence in Medicine 27(3): 233-258 (2003)

Daniel Jiménez Pastor, Julian A. Padget: Towards HARMONIA: automatic generation of e-organisations from institution specifications. OAS 2003: 31-38

Vitus S. W. Lam, Julian A. Padget: On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus. Software Engineering Research and Practice 2003: 877-882

Vitus S. W. Lam, Julian A. Padget: Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations. HCC 2003: 137-144

Oliver Vickers, Julian A. Padget: Skeletal Jade Components for the Construction of Institutions. AMEC 2002: 307-324

Javier Vázquez-Salceda, Ulises Cortés, Julian A. Padget: Integrating the Organ and Tissue Allocation Processes through an Agent-Mediated Electronic Institution. CCIA 2002: 309-321

Julian A. Padget, Onn Shehory, David C. Parkes, Norman M. Sadeh, William E. Walsh (Eds.): Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems, AAMAS 2002 Workshop on Agent Mediated Electronic Commerce, Bologna, Italy, July 16, 2002, Revised Papers. Lecture Notes in Computer Science 2531, Springer 2002, isbn 3-540-00327-4

Vitus S. W. Lam, Julian A. Padget: Formalization of UML Statechart Diagrams in the p-Calculus. Australian Software Engineering Conference 2001: 213-223

Marc Esteva, Julian A. Padget, Carles Sierra: Formalizing a Language for Institutions and Norms. ATAL 2001: 348-366

Andreas Kind, Julian A. Padget: Towards Meta-Agent Protocols. Collaboration between Human and Artificial Societies 1999: 30-42

Marc Esteva, Julian A. Padget: Auctions without Auctioneers: Distributed Auction Protocols. Agent Mediated Electronic Commerce (IJCAI Workshop) 1999: 220-238

Julian A. Padget (Ed.): Collaboration between Human and Artificial Societies, Coordination and Agent-Based Distributed Computing. Lecture Notes in Computer Science 1624, Springer 1999, isbn 3-540-66930-2

Julian A. Padget, Russell J. Bradford: A pi-calculus Model of a Spanish Fish Market - Preliminary Report. AMET 1998: 166-188

Andreas Kind, Julian A. Padget: Multi-lingual threading. PDP 1998: 431-437

Duncan J. Batey, Julian A. Padget: Coordinating heterogeneous parallelism. PDP 1995: 339-347

Julian A. Padget: Foundations for a Virtual Multicomputer - Progress Report. PSLS 1995: 336-343

Neil Berrington, David De Roure, Julian A. Padget: Guaranteeing Unpredictability. Comput. J. 36(8): 723-733 (1993)

Julian A. Padget, Greg Nuyens, Harry Bretthauer: An Overview of EULISP. Lisp and Symbolic Computation 6(1-2): 9-98 (1993)

Neil Berrington, Peter A. Broadbery, David De Roure, Julian A. Padget: EULISP Threads: A Concurrency Toolbox. Lisp and Symbolic Computation 6(1-2): 177-200 (1993)

Simon C. Merrall, Julian A. Padget: Plurals: A SIMD Extension to EuLisp. Lisp and Symbolic Computation 6(1-2): 201-220 (1993)

Mohammed H. Odeh, Julian A. Padget: Object-Oriented Execution of OPS5 Production Systems. OOPSLA 1993: 178-190

Simon C. Merrall, Julian A. Padget: Collections and Garbage Collection. IWMM 1992: 473-489

Julian A. Padget, Duncan J. Batey, Simon C. Merrall: Architecture Independence and Coordination. Parallel Symbolic Computing 1992: 287-299

Takayasu Ito, Rishiyur S. Nikhil, Julian A. Padget, Norihisa Suzuki, Taiichi Yuasa: Massively Parallel Architectures and Symbolic Computation (panel). Parallel Symbolic Computing 1992: 408-416

Julian A. Padget, Russell J. Bradford, John Fitch: Concurrent Object-Oriented Programming in Lisp. Comput. J. 34(4): 311-319 (1991)

Julian A. Padget, Peter A. Broadbery, David Hutchinson: Mixing Concurrency Abstractions and Classes. Research Directions in High-Level Parallel Programming Languages 1991: 174-186

Christian Queinnec, Julian A. Padget: A Proposal for a Modular Lisp with Macros and Dynamic Evaluation. JTASPEFT/WSA 1991: 1-8

Julian A. Padget, A. Barnes: Univariate Power Series Expansions in REDUCE. ISSAC 1990: 82-87

Andrew F. Wallis, Adrian Bowyer, James H. Davenport, Philip S. Milne, Julian A. Padget: The Use of Symbolic Computation in Geometric Modelling. IMA Conference on the Mathematics of Surfaces 1988: 199-206

Adrian Bowyer, James H. Davenport, Philip S. Milne, Julian A. Padget, Andrew F. Wallis: Applications of computer algebra in solid modelling. EUROCAL 1987: 244-245

Russell J. Bradford, Anthony C. Hearn, Julian A. Padget, Eberhard Schrüfer: Enlarging the REDUCE domain of computation. SYMSAC 1986: 100-106

Cyril N. Alberga, Chris Bosman-Clark, Martin Mikelsons, Mary S. Van Deusen, Julian A. Padget: Experience with an Uncommon LISP. LISP and Functional Programming 1986: 39-53

Julian A. Padget: Desiderata for the Standardization of LISP. LISP and Functional Programming 1986: 54-66

James H. Davenport, Julian A. Padget: HEUGCD: How Elementary Upperbounds Generated Cheaper Data. European Conference on Computer Algebra (2) 1985: 18-28

Julian A. Padget: Current Developments in LISP. European Conference on Computer Algebra (1) 1985: 45-57

Julian A. Padget, John Fitch: Closurize and Concentrate. POPL 1985: 255-265

John Fitch, Julian A. Padget: A Pure and Really Simple Initial Functional Algebraic Language. EUROSAM 1984: 148-158

Julian A. Padget: The ecology of LISP or the case for the preservation of the environment. EUROCAL 1983: 91-100

Julian A. Padget: Escaping from Intermediate Expression Swell: A Continuing Saga. EUROCAM 1982: 256-262