Philip T. Cox

According to our database1, Philip T. Cox authored at least 52 papers between 1980 and 2013.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2013
Design and Implementation of an Editor/Interpreter for a Visual Logic Programming Language.
International Journal of Software Engineering and Knowledge Engineering, 2013

2011
Special Issue on Visual Languages and Logic: Guest editors' introduction.
J. Vis. Lang. Comput., 2011

Generating sample looks for geometric objects in a visual design language.
J. Vis. Lang. Comput., 2011

Controlled dataflow visual programming languages.
Proceedings of the 2011 Visual Information Communication - International Symposium, 2011

2010
Semantic comparison of structured visual dataflow programs.
Proceedings of the 2010 International Symposium on Visual Information Communication, 2010

2008
Visual Programming Languages.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Special issue on selected papers from VL/HCC 2007: Guest Editors' introduction.
J. Vis. Lang. Comput., 2008

Unification of Arrays in Spreadsheets with Logic Programming.
Proceedings of the Practical Aspects of Declarative Languages, 2008

2007
Special Issue on Selected Papers from VLC 2005.
J. Vis. Lang. Comput., 2007

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

Visual Languages and Logic.
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.
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.
J. Vis. Lang. Comput., 2005

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

Adding parallelism to visual data flow programs.
Proceedings of the ACM 2005 Symposium on Software Visualization, 2005

2004
Integrating design synthesis and assembly of structured objects in a visual design language
CoRR, 2004

Programming an Autonomous Robot Controller by Demonstration Using Artificial Neural Networks.
Proceedings of the 2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 2004

An Automatic Layout Algorithm for Lograph.
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.
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.
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.
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.
J. Vis. Lang. Comput., 2001

A Formal Model for Component-Based Software.
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.
J. Vis. Lang. Comput., 2000

Building Environments for Visual Programming of Robots by Demonstration.
J. Vis. Lang. Comput., 2000

1998
LSD: A Logic-Based Visual Language for Designing Structured Objects.
J. Vis. Lang. Comput., 1998

Toward Concrete Representation in Visual Languages for Robot Control.
J. Vis. Lang. Comput., 1998

A Model for Object Representation and Manipulation in a Visual Design Language.
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

Visual Programming for Robot Control.
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

A Visual Development Environment for Parallel Applications.
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

1997
Visual Languages for the Design and Development of Structured Objects.
J. Vis. Lang. Comput., 1997

Experiences with Visual Programming in a Specific Domain - Visual Language Challenge '96.
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997

A Declarative Language for the Design of Structures.
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997

1996
VL' 96 Special Event: Perspectives from the Pioneers (Panel).
Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996

A Visual Language for the Design of Structured Graphical Objects.
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.
Proceedings of the workshop on Advanced visual interfaces 1996, 1996

1995
Distributed Prograph: Extended Abstract.
Proceedings of the Parallel Symbolic Languages and Systems, 1995

1994
Using Visual Programming to Extend the Power of Spreadsheet.
Proceedings of the Workshop on Advanced Visual Interfaces, 1994

1993
Equality and Abductive Residua for Horn Clauses.
Theor. Comput. Sci., 1993

1992
Abduction in Logic Programming with Equality.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Visual Message Flow Language MFL and its Interaface.
Proceedings of the Advanced Visual Interfaces - Proceedings of the International Workshop, 1992

1990
Using Object-Orientation to Implement Logic Programming.
Proceedings of the 1990 ACM SIGSMALL/PC Symposium on Small Systems, 1990

1989
Prograph: a step towards liberating programming from textual conditioning.
Proceedings of the IEEE Workshop on Visual Languages, 1989

1987
On Determining the Cause of Nonunifiability.
J. Log. Program., 1987

General Diagnosis by Abductive Inference.
Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

1986
Incorporating equality into logic programming via surface deduction.
Ann. Pure Appl. Logic, 1986

Causes for Events: Their Computation and Applications.
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985
Surface Deduction: A Uniform Mechanism for Logic Programming.
Proceedings of the 1985 Symposium on Logic Programming, 1985

1984
A Complete, Nonredundant Algorithm for Reversed Skolemization.
Theor. Comput. Sci., 1984

Finding Backtrack Points for Intelligent Backtracking.
Proceedings of the Implementations of Prolog. , 1984

1981
Deduction Plans: A Basis for Intelligent Backtracking.
IEEE Trans. Pattern Anal. Mach. Intell., 1981

1980
A Complete, Nonredundant Algorithm for Reversed Skolemization.
Proceedings of the 5th Conference on Automated Deduction, 1980


  Loading...