The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Philip T. Cox: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Philip T. Cox, Tomasz Pietrzykowski
    General Diagnosis by Abductive Inference. [Citation Graph (2, 0)][DBLP]
    SLP, 1987, pp:183-189 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. Philip T. Cox, Tomasz Pietrzykowski
    A Complete, Nonredundant Algorithm for Reversed Skolemization. [Citation Graph (0, 0)][DBLP]
    CADE, 1980, pp:374-385 [Conf]
  6. Philip T. Cox, Tomasz Pietrzykowski
    Causes for Events: Their Computation and Applications. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:608-621 [Conf]
  7. Philip T. Cox, Emanuel Knill, Tomasz Pietrzykowski
    Abduction in Logic Programming with Equality. [Citation Graph (0, 0)][DBLP]
    FGCS, 1992, pp:539-545 [Conf]
  8. 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]
  9. 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]
  10. Omid Banyasad, Philip T. Cox
    On translating geometric solids to functional expressions. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:44-55 [Conf]
  11. Philip T. Cox, Hugh Glaser, Benoît Lanaspre
    Distributed Prograph: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    PSLS, 1995, pp:128-133 [Conf]
  12. Philip T. Cox
    Using Object-Orientation to Implement Logic Programming. [Citation Graph (0, 0)][DBLP]
    SIGSMALL/PC Symposium, 1990, pp:106-114 [Conf]
  13. Philip T. Cox, Tomasz Pietrzykowski
    Surface Deduction: A Uniform Mechanism for Logic Programming. [Citation Graph (0, 0)][DBLP]
    SLP, 1985, pp:220-227 [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. Omid Banyasad, Philip T. Cox
    An Automatic Layout Algorithm for Lograph. [Citation Graph (0, 0)][DBLP]
    VL/HCC, 2004, pp:139-146 [Conf]
  19. 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]
  20. Philip T. Cox, Baoming Song
    A Formal Model for Component-Based Software. [Citation Graph (0, 0)][DBLP]
    HCC, 2001, pp:304-0 [Conf]
  21. 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]
  22. 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]
  23. Philip T. Cox, Trevor J. Smedley
    Visual Programming for Robot Control. [Citation Graph (0, 0)][DBLP]
    VL, 1998, pp:217-224 [Conf]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]

  40. Unification of Arrays in Spreadsheets with Logic Programming. [Citation Graph (, )][DBLP]


  41. Enhancing the Programmability of Spreadsheets with Logic Programming. [Citation Graph (, )][DBLP]


  42. Visual Languages and Logic. [Citation Graph (, )][DBLP]


  43. Introduction. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002