Deduction Plans: A Basis for Intelligent Backtracking. - Philip T. Cox; Tomasz Pietrzykowski (IEEE Trans. Pattern Anal. Mach. Intell., 1981)

Finding Backtrack Points for Intelligent Backtracking. - Philip T. Cox (Implementations of Prolog, 1984)

A Complete, Nonredundant Algorithm for Reversed Skolemization. - Philip T. Cox; Tomasz Pietrzykowski (Theor. Comput. Sci., 1984)

Compiling the graphical functional language PROGRAPH. - Philip T. Cox; I. J. Mulligan (SIGSMALL, 1985)

Advanced programming aids in PROGRAPH. - Philip T. Cox; Tomasz Pietrzykowski (SIGSMALL, 1985)

Surface Deduction: A Uniform Mechanism for Logic Programming. - Philip T. Cox; Tomasz Pietrzykowski (SLP, 1985)

Causes for Events: Their Computation and Applications. - Philip T. Cox; Tomasz Pietrzykowski (CADE, 1986)

Storage management in a Prolog compiler. - Y. L. Chang; Philip T. Cox (SIGSMALL, 1986)

Incorporating equality into logic programming via surface deduction. - Philip T. Cox; Tomasz Pietrzykowski (Ann. Pure Appl. Log., 1986)

General Diagnosis by Abductive Inference. - Philip T. Cox; Tomasz Pietrzykowski (SLP, 1987)

On Determining the Cause of Nonunifiability. - Philip T. Cox (J. Log. Program., 1987)

Prograph: a step towards liberating programming from textual conditioning. - Philip T. Cox; F. R. Giles; Tomasz Pietrzykowski (VL, 1989)

Using Object-Orientation to Implement Logic Programming. - Philip T. Cox (SIGSMALL/PC Symposium, 1990)

Visual Message Flow Language MFL and its Interaface. - Philip T. Cox; Tomasz Pietrzykowski (Advanced Visual Interfaces, 1992)

Abduction in Logic Programming with Equality. - Philip T. Cox; Emanuel Knill; Tomasz Pietrzykowski (FGCS, 1992)

Equality and Abductive Residua for Horn Clauses. - Emanuel Knill; Philip T. Cox; Tomasz Pietrzykowski (Theor. Comput. Sci., 1993)

Using Visual Programming to Extend the Power of Spreadsheet. - Philip T. Cox; Trevor J. Smedley (Advanced Visual Interfaces, 1994)

Distributed Prograph: Extended Abstract. - Philip T. Cox; Hugh Glaser; Benoît Lanaspre (PSLS, 1995)

Expanding the utility of spreadsheets through the integration of visual programming and user interface objects. - Trevor J. Smedley; Philip T. Cox; Shannon L. Byrne (AVI, 1996)

A Visual Language for the Design of Structured Graphical Objects. - Philip T. Cox; Trevor J. Smedley (VL, 1996)

VL' 96 Special Event: Perspectives from the Pioneers (Panel). - Nicholas P. Wilde; Shi-Kuo Chang; Philip T. Cox; David Canfield Smith (VL, 1996)

A Declarative Language for the Design of Structures. - Philip T. Cox; Trevor J. Smedley (VL, 1997)

Experiences with Visual Programming in a Specific Domain - Visual Language Challenge '96. - Philip T. Cox; Trevor J. Smedley; John Garden; Mark McManus (VL, 1997)

Visual Languages for the Design and Development of Structured Objects. - Trevor J. Smedley; Philip T. Cox (J. Vis. Lang. Comput., 1997)

A Visual Development Environment for Parallel Applications. - Philip T. Cox; Hugh Glaser; Stuart Maclean (VL, 1998)

Visual Programming for Robot Control. - Philip T. Cox; Trevor J. Smedley (VL, 1998)

A Model for Object Representation and Manipulation in a Visual Design Language. - Philip T. Cox; Trevor J. Smedley (VL, 1998)

Toward Concrete Representation in Visual Languages for Robot Control. - Philip T. Cox; Christopher C. Risley; Trevor J. Smedley (J. Vis. Lang. Comput., 1998)

LSD: A Logic-Based Visual Language for Designing Structured Objects. - Philip T. Cox; Trevor J. Smedley (J. Vis. Lang. Comput., 1998)

Building Environments for Visual Programming of Robots by Demonstration. - Philip T. Cox; Trevor J. Smedley (J. Vis. Lang. Comput., 2000)

A Formal Model for Parameterized Solids in a Visual Design Language. - Philip T. Cox; Trevor J. Smedley (J. Vis. Lang. Comput., 2000)

A Formal Model for Component-Based Software. - Philip T. Cox; Baoming Song (HCC, 2001)

Guest Editors' Introduction: Special Issue on Visual Languages for End-user and Domain-specific Programming. - Philip T. Cox; Trevor J. Smedley (J. Vis. Lang. Comput., 2001)

Solving Design Problems in a Logic-Based Visual Design Environment. - Omid Banyasad; Philip T. Cox (HCC, 2002)

Defining Behaviours for Solids in a Visual Design Environment. - Omid Banyasad; Philip T. Cox (HCC, 2002)

On translating geometric solids to functional expressions. - Omid Banyasad; Philip T. Cox (PPDP, 2003)

An Automatic Layout Algorithm for Lograph. - Omid Banyasad; Philip T. Cox (VL/HCC, 2004)

Programming an Autonomous Robot Controller by Demonstration Using Artificial Neural Networks. - Shawn M. Best; Philip T. Cox (VL/HCC, 2004)

Adding parallelism to visual data flow programs. - Philip T. Cox; Simon Gauvin; Andrew Rau-Chaplin (SOFTVIS, 2005)

Integrating design synthesis and assembly of structured objects in a visual design language. - Omid Banyasad; Philip T. Cox (Theory Pract. Log. Program., 2005)

Special issue on selected papers from HCC 2003. - Philip T. Cox; John G. Hosking (J. Vis. Lang. Comput., 2005)

Enhancing the Programmability of Spreadsheets with Logic Programming. - Philip T. Cox (VL/HCC, 2007)

Visual Languages and Logic. - Philip T. Cox; Andrew Fish; John Howse (VL/HCC, 2007)

Introduction. - Philip T. Cox; Andrew Fish; John Howse (VLL, 2007)

Special Issue on Selected Papers from VLC 2005. - Philip T. Cox (J. Vis. Lang. Comput., 2007)

Unification of Arrays in Spreadsheets with Logic Programming. - Philip T. Cox; Patrick K. Nicholson (PADL, 2008)

Special issue on selected papers from VL/HCC 2007: Guest Editors' introduction. - Philip T. Cox; John G. Hosking (J. Vis. Lang. Comput., 2008)

Visual Programming Languages. - Philip T. Cox (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Semantic comparison of structured visual dataflow programs. - Philip T. Cox; Anh Dang (VINCI, 2010)

Controlled dataflow visual programming languages. - Philip T. Cox; Simon Gauvin (VINCI, 2011)

Generating sample looks for geometric objects in a visual design language. - Omid Banyasad; Philip T. Cox (J. Vis. Lang. Comput., 2011)

Special Issue on Visual Languages and Logic: Guest editors' introduction. - Philip T. Cox; Andrew Fish; John Howse (J. Vis. Lang. Comput., 2011)

Design and Implementation of an Editor/Interpreter for a Visual Logic Programming Language. - Omid Banyasad; Philip T. Cox (Int. J. Softw. Eng. Knowl. Eng., 2013)