Julian Richardson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
1996–2016
Best venue rank
C
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | COLING | Semi-supervised Word Sense Disambiguation with Neural Models. | Dayu Yuan, Julian Richardson, Ryan Doherty, Colin Evans, Eric Altendorf |
| 2007 | GECCO | Optimizing the V&V process for critical systems. | James D. Kiper, Martin S. Feather, Julian Richardson |
| 2006 | SEW | Qualitative Modeling for Requirements Engineering. | Tim Menzies, Julian Richardson |
| 2002 | LPAR | A Semantics for Proof Plans with Applications to Interactive Proof Planning. | Julian Richardson |
| 1999 | LPAR | Proofs About Lists Using Ellipsis. | Alan Bundy, Julian Richardson |
| 1998 | CADE | System Description: Proof Planning in Higher-Order Logic with Lambda-Clam. | Julian Richardson, Alan Smaill, Ian Green |
| 1998 | LOPSTR | Abstract: Proof Planning with Program Schemas. | Julian Richardson |
| 1997 | LOPSTR | Development of Correct Transformation Schemata for Prolog Programs. | Julian Richardson, Norbert E. Fuchs |
| 1996 | LOPSTR | Symbolic Verification with Gap-Order Constraints. | Laurent Fribourg, Julian Richardson |