| 2008 |
|---|
| 71 | | 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 |
| 70 | EE | Peter Gradwell,
Michel Oey,
Reinier Timmer,
Frances M. T. Brazier,
Julian A. Padget:
Engineering large-scale distributed auctions.
AAMAS (3) 2008: 1311-1314 |
| 69 | EE | Emad El-Deen El-Akehal,
Julian A. Padget:
Pan-supplier stock control in a virtual warehouse.
AAMAS (Industry Track) 2008: 11-18 |
| 68 | EE | Owen Cliffe,
Marina De Vos,
Martin Brain,
Julian A. Padget:
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming.
ICLP 2008: 724-728 |
| 2007 |
|---|
| 67 | EE | Owen Cliffe,
Marina De Vos,
Julian A. Padget:
Embedding Landmarks and Scenes in a Computational Model of Institutions.
COIN 2007: 41-57 |
| 66 | EE | Peter Gradwell,
Julian A. Padget:
A comparison of distributed and centralised agent based bundling systems.
ICEC 2007: 25-34 |
| 65 | EE | Neil Chapman,
Simone A. Ludwig,
William Naylor,
Julian A. Padget,
Omer F. Rana:
Matchmaking Support for Dynamic Workflow Composition.
eScience 2007: 371-378 |
| 2006 |
|---|
| 64 | | 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 |
| 63 | | 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 |
| 62 | EE | Owen Cliffe,
Marina De Vos,
Julian A. Padget:
Answer Set Programming for Representing and Reasoning About Virtual Institutions.
CLIMA VII 2006: 60-79 |
| 61 | EE | William Naylor,
Julian A. Padget:
From Untyped to Polymorphically Typed Objects in Mathematical Web Services.
MKM 2006: 222-236 |
| 60 | EE | Olivier Danvy,
Oege de Moor,
Julian A. Padget,
Peter Thiemann:
Editorial.
Higher-Order and Symbolic Computation 19(1): 5 (2006) |
| 59 | EE | 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 | EE | 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 | EE | Simone A. Ludwig,
Omer F. Rana,
William Naylor,
Julian A. Padget:
Agent-based matchmaking of mathematical web services.
AAMAS 2005: 1277-1278 |
| 56 | EE | Simone A. Ludwig,
Omer F. Rana,
William Naylor,
Julian A. Padget:
Mathematical matchmaker for numeric and symbolic services.
AAMAS 2005: 133-134 |
| 55 | EE | 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 | EE | Vitus S. W. Lam,
Julian A. Padget:
An integrated environment for communicating UML statechart diagrams.
AICCSA 2005: 111 |
| 53 | EE | 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 | EE | 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 | EE | Vitus S. W. Lam,
Julian A. Padget:
Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus.
IFM 2005: 347-365 |
| 47 | EE | William Naylor,
Julian A. Padget:
Semantic Matching for Mathematical Services.
MKM 2005: 174-189 |
| 46 | EE | Simone A. Ludwig,
William Naylor,
Omer F. Rana,
Julian A. Padget:
Matchmaking of Mathematical Web Services.
PPAM 2005: 809-816 |
| 45 | EE | Julian A. Padget:
E-Government and E-Democracy in Latin America.
IEEE Intelligent Systems 20(1): 94-96 (2005) |
| 44 | EE | 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 | EE | 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 | EE | Vitus S. W. Lam,
Julian A. Padget:
Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach.
ECBS 2004: 337-347 |
| 41 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Oliver Vickers,
Julian A. Padget:
Skeletal Jade Components for the Construction of Institutions.
AMEC 2002: 307-324 |
| 31 | EE | 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 | EE | Marc Esteva,
Julian A. Padget,
Carles Sierra:
Formalizing a Language for Institutions and Norms.
ATAL 2001: 348-366 |
| 29 | EE | 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 | EE | Julian A. Padget,
Russell J. Bradford:
A pi-calculus Model of a Spanish Fish Market - Preliminary Report.
AMET 1998: 166-188 |
| 1995 |
|---|
| 24 | EE | 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 | EE | 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 |
