Julian A. Padget Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

75 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
74EELuke 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
73EEOwen Cliffe, Marina De Vos, Julian A. Padget: Modelling Normative Frameworks Using Answer Set Programing. LPNMR 2009: 548-553
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
71EEPeter Gradwell, Michel Oey, Reinier Timmer, Frances M. T. Brazier, Julian A. Padget: Engineering large-scale distributed auctions. AAMAS (3) 2008: 1311-1314
70EEEmad El-Deen El-Akehal, Julian A. Padget: Pan-supplier stock control in a virtual warehouse. AAMAS (Industry Track) 2008: 11-18
69EEOwen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget: ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. ICLP 2008: 724-728
68EEOwen Cliffe, Marina De Vos, Julian A. Padget: Embedding Landmarks and Scenes in a Computational Model of Institutions. COIN 2007: 41-57
67EEPeter Gradwell, Julian A. Padget: A comparison of distributed and centralised agent based bundling systems. ICEC 2007: 25-34
66EENeil Chapman, Simone A. Ludwig, William Naylor, Julian A. Padget, Omer F. Rana: Matchmaking Support for Dynamic Workflow Composition. eScience 2007: 371-378
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
63EEOwen Cliffe, Marina De Vos, Julian A. Padget: Answer Set Programming for Representing and Reasoning About Virtual Institutions. CLIMA VII 2006: 60-79
62EEWilliam Naylor, Julian A. Padget: From Untyped to Polymorphically Typed Objects in Mathematical Web Services. MKM 2006: 222-236
61EEOlivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann: Editorial. Higher-Order and Symbolic Computation 19(1): 5 (2006)
60EEYann 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)
59EESimone A. Ludwig, Omer F. Rana, Julian A. Padget, William Naylor: Matchmaking Framework for Mathematical Web Services. J. Grid Comput. 4(1): 33-48 (2006)
58EEMaged 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)
57EESimone A. Ludwig, Omer F. Rana, William Naylor, Julian A. Padget: Agent-based matchmaking of mathematical web services. AAMAS 2005: 1277-1278
56EESimone A. Ludwig, Omer F. Rana, William Naylor, Julian A. Padget: Mathematical matchmaker for numeric and symbolic services. AAMAS 2005: 133-134
55EEOwen Cliffe, Marina De Vos, Julian A. Padget: Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming. AAMAS Workshops 2005: 99-113
54EEVitus S. W. Lam, Julian A. Padget: An integrated environment for communicating UML statechart diagrams. AICCSA 2005: 111
53EEMarina 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
52EEVitus 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
48EEVitus S. W. Lam, Julian A. Padget: Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus. IFM 2005: 347-365
47EEWilliam Naylor, Julian A. Padget: Semantic Matching for Mathematical Services. MKM 2005: 174-189
46EESimone A. Ludwig, William Naylor, Omer F. Rana, Julian A. Padget: Matchmaking of Mathematical Web Services. PPAM 2005: 809-816
45EEJulian A. Padget: E-Government and E-Democracy in Latin America. IEEE Intelligent Systems 20(1): 94-96 (2005)
44EEPeter Gradwell, Julian A. Padget: Markets vs auctions: Approaches to distributed combinatorial resource scheduling. Multiagent and Grid Systems 1(4): 251-262 (2005)
43EEVitus S. W. Lam, Julian A. Padget: Formal Specification and Verification of the SET/A Protocol with an Integrated Approach. CEC 2004: 229-235
42EEVitus S. W. Lam, Julian A. Padget: Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach. ECBS 2004: 337-347
41EEOlga 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
39EEJohn Fitch, Julian A. Padget: Ride a Cock-Horse .... WEDELMUSIC 2004: 136-143
38 Vitus S. W. Lam, Julian A. Padget: Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations. HCC 2003: 137-144
37EEDaniel 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
35EEJavier 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)
34EEJavier 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)
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
32EEOliver Vickers, Julian A. Padget: Skeletal Jade Components for the Construction of Institutions. AMEC 2002: 307-324
31EEJavier 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
30EEMarc Esteva, Julian A. Padget, Carles Sierra: Formalizing a Language for Institutions and Norms. ATAL 2001: 348-366
29EEVitus S. W. Lam, Julian A. Padget: Formalization of UML Statechart Diagrams in the p-Calculus. Australian Software Engineering Conference 2001: 213-223
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
25EEJulian A. Padget, Russell J. Bradford: A pi-calculus Model of a Spanish Fish Market - Preliminary Report. AMET 1998: 166-188
24EEDuncan 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
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)
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
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)
11EEJulian A. Padget, A. Barnes: Univariate Power Series Expansions in REDUCE. ISSAC 1990: 82-87
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
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
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
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
3 John Fitch, Julian A. Padget: A Pure and Really Simple Initial Functional Algebraic Language. EUROSAM 1984: 148-158
2 Julian A. Padget: The ecology of LISP or the case for the preservation of the environment. EUROCAL 1983: 91-100
1 Julian A. Padget: Escaping from Intermediate Expression Swell: A Continuing Saga. EUROCAM 1982: 256-262

