Philip T. Cox

According to our database, Philip T. Cox authored at least 53 papers between 1981 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2013

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

2011

Special Issue on Visual Languages and Logic: Guest editors' introduction.

Philip T. Cox, Andrew Fish, John Howse

J. Vis. Lang. Comput., 2011

Generating sample looks for geometric objects in a visual design language.

Omid Banyasad, Philip T. Cox

J. Vis. Lang. Comput., 2011

Controlled dataflow visual programming languages.

Philip T. Cox, Simon Gauvin

Proceedings of the 2011 Visual Information Communication - International Symposium, 2011

2010

Semantic comparison of structured visual dataflow programs.

Philip T. Cox, Anh Dang

Proceedings of the 2010 International Symposium on Visual Information Communication, 2010

2008

Visual Programming Languages.

Philip T. Cox

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Special issue on selected papers from VL/HCC 2007: Guest Editors' introduction.

Philip T. Cox, John G. Hosking

J. Vis. Lang. Comput., 2008

Unification of Arrays in Spreadsheets with Logic Programming.

Philip T. Cox, Patrick K. Nicholson

Proceedings of the Practical Aspects of Declarative Languages, 2008

2007

Special Issue on Selected Papers from VLC 2005.

Philip T. Cox

J. Vis. Lang. Comput., 2007

Introduction.

Philip T. Cox, Andrew Fish, John Howse

Proceedings of the VLL 2007 workshop on Visual Languages and Logic in Coeur d'Aléne, 2007

Visual Languages and Logic.

Philip T. Cox, Andrew Fish, John Howse

Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

Enhancing the Programmability of Spreadsheets with Logic Programming.

Philip T. Cox

Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

2005

Special issue on selected papers from HCC 2003.

Philip T. Cox, John G. Hosking

J. Vis. Lang. Comput., 2005

Integrating design synthesis and assembly of structured objects in a visual design language.

Omid Banyasad, Philip T. Cox

Theory Pract. Log. Program., 2005

Adding parallelism to visual data flow programs.

Philip T. Cox, Simon Gauvin, Andrew Rau-Chaplin

Proceedings of the ACM 2005 Symposium on Software Visualization, 2005

2004

Programming an Autonomous Robot Controller by Demonstration Using Artificial Neural Networks.

Shawn M. Best, Philip T. Cox

Proceedings of the 2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 2004

An Automatic Layout Algorithm for Lograph.

Omid Banyasad, Philip T. Cox

Proceedings of the 2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 2004

2003

On translating geometric solids to functional expressions.

Omid Banyasad, Philip T. Cox

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

2002

Defining Behaviours for Solids in a Visual Design Environment.

Omid Banyasad, Philip T. Cox

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 2002

Solving Design Problems in a Logic-Based Visual Design Environment.

Omid Banyasad, Philip T. Cox

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 2002

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

A Formal Model for Component-Based Software.

Philip T. Cox, Baoming Song

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

2000

A Formal Model for Parameterized Solids in a Visual Design Language.

Philip T. Cox, Trevor J. Smedley

J. Vis. Lang. Comput., 2000

Building Environments for Visual Programming of Robots by Demonstration.

Philip T. Cox, Trevor J. Smedley

J. Vis. Lang. Comput., 2000

1998

LSD: A Logic-Based Visual Language for Designing Structured Objects.

Philip T. Cox, Trevor J. Smedley

J. Vis. Lang. Comput., 1998

Toward Concrete Representation in Visual Languages for Robot Control.

Philip T. Cox, Christopher C. Risley, Trevor J. Smedley

J. Vis. Lang. Comput., 1998

A Model for Object Representation and Manipulation in a Visual Design Language.

Philip T. Cox, Trevor J. Smedley

Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

Visual Programming for Robot Control.

Philip T. Cox, Trevor J. Smedley

Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

A Visual Development Environment for Parallel Applications.

Philip T. Cox, Hugh Glaser, Stuart Maclean

Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

1997

Visual Languages for the Design and Development of Structured Objects.

