Philip T. Cox

Publication Activity (10 Years)

Years Active: 1980-2013
Publications (10 Years): 0

Top Topics

Logic Programming Language

Visual Features

Top Venues

Int. J. Softw. Eng. Knowl. Eng.

Publications

Omid Banyasad, Philip T. Cox
Design and Implementation of an Editor/Interpreter for a Visual Logic Programming Language. Int. J. Softw. Eng. Knowl. Eng. 23 (6) (2013)
Philip T. Cox, Simon Gauvin
Controlled dataflow visual programming languages. VINCI (2011)
Omid Banyasad, Philip T. Cox
Generating sample looks for geometric objects in a visual design language. J. Vis. Lang. Comput. 22 (2) (2011)
Philip T. Cox, Andrew Fish, John Howse
Special Issue on Visual Languages and Logic: Guest editors' introduction. J. Vis. Lang. Comput. 22 (1) (2011)
Philip T. Cox, Anh Dang
Semantic comparison of structured visual dataflow programs. VINCI (2010)
Philip T. Cox, Patrick K. Nicholson
Unification of Arrays in Spreadsheets with Logic Programming. PADL (2008)
Philip T. Cox, John G. Hosking
Special issue on selected papers from VL/HCC 2007: Guest Editors' introduction. J. Vis. Lang. Comput. 19 (4) (2008)
Philip T. Cox
Enhancing the Programmability of Spreadsheets with Logic Programming. VL/HCC (2007)
Philip T. Cox, Andrew Fish, John Howse
Visual Languages and Logic. VL/HCC (2007)
Philip T. Cox, Andrew Fish, John Howse
Introduction. VLL (2007)
Philip T. Cox
Special Issue on Selected Papers from VLC 2005. J. Vis. Lang. Comput. 18 (2) (2007)
Omid Banyasad, Philip T. Cox
Integrating design synthesis and assembly of structured objects in a visual design language. Theory Pract. Log. Program. 5 (6) (2005)
Philip T. Cox, Simon Gauvin, Andrew Rau-Chaplin
Adding parallelism to visual data flow programs. SOFTVIS (2005)
Philip T. Cox, John G. Hosking
Special issue on selected papers from HCC 2003. J. Vis. Lang. Comput. 16 (1-2) (2005)
Shawn M. Best, Philip T. Cox
Programming an Autonomous Robot Controller by Demonstration Using Artificial Neural Networks. VL/HCC (2004)
Omid Banyasad, Philip T. Cox
An Automatic Layout Algorithm for Lograph. VL/HCC (2004)
Omid Banyasad, Philip T. Cox
Integrating design synthesis and assembly of structured objects in a visual design language CoRR (2004)
Omid Banyasad, Philip T. Cox
On translating geometric solids to functional expressions. PPDP (2003)
Omid Banyasad, Philip T. Cox
Defining Behaviours for Solids in a Visual Design Environment. HCC (2002)
Omid Banyasad, Philip T. Cox
Solving Design Problems in a Logic-Based Visual Design Environment. HCC (2002)
Philip T. Cox, Trevor J. Smedley
Guest Editors' Introduction: Special Issue on Visual Languages for End-user and Domain-specific Programming. J. Vis. Lang. Comput. 12 (5) (2001)
Philip T. Cox, Baoming Song
A Formal Model for Component-Based Software. HCC (2001)
Philip T. Cox, Trevor J. Smedley
A Formal Model for Parameterized Solids in a Visual Design Language. J. Vis. Lang. Comput. 11 (6) (2000)
Philip T. Cox, Trevor J. Smedley
Building Environments for Visual Programming of Robots by Demonstration. J. Vis. Lang. Comput. 11 (5) (2000)
Philip T. Cox, Trevor J. Smedley
LSD: A Logic-Based Visual Language for Designing Structured Objects. J. Vis. Lang. Comput. 9 (5) (1998)
Philip T. Cox, Christopher C. Risley, Trevor J. Smedley
Toward Concrete Representation in Visual Languages for Robot Control. J. Vis. Lang. Comput. 9 (2) (1998)
Philip T. Cox, Trevor J. Smedley
A Model for Object Representation and Manipulation in a Visual Design Language. VL (1998)
Philip T. Cox, Trevor J. Smedley
Visual Programming for Robot Control. VL (1998)
Philip T. Cox, Hugh Glaser, Stuart Maclean
A Visual Development Environment for Parallel Applications. VL (1998)
Philip T. Cox, Trevor J. Smedley, John Garden, Mark McManus
Experiences with Visual Programming in a Specific Domain - Visual Language Challenge '96. VL (1997)
Philip T. Cox, Trevor J. Smedley
A Declarative Language for the Design of Structures. VL (1997)
Trevor J. Smedley, Philip T. Cox
Visual Languages for the Design and Development of Structured Objects. J. Vis. Lang. Comput. 8 (1) (1997)
Trevor J. Smedley, Philip T. Cox, Shannon L. Byrne
Expanding the utility of spreadsheets through the integration of visual programming and user interface objects. AVI (1996)
Nicholas P. Wilde, Shi-Kuo Chang, Philip T. Cox, David Canfield Smith
VL' 96 Special Event: Perspectives from the Pioneers (Panel). VL (1996)
Philip T. Cox, Trevor J. Smedley
A Visual Language for the Design of Structured Graphical Objects. VL (1996)
Philip T. Cox, Hugh Glaser, Benoît Lanaspre
Distributed Prograph: Extended Abstract. PSLS (1995)
Philip T. Cox, Trevor J. Smedley
Using Visual Programming to Extend the Power of Spreadsheet. Advanced Visual Interfaces (1994)
Emanuel Knill, Philip T. Cox, Tomasz Pietrzykowski
Equality and Abductive Residua for Horn Clauses. Theor. Comput. Sci. 120 (1) (1993)
Philip T. Cox, Emanuel Knill, Tomasz Pietrzykowski
Abduction in Logic Programming with Equality. FGCS (1992)
Philip T. Cox, Tomasz Pietrzykowski
Visual Message Flow Language MFL and its Interaface. Advanced Visual Interfaces (1992)
Philip T. Cox
Using Object-Orientation to Implement Logic Programming. SIGSMALL/PC Symposium (1990)
Philip T. Cox, F. R. Giles, Tomasz Pietrzykowski
Prograph: a step towards liberating programming from textual conditioning. VL (1989)
Philip T. Cox, Tomasz Pietrzykowski
General Diagnosis by Abductive Inference. SLP (1987)
Philip T. Cox
On Determining the Cause of Nonunifiability. J. Log. Program. 4 (1) (1987)
Y. L. Chang, Philip T. Cox
Storage management in a Prolog compiler. SIGSMALL (1986)
Philip T. Cox, Tomasz Pietrzykowski
Causes for Events: Their Computation and Applications. CADE (1986)
Philip T. Cox, Tomasz Pietrzykowski
Incorporating equality into logic programming via surface deduction. Ann. Pure Appl. Log. 31 (1986)
Philip T. Cox, Tomasz Pietrzykowski
Advanced programming aids in PROGRAPH. SIGSMALL (1985)
Philip T. Cox, Tomasz Pietrzykowski
Surface Deduction: A Uniform Mechanism for Logic Programming. SLP (1985)
Philip T. Cox, I. J. Mulligan
Compiling the graphical functional language PROGRAPH. SIGSMALL (1985)
Philip T. Cox, Tomasz Pietrzykowski
A Complete, Nonredundant Algorithm for Reversed Skolemization. Theor. Comput. Sci. 28 (1984)
Philip T. Cox, Tomasz Pietrzykowski
Deduction Plans: A Basis for Intelligent Backtracking. IEEE Trans. Pattern Anal. Mach. Intell. 3 (1) (1981)
Philip T. Cox, Tomasz Pietrzykowski
A Complete, Nonredundant Algorithm for Reversed Skolemization. CADE (1980)