|
Search the dblp DataBase
Julian A. Padget:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Oliver Vickers, Julian A. Padget
Skeletal Jade Components for the Construction of Institutions. [Citation Graph (0, 0)][DBLP] AMEC, 2002, pp:307-324 [Conf]
- Julian A. Padget, Russell J. Bradford
A pi-calculus Model of a Spanish Fish Market - Preliminary Report. [Citation Graph (0, 0)][DBLP] AMET, 1998, pp:166-188 [Conf]
- Vitus S. W. Lam, Julian A. Padget
Formalization of UML Statechart Diagrams in the p-Calculus. [Citation Graph (0, 0)][DBLP] Australian Software Engineering Conference, 2001, pp:213-223 [Conf]
- Marc Esteva, Julian A. Padget, Carles Sierra
Formalizing a Language for Institutions and Norms. [Citation Graph (0, 0)][DBLP] ATAL, 2001, pp:348-366 [Conf]
- Simone A. Ludwig, Omer F. Rana, William Naylor, Julian A. Padget
Mathematical matchmaker for numeric and symbolic services. [Citation Graph (0, 0)][DBLP] AAMAS, 2005, pp:133-134 [Conf]
- Simone A. Ludwig, Omer F. Rana, William Naylor, Julian A. Padget
Agent-based matchmaking of mathematical web services. [Citation Graph (0, 0)][DBLP] AAMAS, 2005, pp:1277-1278 [Conf]
- Javier Vázquez-Salceda, Ulises Cortés, Julian A. Padget
Integrating the Organ and Tissue Allocation Processes through an Agent-Mediated Electronic Institution. [Citation Graph (0, 0)][DBLP] CCIA, 2002, pp:309-321 [Conf]
- Owen Cliffe, Marina De Vos, Julian A. Padget
Answer Set Programming for Representing and Reasoning About Virtual Institutions. [Citation Graph (0, 0)][DBLP] CLIMA VII, 2006, pp:60-79 [Conf]
- Andreas Kind, Julian A. Padget
Towards Meta-Agent Protocols. [Citation Graph (0, 0)][DBLP] Collaboration between Human and Artificial Societies, 1999, pp:30-42 [Conf]
- Marina De Vos, Tom Crick, Julian A. Padget, Martin Brain, Owen Cliffe, Jonathan Needham
LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming. [Citation Graph (0, 0)][DBLP] DALT, 2005, pp:72-88 [Conf]
- Vitus S. W. Lam, Julian A. Padget
Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach. [Citation Graph (0, 0)][DBLP] ECBS, 2004, pp:337-347 [Conf]
- Vitus S. W. Lam, Julian A. Padget
Consistency Checking of Statechart Diagrams of a Class Hierarchy. [Citation Graph (0, 0)][DBLP] ECOOP, 2005, pp:412-427 [Conf]
- Olga Caprotti, James H. Davenport, Mike Dewar, Julian A. Padget
Mathematics on the (Semantic) NET. [Citation Graph (0, 0)][DBLP] ESWS, 2004, pp:213-224 [Conf]
- Owen Cliffe, Marina De Vos, Julian A. Padget
Specifying and Analysing Agent-based Social Institutions using Answer Set Programming. [Citation Graph (0, 0)][DBLP] EUMAS, 2005, pp:476-477 [Conf]
- Marina De Vos, Owen Cliffe, Richard Watson, Tom Crick, Julian A. Padget, Jonathan Needham
T-LAIMA: Answer Set Programming for Modelling Agents with Trust. [Citation Graph (0, 0)][DBLP] EUMAS, 2005, pp:126-136 [Conf]
- Peter Gradwell, Julian A. Padget
Markets vs Auctions: Approaches to Distributed. [Citation Graph (0, 0)][DBLP] EUMAS, 2005, pp:487-488 [Conf]
- James H. Davenport, Julian A. Padget
HEUGCD: How Elementary Upperbounds Generated Cheaper Data. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:18-28 [Conf]
- Adrian Bowyer, James H. Davenport, Philip S. Milne, Julian A. Padget, Andrew F. Wallis
Applications of computer algebra in solid modelling. [Citation Graph (0, 0)][DBLP] EUROCAL, 1987, pp:244-245 [Conf]
- Julian A. Padget
Escaping from Intermediate Expression Swell: A Continuing Saga. [Citation Graph (0, 0)][DBLP] EUROCAM, 1982, pp:256-262 [Conf]
- Julian A. Padget
The ecology of LISP or the case for the preservation of the environment. [Citation Graph (0, 0)][DBLP] EUROCAL, 1983, pp:91-100 [Conf]
- Julian A. Padget
Current Developments in LISP. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (1), 1985, pp:45-57 [Conf]
- John Fitch, Julian A. Padget
A Pure and Really Simple Initial Functional Algebraic Language. [Citation Graph (0, 0)][DBLP] EUROSAM, 1984, pp:148-158 [Conf]
- Julian A. Padget, Peter A. Broadbery, David Hutchinson
Mixing Concurrency Abstractions and Classes. [Citation Graph (0, 0)][DBLP] Research Directions in High-Level Parallel Programming Languages, 1991, pp:174-186 [Conf]
- Vitus S. W. Lam, Julian A. Padget
Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus. [Citation Graph (0, 0)][DBLP] IFM, 2005, pp:347-365 [Conf]
- Marc Esteva, Julian A. Padget
Auctions without Auctioneers: Distributed Auction Protocols. [Citation Graph (0, 0)][DBLP] Agent Mediated Electronic Commerce (IJCAI Workshop), 1999, pp:220-238 [Conf]
- Andrew F. Wallis, Adrian Bowyer, James H. Davenport, Philip S. Milne, Julian A. Padget
The Use of Symbolic Computation in Geometric Modelling. [Citation Graph (0, 0)][DBLP] IMA Conference on the Mathematics of Surfaces, 1988, pp:199-206 [Conf]
- Julian A. Padget, A. Barnes
Univariate Power Series Expansions in REDUCE. [Citation Graph (0, 0)][DBLP] ISSAC, 1990, pp:82-87 [Conf]
- Simon C. Merrall, Julian A. Padget
Collections and Garbage Collection. [Citation Graph (0, 0)][DBLP] IWMM, 1992, pp:473-489 [Conf]
- Cyril N. Alberga, Chris Bosman-Clark, Martin Mikelsons, Mary S. Van Deusen, Julian A. Padget
Experience with an Uncommon LISP. [Citation Graph (0, 0)][DBLP] LISP and Functional Programming, 1986, pp:39-53 [Conf]
- Julian A. Padget
Desiderata for the Standardization of LISP. [Citation Graph (0, 0)][DBLP] LISP and Functional Programming, 1986, pp:54-66 [Conf]
- William Naylor, Julian A. Padget
From Untyped to Polymorphically Typed Objects in Mathematical Web Services. [Citation Graph (0, 0)][DBLP] MKM, 2006, pp:222-236 [Conf]
- William Naylor, Julian A. Padget
Semantic Matching for Mathematical Services. [Citation Graph (0, 0)][DBLP] MKM, 2005, pp:174-189 [Conf]
- Daniel Jiménez Pastor, Julian A. Padget
Towards HARMONIA: automatic generation of e-organisations from institution specifications. [Citation Graph (0, 0)][DBLP] OAS, 2003, pp:31-38 [Conf]
- Mohammed H. Odeh, Julian A. Padget
Object-Oriented Execution of OPS5 Production Systems. [Citation Graph (0, 0)][DBLP] OOPSLA, 1993, pp:178-190 [Conf]
- Duncan J. Batey, Julian A. Padget
Coordinating heterogeneous parallelism. [Citation Graph (0, 0)][DBLP] PDP, 1995, pp:339-347 [Conf]
- Julian A. Padget, John Fitch
Closurize and Concentrate. [Citation Graph (0, 0)][DBLP] POPL, 1985, pp:255-265 [Conf]
- Simone A. Ludwig, William Naylor, Omer F. Rana, Julian A. Padget
Matchmaking of Mathematical Web Services. [Citation Graph (0, 0)][DBLP] PPAM, 2005, pp:809-816 [Conf]
- Takayasu Ito, Rishiyur S. Nikhil, Julian A. Padget, Norihisa Suzuki, Taiichi Yuasa
Massively Parallel Architectures and Symbolic Computation (panel). [Citation Graph (0, 0)][DBLP] Parallel Symbolic Computing, 1992, pp:408-416 [Conf]
- Julian A. Padget, Duncan J. Batey, Simon C. Merrall
Architecture Independence and Coordination. [Citation Graph (0, 0)][DBLP] Parallel Symbolic Computing, 1992, pp:287-299 [Conf]
- Julian A. Padget
Foundations for a Virtual Multicomputer - Progress Report. [Citation Graph (0, 0)][DBLP] PSLS, 1995, pp:336-343 [Conf]
- Christian Queinnec, Julian A. Padget
A Proposal for a Modular Lisp with Macros and Dynamic Evaluation. [Citation Graph (0, 0)][DBLP] JTASPEFT/WSA, 1991, pp:1-8 [Conf]
- Aditya Kalyanpur, Daniel Jiménez Pastor, Steve Battle, Julian A. Padget
Automatic Mapping of OWL Ontologies into Java. [Citation Graph (0, 0)][DBLP] SEKE, 2004, pp:98-103 [Conf]
- Vitus S. W. Lam, Julian A. Padget
On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus. [Citation Graph (0, 0)][DBLP] Software Engineering Research and Practice, 2003, pp:877-882 [Conf]
- Vitus S. W. Lam, Julian A. Padget
Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations. [Citation Graph (0, 0)][DBLP] HCC, 2003, pp:137-144 [Conf]
- Vitus S. W. Lam, Julian A. Padget
Formal Specification and Verification of the SET/A Protocol with an Integrated Approach. [Citation Graph (0, 0)][DBLP] CEC, 2004, pp:229-235 [Conf]
- John Fitch, Julian A. Padget
Ride a Cock-Horse .... [Citation Graph (0, 0)][DBLP] WEDELMUSIC, 2004, pp:136-143 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] AI Commun., 2003, v:16, n:3, pp:153-165 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Artificial Intelligence in Medicine, 2003, v:27, n:3, pp:233-258 [Journal]
- Neil Berrington, David De Roure, Julian A. Padget
Guaranteeing Unpredictability. [Citation Graph (0, 0)][DBLP] Comput. J., 1993, v:36, n:8, pp:723-733 [Journal]
- Julian A. Padget, Russell J. Bradford, John Fitch
Concurrent Object-Oriented Programming in Lisp. [Citation Graph (0, 0)][DBLP] Comput. J., 1991, v:34, n:4, pp:311-319 [Journal]
- Julian A. Padget
E-Government and E-Democracy in Latin America. [Citation Graph (0, 0)][DBLP] IEEE Intelligent Systems, 2005, v:20, n:1, pp:94-96 [Journal]
- Simone A. Ludwig, Omer F. Rana, Julian A. Padget, William Naylor
Matchmaking Framework for Mathematical Web Services. [Citation Graph (0, 0)][DBLP] J. Grid Comput., 2006, v:4, n:1, pp:33-48 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Journal of Biomedical Informatics, 2006, v:39, n:2, pp:160-170 [Journal]
- Neil Berrington, Peter A. Broadbery, David De Roure, Julian A. Padget
EULISP Threads: A Concurrency Toolbox. [Citation Graph (0, 0)][DBLP] Lisp and Symbolic Computation, 1993, v:6, n:1-2, pp:177-200 [Journal]
- Simon C. Merrall, Julian A. Padget
Plurals: A SIMD Extension to EuLisp. [Citation Graph (0, 0)][DBLP] Lisp and Symbolic Computation, 1993, v:6, n:1-2, pp:201-220 [Journal]
- Olivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann
Editorial. [Citation Graph (0, 0)][DBLP] Higher-Order and Symbolic Computation, 2006, v:19, n:1, pp:5- [Journal]
- Julian A. Padget, Greg Nuyens, Harry Bretthauer
An Overview of EULISP. [Citation Graph (0, 0)][DBLP] Lisp and Symbolic Computation, 1993, v:6, n:1-2, pp:9-98 [Journal]
- Peter Gradwell, Julian A. Padget
A comparison of distributed and centralised agent based bundling systems. [Citation Graph (0, 0)][DBLP] ICEC, 2007, pp:25-34 [Conf]
- Vitus S. W. Lam, Julian A. Padget
An integrated environment for communicating UML statechart diagrams. [Citation Graph (0, 0)][DBLP] AICCSA, 2005, pp:111- [Conf]
- Owen Cliffe, Marina De Vos, Julian A. Padget
Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming. [Citation Graph (0, 0)][DBLP] AAMAS Workshops, 2005, pp:99-113 [Conf]
Engineering large-scale distributed auctions. [Citation Graph (, )][DBLP]
Pan-supplier stock control in a virtual warehouse. [Citation Graph (, )][DBLP]
Embedding Landmarks and Scenes in a Computational Model of Institutions. [Citation Graph (, )][DBLP]
ALIVE: an agent-based framework for dynamic and robust service-oriented applications. [Citation Graph (, )][DBLP]
Matchmaking Support for Dynamic Workflow Composition. [Citation Graph (, )][DBLP]
Engineering Agent Organisations in a Business Environment. [Citation Graph (, )][DBLP]
ALIVE: A Framework for Flexible and Adaptive Service Coordination. [Citation Graph (, )][DBLP]
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. [Citation Graph (, )][DBLP]
Organizing web services to develop dynamic, flexible, distributed systems. [Citation Graph (, )][DBLP]
AQL: A Query Language for Action Domains Modelled Using Answer Set Programming. [Citation Graph (, )][DBLP]
Modelling Normative Frameworks Using Answer Set Programing. [Citation Graph (, )][DBLP]
Dynamic Service Reconfiguration and Enactment using an Open Matching Architecture. [Citation Graph (, )][DBLP]
Norms, Organisations and Semantic Web Services: The ALIVE Approach. [Citation Graph (, )][DBLP]
Introductory Essay of COIN@MALLOW'009. [Citation Graph (, )][DBLP]
Search in 0.010secs, Finished in 0.015secs
|