Trevor J. Smedley, Philip T. Cox

J. Vis. Lang. Comput., 1997

Experiences with Visual Programming in a Specific Domain - Visual Language Challenge '96.

Philip T. Cox, Trevor J. Smedley, John Garden, Mark McManus

Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997

A Declarative Language for the Design of Structures.

Philip T. Cox, Trevor J. Smedley

Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997

1996

VL' 96 Special Event: Perspectives from the Pioneers (Panel).

Nicholas P. Wilde, Shi-Kuo Chang, Philip T. Cox, David Canfield Smith

Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996

A Visual Language for the Design of Structured Graphical Objects.

Philip T. Cox, Trevor J. Smedley

Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996

Expanding the utility of spreadsheets through the integration of visual programming and user interface objects.

Trevor J. Smedley, Philip T. Cox, Shannon L. Byrne

Proceedings of the workshop on Advanced visual interfaces 1996, 1996

1995

Distributed Prograph: Extended Abstract.

Philip T. Cox, Hugh Glaser, Benoît Lanaspre

Proceedings of the Parallel Symbolic Languages and Systems, 1995

1994

Using Visual Programming to Extend the Power of Spreadsheet.

Philip T. Cox, Trevor J. Smedley

Proceedings of the Workshop on Advanced Visual Interfaces, 1994

1993

Equality and Abductive Residua for Horn Clauses.

Emanuel Knill, Philip T. Cox, Tomasz Pietrzykowski

Theor. Comput. Sci., 1993

1992

Abduction in Logic Programming with Equality.

Philip T. Cox, Emanuel Knill, Tomasz Pietrzykowski

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Visual Message Flow Language MFL and its Interaface.

Philip T. Cox, Tomasz Pietrzykowski

Proceedings of the Advanced Visual Interfaces - Proceedings of the International Workshop, 1992

1990

Using Object-Orientation to Implement Logic Programming.

Philip T. Cox

Proceedings of the 1990 ACM SIGSMALL/PC Symposium on Small Systems, 1990

1989

Prograph: a step towards liberating programming from textual conditioning.

Philip T. Cox, F. R. Giles, Tomasz Pietrzykowski

Proceedings of the IEEE Workshop on Visual Languages, 1989

1987

On Determining the Cause of Nonunifiability.

Philip T. Cox

J. Log. Program., 1987

General Diagnosis by Abductive Inference.

Philip T. Cox, Tomasz Pietrzykowski

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

1986

Incorporating equality into logic programming via surface deduction.

Philip T. Cox, Tomasz Pietrzykowski

Ann. Pure Appl. Log., 1986

Storage management in a Prolog compiler.

Y. L. Chang, Philip T. Cox

Proceedings of the 1986 ACM SIGSMALL/PC symposium on Small systems, 1986

Causes for Events: Their Computation and Applications.

Philip T. Cox, Tomasz Pietrzykowski

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985

Surface Deduction: A Uniform Mechanism for Logic Programming.

Philip T. Cox, Tomasz Pietrzykowski

Proceedings of the 1985 Symposium on Logic Programming, 1985

Advanced programming aids in PROGRAPH.

Philip T. Cox, Tomasz Pietrzykowski

Proceedings of the 1985 ACM SIGSMALL symposium on Small systems, 1985

Compiling the graphical functional language PROGRAPH.

Philip T. Cox, I. J. Mulligan

Proceedings of the 1985 ACM SIGSMALL symposium on Small systems, 1985

1984

A Complete, Nonredundant Algorithm for Reversed Skolemization.

Philip T. Cox, Tomasz Pietrzykowski

Theor. Comput. Sci., 1984

Finding Backtrack Points for Intelligent Backtracking.

Philip T. Cox

Proceedings of the Implementations of Prolog. , 1984

1981

Deduction Plans: A Basis for Intelligent Backtracking.

Philip T. Cox, Tomasz Pietrzykowski

IEEE Trans. Pattern Anal. Mach. Intell., 1981