BibSonomy :: author  ::

bookmarks

publications

(12)

• A Refinement Calculus for Logic Programs
  Ian J. Hayes and Robert Colvin and David Hemer and Paul A. Strooper and Ray Nickson CoRR cs.SE/0202002 (2002)
  to dblp by dblp and 1 other person on 2008-01-02 00:00:00
  | URL | BibTeX  
• The Cogito Development System.
  Owen Traynor and Daniel Hazel and Peter Kearney and Andrew Martin and Ray Nickson and Luke Wildman AMAST 586-591 (1997)
  to dblp by dblp on 2007-08-21 00:00:00
  | URL | BibTeX  
• Vapour pressure measurement of low volatility precursors.
  S. A. Rushworth and L. M. Smith and A. J. Kingsley and R. Odedra and R. Nickson and P. Hughes Microelectronics Reliability 45 1000-1002 (2005)
  to dblp by dblp on 2007-03-27 00:00:00
  | URL | BibTeX  
• More optimal strokes for NPR sketching.
  John P. Lewis and Nickson Fong and Xie XueXiang and Seah Hock Soon and Feng Tian GRAPHITE 47-50 (2005)
  to dblp by dblp on 2006-05-10 00:00:00
  | URL | BibTeX  
• VisualIDs: automatic distinctive icons for desktop interfaces.
  John P. Lewis and Ruth Rosenholtz and Nickson Fong and Ulrich Neumann ACM Trans. Graph. 23 416-423 (2004)
  to dblp by dblp on 2006-02-09 00:00:00
  | URL | BibTeX  
• Pose space deformation: a unified approach to shape interpolation and skeleton-driven deformation.
  John P. Lewis and Matt Cordner and Nickson Fong SIGGRAPH 165-172 (2000)
  to dblp by dblp on 2005-02-17 00:00:00
  | URL | BibTeX  
• Developing Logic Programs from Specifications Using Stepwise Refinement.
  Robert Colvin and Lindsay Groves and Ian J. Hayes and David Hemer and Ray Nickson and Paul A. Strooper Program Development in Computational Logic 66-89 (2004)
  to dblp by dblp on 2004-07-05 00:00:00
  | URL | BibTeX  
• A Program Refinement Tool.
  David A. Carrington and Ian J. Hayes and Ray Nickson and Geoffrey Watson and Jim Welsh Formal Asp. Comput. 10 97-124 (1998)
  to dblp by dblp on 2003-12-02 00:00:00
  | URL | BibTeX  
• Supporting Contexts in Program Refinement.
  Ray Nickson and Ian J. Hayes Sci. Comput. Program. 29 279-302 (1997)
  to dblp by dblp on 2003-11-27 00:00:00
  | URL | BibTeX  
• A Survey of Software Development Practices in the New Zealand Software Industry .
  Lindsay Groves and Ray Nickson and Greg Reeve and Steve Reeves and Mark Utting Australian Software Engineering Conference 189-202 (2000)
  to dblp by dblp on 2003-09-05 00:00:00
  | URL | BibTeX