Search the dblp DataBase
Philip T. Cox :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Philip T. Cox , Tomasz Pietrzykowski General Diagnosis by Abductive Inference. [Citation Graph (2, 0)][DBLP ] SLP, 1987, pp:183-189 [Conf ] Philip T. Cox , Tomasz Pietrzykowski Visual Message Flow Language MFL and its Interaface. [Citation Graph (0, 0)][DBLP ] Advanced Visual Interfaces, 1992, pp:348-361 [Conf ] Philip T. Cox , Trevor J. Smedley Using Visual Programming to Extend the Power of Spreadsheet. [Citation Graph (0, 0)][DBLP ] Advanced Visual Interfaces, 1994, pp:153-161 [Conf ] Trevor J. Smedley , Philip T. Cox , Shannon L. Byrne Expanding the utility of spreadsheets through the integration of visual programming and user interface objects. [Citation Graph (0, 0)][DBLP ] AVI, 1996, pp:148-155 [Conf ] Philip T. Cox , Tomasz Pietrzykowski A Complete, Nonredundant Algorithm for Reversed Skolemization. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:374-385 [Conf ] Philip T. Cox , Tomasz Pietrzykowski Causes for Events: Their Computation and Applications. [Citation Graph (0, 0)][DBLP ] CADE, 1986, pp:608-621 [Conf ] Philip T. Cox , Emanuel Knill , Tomasz Pietrzykowski Abduction in Logic Programming with Equality. [Citation Graph (0, 0)][DBLP ] FGCS, 1992, pp:539-545 [Conf ] Omid Banyasad , Philip T. Cox Solving Design Problems in a Logic-Based Visual Design Environment. [Citation Graph (0, 0)][DBLP ] IEEE Symposia on Human Centric Computing Languages and Environments, 2002, pp:90-92 [Conf ] Omid Banyasad , Philip T. Cox Defining Behaviours for Solids in a Visual Design Environment. [Citation Graph (0, 0)][DBLP ] IEEE Symposia on Human Centric Computing Languages and Environments, 2002, pp:93-95 [Conf ] Omid Banyasad , Philip T. Cox On translating geometric solids to functional expressions. [Citation Graph (0, 0)][DBLP ] PPDP, 2003, pp:44-55 [Conf ] Philip T. Cox , Hugh Glaser , Benoît Lanaspre Distributed Prograph: Extended Abstract. [Citation Graph (0, 0)][DBLP ] PSLS, 1995, pp:128-133 [Conf ] Philip T. Cox Using Object-Orientation to Implement Logic Programming. [Citation Graph (0, 0)][DBLP ] SIGSMALL/PC Symposium, 1990, pp:106-114 [Conf ] Philip T. Cox , Tomasz Pietrzykowski Surface Deduction: A Uniform Mechanism for Logic Programming. [Citation Graph (0, 0)][DBLP ] SLP, 1985, pp:220-227 [Conf ] Philip T. Cox , Simon Gauvin , Andrew Rau-Chaplin Adding parallelism to visual data flow programs. [Citation Graph (0, 0)][DBLP ] SOFTVIS, 2005, pp:135-144 [Conf ] Shawn M. Best , Philip T. Cox Programming an Autonomous Robot Controller by Demonstration Using Artificial Neural Networks. [Citation Graph (0, 0)][DBLP ] VL/HCC, 2004, pp:157-159 [Conf ] Omid Banyasad , Philip T. Cox Solving Design Problems in a Logic-Based Visual Design Environment. [Citation Graph (0, 0)][DBLP ] HCC, 2002, pp:90-92 [Conf ] Omid Banyasad , Philip T. Cox Defining Behaviours for Solids in a Visual Design Environment. [Citation Graph (0, 0)][DBLP ] HCC, 2002, pp:93-95 [Conf ] Omid Banyasad , Philip T. Cox An Automatic Layout Algorithm for Lograph. [Citation Graph (0, 0)][DBLP ] VL/HCC, 2004, pp:139-146 [Conf ] Philip T. Cox , Hugh Glaser , Stuart Maclean A Visual Development Environment for Parallel Applications. [Citation Graph (0, 0)][DBLP ] VL, 1998, pp:144-151 [Conf ] Philip T. Cox , Baoming Song A Formal Model for Component-Based Software. [Citation Graph (0, 0)][DBLP ] HCC, 2001, pp:304-0 [Conf ] Philip T. Cox , Trevor J. Smedley A Visual Language for the Design of Structured Graphical Objects. [Citation Graph (0, 0)][DBLP ] VL, 1996, pp:296-303 [Conf ] Philip T. Cox , Trevor J. Smedley A Declarative Language for the Design of Structures. [Citation Graph (0, 0)][DBLP ] VL, 1997, pp:442-449 [Conf ] Philip T. Cox , Trevor J. Smedley Visual Programming for Robot Control. [Citation Graph (0, 0)][DBLP ] VL, 1998, pp:217-224 [Conf ] Philip T. Cox , Trevor J. Smedley A Model for Object Representation and Manipulation in a Visual Design Language. [Citation Graph (0, 0)][DBLP ] VL, 1998, pp:254-261 [Conf ] Philip T. Cox , Trevor J. Smedley , John Garden , Mark McManus Experiences with Visual Programming in a Specific Domain - Visual Language Challenge '96. [Citation Graph (0, 0)][DBLP ] VL, 1997, pp:258-263 [Conf ] Nicholas P. Wilde , Shi-Kuo Chang , Philip T. Cox , David Canfield Smith VL' 96 Special Event: Perspectives from the Pioneers (Panel). [Citation Graph (0, 0)][DBLP ] VL, 1996, pp:328-333 [Conf ] Omid Banyasad , Philip T. Cox Integrating design synthesis and assembly of structured objects in a visual design language [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Philip T. Cox On Determining the Cause of Nonunifiability. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1987, v:4, n:1, pp:33-58 [Journal ] Philip T. Cox , Tomasz Pietrzykowski A Complete, Nonredundant Algorithm for Reversed Skolemization. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1984, v:28, n:, pp:239-261 [Journal ] Emanuel Knill , Philip T. Cox , Tomasz Pietrzykowski Equality and Abductive Residua for Horn Clauses. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1993, v:120, n:1, pp:1-44 [Journal ] Omid Banyasad , Philip T. Cox Integrating design synthesis and assembly of structured objects in a visual design language. [Citation Graph (0, 0)][DBLP ] TPLP, 2005, v:5, n:6, pp:601-622 [Journal ] Philip T. Cox , John G. Hosking Special issue on selected papers from HCC 2003. [Citation Graph (0, 0)][DBLP ] J. Vis. Lang. Comput., 2005, v:16, n:1-2, pp:1-2 [Journal ] Philip T. Cox , Christopher C. Risley , Trevor J. Smedley Toward Concrete Representation in Visual Languages for Robot Control. [Citation Graph (0, 0)][DBLP ] J. Vis. Lang. Comput., 1998, v:9, n:2, pp:211-239 [Journal ] Philip T. Cox , Trevor J. Smedley Building Environments for Visual Programming of Robots by Demonstration. [Citation Graph (0, 0)][DBLP ] J. Vis. Lang. Comput., 2000, v:11, n:5, pp:549-571 [Journal ] Philip T. Cox , Trevor J. Smedley A Formal Model for Parameterized Solids in a Visual Design Language. [Citation Graph (0, 0)][DBLP ] J. Vis. Lang. Comput., 2000, v:11, n:6, pp:687-710 [Journal ] Philip T. Cox , Trevor J. Smedley Guest Editors' Introduction: Special Issue on Visual Languages for End-user and Domain-specific Programming. [Citation Graph (0, 0)][DBLP ] J. Vis. Lang. Comput., 2001, v:12, n:5, pp:473-474 [Journal ] Philip T. Cox , Trevor J. Smedley LSD: A Logic-Based Visual Language for Designing Structured Objects. [Citation Graph (0, 0)][DBLP ] J. Vis. Lang. Comput., 1998, v:9, n:5, pp:509-534 [Journal ] Philip T. Cox Special Issue on Selected Papers from VLC 2005. [Citation Graph (0, 0)][DBLP ] J. Vis. Lang. Comput., 2007, v:18, n:2, pp:97-98 [Journal ] Trevor J. Smedley , Philip T. Cox Visual Languages for the Design and Development of Structured Objects. [Citation Graph (0, 0)][DBLP ] J. Vis. Lang. Comput., 1997, v:8, n:1, pp:57-84 [Journal ] Unification of Arrays in Spreadsheets with Logic Programming. [Citation Graph (, )][DBLP ] Enhancing the Programmability of Spreadsheets with Logic Programming. [Citation Graph (, )][DBLP ] Visual Languages and Logic. [Citation Graph (, )][DBLP ] Introduction. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.303secs