MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Ray Nickson" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 13 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Program Window Inference  
  • by Ray Nickson, Ray Nickson, Ian Hayes, Ian Hayes — 1995 — Software Verification Research Centre, The University of Queensland, St
  • … Queensland 4072 Australia TECHNICAL REPORT No. 95-29 Program Window Inference Ray Nickson and Ian Hayes July…
  • Cited by 8 (3 self) – Add To MetaCart
  • A Declarative Semantics for Logic Program Refinement  
  • by Robert Colvin, Ian Hayes, Ian Hayes, Ray Nickson, Ray Nickson, Paul Strooper, Paul Strooper — 2000
  • … TECHNICAL REPORT No. 00-30 A Declarative Semantics for Logic Program Renement Ian Hayes Ray Nickson y…
  • Add To MetaCart
  • A Tactic Language for Ergo  
  • by Andrew Martin, Andrew Martin, Ray Nickson, Ray Nickson, Mark Utting, Mark Utting — 1997 — Formal Methods Pacific ’97
  • … Queensland 4072 Australia TECHNICAL REPORT No. 97-16 A Tactic Language for Ergo Andrew Martin, Ray Nickson…
  • Cited by 5 (3 self) – Add To MetaCart
  • Ergo 4.1 Reference Manual  
  • by Holger Becht, Holger Becht, Anthony Bloesch, Anthony Bloesch, Ray Nickson, Ray Nickson, Mark Utting, Mark Utting — 1996
  • …/SVRC/techreports. Ergo 4.1 Reference Manual Holger Becht, Anthony Bloesch, Ray Nickson, Mark Utting Contents 1…
  • Cited by 12 (2 self) – Add To MetaCart
  • A Tool for Refining Logic Programs  
  • by Robert Colvin, Robert Colvin, Ian Hayes, Ian Hayes, Ray Nickson, Ray Nickson, Paul Strooper, Paul Strooper — 1997 — International Refinement Workshop and Formal Methods Pacific
  • … Hayes Ray Nickson Paul Strooper Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http…
  • Cited by 2 (2 self) – Add To MetaCart
  • Requirements for a Program Refinement Engine  
  • by David Carrington, David Carrington, Ian Hayes, Ian Hayes, Ray Nickson, Ray Nickson, Geoffrey Watson, Geoffrey Watson, Jim Welsh, Jim Welsh — 1995 — Patter Recognition Letters
  • … Carrington, Ian Hayes, Ray Nickson, Geoffrey Watson and Jim Welsh July 1995 Phone: +61 7 365 1003 Fax: +61 7…
  • Cited by 1 (0 self) – Add To MetaCart
  • A Review of Existing Refinement Tools  
  • by David Carrington, David Carrington, Ian Hayes, Ian Hayes, Ray Nickson, Ray Nickson, Geoffrey Watson, Geoffrey Watson, Jim Welsh, Jim Welsh — 1994 — 15th International Conference on Pattern Recognition, ICPR2000
  • … Carrington, Ian Hayes, Ray Nickson, Geoffrey Watson and Jim Welsh A Review of Existing Refinement Tools June…
  • Cited by 3 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB