The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Julian A. Padget: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Oliver Vickers, Julian A. Padget
    Skeletal Jade Components for the Construction of Institutions. [Citation Graph (0, 0)][DBLP]
    AMEC, 2002, pp:307-324 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. Peter Gradwell, Julian A. Padget
    Markets vs Auctions: Approaches to Distributed. [Citation Graph (0, 0)][DBLP]
    EUMAS, 2005, pp:487-488 [Conf]
  17. 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]
  18. 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]
  19. Julian A. Padget
    Escaping from Intermediate Expression Swell: A Continuing Saga. [Citation Graph (0, 0)][DBLP]
    EUROCAM, 1982, pp:256-262 [Conf]
  20. 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]
  21. Julian A. Padget
    Current Developments in LISP. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (1), 1985, pp:45-57 [Conf]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. Julian A. Padget, A. Barnes
    Univariate Power Series Expansions in REDUCE. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1990, pp:82-87 [Conf]
  28. Simon C. Merrall, Julian A. Padget
    Collections and Garbage Collection. [Citation Graph (0, 0)][DBLP]
    IWMM, 1992, pp:473-489 [Conf]
  29. 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]
  30. Julian A. Padget
    Desiderata for the Standardization of LISP. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1986, pp:54-66 [Conf]
  31. 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]
  32. William Naylor, Julian A. Padget
    Semantic Matching for Mathematical Services. [Citation Graph (0, 0)][DBLP]
    MKM, 2005, pp:174-189 [Conf]
  33. 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]
  34. Mohammed H. Odeh, Julian A. Padget
    Object-Oriented Execution of OPS5 Production Systems. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1993, pp:178-190 [Conf]
  35. Duncan J. Batey, Julian A. Padget
    Coordinating heterogeneous parallelism. [Citation Graph (0, 0)][DBLP]
    PDP, 1995, pp:339-347 [Conf]
  36. Julian A. Padget, John Fitch
    Closurize and Concentrate. [Citation Graph (0, 0)][DBLP]
    POPL, 1985, pp:255-265 [Conf]
  37. 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]
  38. 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]
  39. 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]
  40. Julian A. Padget
    Foundations for a Virtual Multicomputer - Progress Report. [Citation Graph (0, 0)][DBLP]
    PSLS, 1995, pp:336-343 [Conf]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. John Fitch, Julian A. Padget
    Ride a Cock-Horse .... [Citation Graph (0, 0)][DBLP]
    WEDELMUSIC, 2004, pp:136-143 [Conf]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. 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]
  55. 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]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. 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]

  61. Engineering large-scale distributed auctions. [Citation Graph (, )][DBLP]


  62. Pan-supplier stock control in a virtual warehouse. [Citation Graph (, )][DBLP]


  63. Embedding Landmarks and Scenes in a Computational Model of Institutions. [Citation Graph (, )][DBLP]


  64. ALIVE: an agent-based framework for dynamic and robust service-oriented applications. [Citation Graph (, )][DBLP]


  65. Matchmaking Support for Dynamic Workflow Composition. [Citation Graph (, )][DBLP]


  66. Engineering Agent Organisations in a Business Environment. [Citation Graph (, )][DBLP]


  67. ALIVE: A Framework for Flexible and Adaptive Service Coordination. [Citation Graph (, )][DBLP]


  68. ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. [Citation Graph (, )][DBLP]


  69. Organizing web services to develop dynamic, flexible, distributed systems. [Citation Graph (, )][DBLP]


  70. AQL: A Query Language for Action Domains Modelled Using Answer Set Programming. [Citation Graph (, )][DBLP]


  71. Modelling Normative Frameworks Using Answer Set Programing. [Citation Graph (, )][DBLP]


  72. Dynamic Service Reconfiguration and Enactment using an Open Matching Architecture. [Citation Graph (, )][DBLP]


  73. Norms, Organisations and Semantic Web Services: The ALIVE Approach. [Citation Graph (, )][DBLP]


  74. Introductory Essay of COIN@MALLOW'009. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002