Coauthor Index

1Cyril N. Alberga [8]
2A. Barnes [11]
3Duncan J. Batey [16] [24]
4Steve Battle [40]
5Neil Berrington [20] [21]
6Olivier Boissier [64]
7Chris Bosman-Clark [8]
8Maged N. Kamel Boulos [58]
9Adrian Bowyer [9] [10]
10Russell J. Bradford [12] [25]
11Martin Brain [53] [69]
12Frances M. T. Brazier [71] [75]
13Harry Bretthauer [18]
14Peter A. Broadbery [13] [20]
15Francisco Caballero [34] [35]
16Qiang Cai [58]
17Olga Caprotti [41]
18Neil Chapman [66]
19Yann Chevaleyre [60]
20Owen Cliffe [50] [51] [53] [55] [63] [68] [69] [73] [74]
21Ulises Cortés [31] [34] [35]
22Tom Crick [51] [53]
23Olivier Danvy [61]
24James H. Davenport [5] [9] [10] [41]
25Mary S. Van Deusen [8]
26Mike Dewar [41]
27Virginia Dignum [64]
28Barbara Dunin-Keplicz [65]
29Paul E. Dunne (Paul E. S. Dunne) [60]
30Emad El-Deen El-Akehal [70]
31Ulrich Endriss (Ulle Endriss) [60]
32Marc Esteva [27] [30]
33John Fitch [3] [4] [12] [39]
34Peter Gradwell [44] [49] [67] [71]
35Luke Hopton [74]
36David Hutchinson [13]
37Takayasu Ito [15]
38Aditya Kalyanpur [40]
39Andreas Kind [26]
40Vitus S. W. Lam [29] [36] [38] [42] [43] [48] [52] [54]
41Jérôme Lang [60]
42Michel Lemaître [60]
43Gabriela Lindemann [64]
44Antonio López-Navidad [34] [35]
45Simone A. Ludwig [46] [56] [57] [59] [66]
46Eric T. Matson [64]
47Nicolas Maudet [60]
48Simon C. Merrall [16] [17] [19]
49Martin Mikelsons [8]
50Philip S. Milne [9] [10]
51Oege de Moor [61]
52William Naylor [46] [47] [56] [57] [59] [62] [66]
53Jonathan Needham [51] [53]
54Rishiyur S. Nikhil [15]
55Pablo Noriega (B. V. Pablo Noriega) [72]
56Greg Nuyens [18]
57Mohammed H. Odeh [22]
58Michel Oey [71]
59Andrea Omicini [65]
60Sascha Ossowski [64] [72]
61David C. Parkes [33]
62Daniel Jiménez Pastor [37] [40]
63Steve Phelps [60]
64Christian Queinnec [14]
65Omer F. Rana [46] [56] [57] [59] [66] [75]
66Juan A. Rodríguez-Aguilar [60]
67David De Roure [20] [21]
68Gerard Rushton [58]
69Norman M. Sadeh [33]
70Onn Shehory [33]
71Jaime Simão Sichman [64] [72]
72Carles Sierra [30]
73Paulo Sousa (Paulo Jorge Paiva de Sousa) [60]
74Sander van Splunter [75]
75Norihisa Suzuki [15]
76Peter Thiemann [61]
77Reinier Timmer [71]
78Javier Vázquez-Salceda [31] [34] [35] [64]
79Oliver Vickers [32]
80Marina De Vos [50] [51] [53] [55] [63] [68] [69] [73] [74]
81Andrew F. Wallis [9] [10]
82William E. Walsh [33]
83Richard Watson [51]
84Taiichi Yuasa [15]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)