 | 2009 |
|---|
| 80 |       | 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:
Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009
CEUR-WS.org 2009 |
| 79 |  | 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,
R. Popescu,
S. Clarke,
P. Sergeant,
Chris Reed,
T. Quillinan,
K. Nieuwenhuis:
ALIVE: A Framework for Flexible and Adaptive Service Coordination.
ESAW 2009: 236-239 |
| 78 | | Dimitris Traskas,
Julian A. Padget:
Engineering Agent Organisations in a Business Environment.
ESAW 2009: 49-64 |
| 77 | | 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 |
| 76 | | 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 |
| 75 | | Owen Cliffe,
Marina De Vos,
Julian A. Padget:
Modelling Normative Frameworks Using Answer Set Programing.
LPNMR 2009: 548-553 |
| 74 | | Julian A. Padget,
Axel Polleres:
Introductory Essay of COIN@MALLOW'009.
MALLOW 2009 |
| 73 | | Sergio Álvarez-Napagao,
Owen Cliffe,
Julian A. Padget,
Javier Vázquez-Salceda:
Norms, Organisations and Semantic Web Services: The ALIVE Approach.
MALLOW 2009 |
| 2008 |
|---|
| 72 | | Jaime Simão Sichman,
Julian A. Padget,
Sascha Ossowski,
Pablo Noriega:
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 2008 |
| 71 | | Peter Gradwell,
Michel Oey,
Reinier Timmer,
Frances M. T. Brazier,
Julian A. Padget:
Engineering large-scale distributed auctions.
AAMAS (3) 2008: 1311-1314 |
| 70 | | Emad El-Deen El-Akehal,
Julian A. Padget:
Pan-supplier stock control in a virtual warehouse.
AAMAS (Industry Track) 2008: 11-18 |
| 69 | | Owen Cliffe,
Marina De Vos,
Martin Brain,
Julian A. Padget:
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming.
ICLP 2008: 724-728 |
| 2007 |
|---|
| 68 | | Owen Cliffe,
Marina De Vos,
Julian A. Padget:
Embedding Landmarks and Scenes in a Computational Model of Institutions.
COIN 2007: 41-57 |
| 67 | | Peter Gradwell,
Julian A. Padget:
A comparison of distributed and centralised agent based bundling systems.
ICEC 2007: 25-34 |
| 66 | | Neil Chapman,
Simone A. Ludwig,
William Naylor,
Julian A. Padget,
Omer F. Rana:
Matchmaking Support for Dynamic Workflow Composition.
eScience 2007: 371-378 |
| 2006 |
|---|
| 65 | | Barbara Dunin-Keplicz,
Andrea Omicini,
Julian A. Padget:
Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, Lisbon, Portugal, December 14-15, 2006
CEUR-WS.org 2006 |
| 64 | | Olivier Boissier,
Julian A. Padget,
Virginia Dignum,
Gabriela Lindemann,
Eric T. Matson,
Sascha Ossowski,
Jaime Simão Sichman,
Javier Vázquez-Salceda:
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
Springer 2006 |
| 63 | | Owen Cliffe,
Marina De Vos,
Julian A. Padget:
Answer Set Programming for Representing and Reasoning About Virtual Institutions.
CLIMA VII 2006: 60-79 |
| 62 | | William Naylor,
Julian A. Padget:
From Untyped to Polymorphically Typed Objects in Mathematical Web Services.
MKM 2006: 222-236 |
| 61 | | Olivier Danvy,
Oege de Moor,
Julian A. Padget,
Peter Thiemann:
Editorial.
Higher-Order and Symbolic Computation 19(1): 5 (2006) |
| 60 | | 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) |
| 59 | | 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) |
| 58 | | 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) |
| 2005 |
|---|
| 57 | | Simone A. Ludwig,
Omer F. Rana,
William Naylor,
Julian A. Padget:
Agent-based matchmaking of mathematical web services.
AAMAS 2005: 1277-1278 |
| 56 | | Simone A. Ludwig,
Omer F. Rana,
William Naylor,
Julian A. Padget:
Mathematical matchmaker for numeric and symbolic services.
AAMAS 2005: 133-134 |
| 55 | | Owen Cliffe,
Marina De Vos,
Julian A. Padget:
Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming.
AAMAS Workshops 2005: 99-113 |
| 54 | | Vitus S. W. Lam,
Julian A. Padget:
An integrated environment for communicating UML statechart diagrams.
AICCSA 2005: 111 |
| 53 | | 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 |
| 52 | | Vitus S. W. Lam,
Julian A. Padget:
Consistency Checking of Statechart Diagrams of a Class Hierarchy.
ECOOP 2005: 412-427 |
| 51 | | 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 |
| 50 | | Owen Cliffe,
Marina De Vos,
Julian A. Padget:
Specifying and Analysing Agent-based Social Institutions using Answer Set Programming.
EUMAS 2005: 476-477 |
| 49 | | Peter Gradwell,
Julian A. Padget:
Markets vs Auctions: Approaches to Distributed.
EUMAS 2005: 487-488 |
| 48 | | Vitus S. W. Lam,
Julian A. Padget:
Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus.
IFM 2005: 347-365 |
| 47 | | William Naylor,
Julian A. Padget:
Semantic Matching for Mathematical Services.
MKM 2005: 174-189 |
| 46 | | Simone A. Ludwig,
William Naylor,
Omer F. Rana,
Julian A. Padget:
Matchmaking of Mathematical Web Services.
PPAM 2005: 809-816 |
| 45 | | Julian A. Padget:
E-Government and E-Democracy in Latin America.
IEEE Intelligent Systems 20(1): 94-96 (2005) |
| 44 | | Peter Gradwell,
Julian A. Padget:
Markets vs auctions: Approaches to distributed combinatorial resource scheduling.
Multiagent and Grid Systems 1(4): 251-262 (2005) |
| 2004 |
|---|
| 43 | | Vitus S. W. Lam,
Julian A. Padget:
Formal Specification and Verification of the SET/A Protocol with an Integrated Approach.
CEC 2004: 229-235 |
| 42 | | Vitus S. W. Lam,
Julian A. Padget:
Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach.
ECBS 2004: 337-347 |
| 41 | | Olga Caprotti,
James H. Davenport,
Mike Dewar,
Julian A. Padget:
Mathematics on the (Semantic) NET.
ESWS 2004: 213-224 |
| 40 | | Aditya Kalyanpur,
Daniel Jiménez Pastor,
Steve Battle,
Julian A. Padget:
Automatic Mapping of OWL Ontologies into Java.
SEKE 2004: 98-103 |
| 39 | | John Fitch,
Julian A. Padget:
Ride a Cock-Horse ....
WEDELMUSIC 2004: 136-143 |
| 2003 |
|---|
| 38 | | Vitus S. W. Lam,
Julian A. Padget:
Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations.
HCC 2003: 137-144 |
| 37 | | Daniel Jiménez Pastor,
Julian A. Padget:
Towards HARMONIA: automatic generation of e-organisations from institution specifications.
OAS 2003: 31-38 |
| 36 | | 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 |
| 35 | | 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) |
| 34 | | 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) |
| 2002 |
|---|
| 33 | | Julian A. Padget,
Onn Shehory,
David C. Parkes,
Norman M. Sadeh,
William E. Walsh:
Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems, AAMAS 2002 Workshop on Agent Mediated Electronic Commerce, Bologna, Italy, July 16, 2002, Revised Papers
Springer 2002 |
| 32 | | Oliver Vickers,
Julian A. Padget:
Skeletal Jade Components for the Construction of Institutions.
AMEC 2002: 307-324 |
| 31 | | 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 |
| 2001 |
|---|
| 30 | | Marc Esteva,
Julian A. Padget,
Carles Sierra:
Formalizing a Language for Institutions and Norms.
ATAL 2001: 348-366 |
| 29 | | Vitus S. W. Lam,
Julian A. Padget:
Formalization of UML Statechart Diagrams in the p-Calculus.
Australian Software Engineering Conference 2001: 213-223 |
| 1999 |
|---|
| 28 | | Julian A. Padget:
Collaboration between Human and Artificial Societies, Coordination and Agent-Based Distributed Computing
Springer 1999 |
| 27 | | Marc Esteva,
Julian A. Padget:
Auctions without Auctioneers: Distributed Auction Protocols.
Agent Mediated Electronic Commerce (IJCAI Workshop) 1999: 220-238 |
| 26 | | Andreas Kind,
Julian A. Padget:
Towards Meta-Agent Protocols.
Collaboration between Human and Artificial Societies 1999: 30-42 |
| 1998 |
|---|
| 25 | | Julian A. Padget,
Russell J. Bradford:
A pi-calculus Model of a Spanish Fish Market - Preliminary Report.
AMET 1998: 166-188 |
| 1995 |
|---|
| 24 | | Duncan J. Batey,
Julian A. Padget:
Coordinating heterogeneous parallelism.
PDP 1995: 339-347 |
| 23 | | Julian A. Padget:
Foundations for a Virtual Multicomputer - Progress Report.
PSLS 1995: 336-343 |
| 1993 |
|---|
| 22 | | Mohammed H. Odeh,
Julian A. Padget:
Object-Oriented Execution of OPS5 Production Systems.
OOPSLA 1993: 178-190 |
| 21 | | Neil Berrington,
David De Roure,
Julian A. Padget:
Guaranteeing Unpredictability.
Comput. J. 36(8): 723-733 (1993) |
| 20 | | 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) |
| 19 | | Simon C. Merrall,
Julian A. Padget:
Plurals: A SIMD Extension to EuLisp.
Lisp and Symbolic Computation 6(1-2): 201-220 (1993) |
| 18 | | Julian A. Padget,
Greg Nuyens,
Harry Bretthauer:
An Overview of EULISP.
Lisp and Symbolic Computation 6(1-2): 9-98 (1993) |
| 1992 |
|---|
| 17 | | Simon C. Merrall,
Julian A. Padget:
Collections and Garbage Collection.
IWMM 1992: 473-489 |
| 16 | | Julian A. Padget,
Duncan J. Batey,
Simon C. Merrall:
Architecture Independence and Coordination.
Parallel Symbolic Computing 1992: 287-299 |
| 15 | | 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 |
| 1991 |
|---|
| 14 | | Christian Queinnec,
Julian A. Padget:
A Proposal for a Modular Lisp with Macros and Dynamic Evaluation.
JTASPEFT/WSA 1991: 1-8 |
| 13 | | Julian A. Padget,
Peter A. Broadbery,
David Hutchinson:
Mixing Concurrency Abstractions and Classes.
Research Directions in High-Level Parallel Programming Languages 1991: 174-186 |
| 12 | | Julian A. Padget,
Russell J. Bradford,
John Fitch:
Concurrent Object-Oriented Programming in Lisp.
Comput. J. 34(4): 311-319 (1991) |
| 1990 |
|---|
| 11 | | Julian A. Padget,
A. Barnes:
Univariate Power Series Expansions in REDUCE.
ISSAC 1990: 82-87 |
| 1988 |
|---|
| 10 | | 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 |
| 1987 |
|---|
| 9 | | 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 |
| 1986 |
|---|
| 8 | | 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 |
| 7 | | Julian A. Padget:
Desiderata for the Standardization of LISP.
LISP and Functional Programming 1986: 54-66 |
| 1985 |
|---|
| 6 | | Julian A. Padget:
Current Developments in LISP.
European Conference on Computer Algebra (1) 1985: 45-57 |
| 5 | | James H. Davenport,
Julian A. Padget:
HEUGCD: How Elementary Upperbounds Generated Cheaper Data.
European Conference on Computer Algebra (2) 1985: 18-28 |
| 4 | | Julian A. Padget,
John Fitch:
Closurize and Concentrate.
POPL 1985: 255-265 |
| 1984 |
|---|
| 3 | | John Fitch,
Julian A. Padget:
A Pure and Really Simple Initial Functional Algebraic Language.
EUROSAM 1984: 148-158 |
| 1983 |
|---|
| 2 | | Julian A. Padget:
The ecology of LISP or the case for the preservation of the environment.
EUROCAL 1983: 91-100 |
| 1982 |
|---|
| 1 | | Julian A. Padget:
Escaping from Intermediate Expression Swell: A Continuing Saga.
EUROCAM 1982: 256-262 |
