The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Julian Richardson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Julian Richardson, Alan Smaill, Ian Green
    System Description: Proof Planning in Higher-Order Logic with Lambda-Clam. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:129-133 [Conf]
  2. Steven Willmott, Julian Richardson, Alan Bundy, John Levine
    An Adversarial Planning Approach to Go. [Citation Graph (0, 0)][DBLP]
    Computers and Games, 1998, pp:93-112 [Conf]
  3. David Lacey, Julian Richardson, Alan Smaill
    Logic Program Synthesis in a Higher-Order Setting. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:87-100 [Conf]
  4. Stephen Cresswell, Alan Smaill, Julian Richardson
    Deductive Synthesis of Recursive Plans in Linear Logic. [Citation Graph (0, 0)][DBLP]
    ECP, 1999, pp:252-264 [Conf]
  5. Julian Richardson
    Automating Changes of Data Type in Functional Programs. [Citation Graph (0, 0)][DBLP]
    KBSE, 1995, pp:166-173 [Conf]
  6. Julian Richardson, Jeff Green
    Automating Traceability for Generated Software Artifacts . [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:24-33 [Conf]
  7. Laurent Fribourg, Julian Richardson
    Symbolic Verification with Gap-Order Constraints. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:20-37 [Conf]
  8. Julian Richardson
    Abstract: Proof Planning with Program Schemas. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1998, pp:313-315 [Conf]
  9. Julian Richardson, Norbert E. Fuchs
    Development of Correct Transformation Schemata for Prolog Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1997, pp:263-281 [Conf]
  10. Alan Bundy, Julian Richardson
    Proofs About Lists Using Ellipsis. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:1-12 [Conf]
  11. Julian Richardson
    A Semantics for Proof Plans with Applications to Interactive Proof Planning. [Citation Graph (0, 0)][DBLP]
    LPAR, 2002, pp:337-351 [Conf]
  12. Tim Menzies, Julian Richardson
    Qualitative Modeling for Requirements Engineering. [Citation Graph (0, 0)][DBLP]
    SEW, 2006, pp:11-20 [Conf]
  13. Tim Menzies, Julian Richardson
    Making Sense of Requirements, Sooner. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:10, pp:112-114 [Journal]
  14. Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson
    An Abstract Formalization of Correct Schemas for Program Synthesis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2000, v:30, n:1, pp:93-127 [Journal]
  15. Steven Willmott, Julian Richardson, Alan Bundy, John Levine
    Applying adversarial planning techniques to Go. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:252, n:1-2, pp:45-82 [Journal]
  16. James D. Kiper, Martin S. Feather, Julian Richardson
    Optimizing the V&V process for critical systems. [Citation Graph (0, 0)][DBLP]
    GECCO, 2007, pp:1139- [Conf]

  17. The Strangest Thing About Software. [Citation Graph (, )][DBLP]


Search in 0.065secs, Finished in 0.066secs
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