default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPhilip T. Cox
Person information
- affiliation: Dalhousie University
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2013
[j18]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): 801-838 (2013)- 2012
- [e3]Philip T. Cox, Beryl Plimmer, Peter J. Rodgers:
Diagrammatic Representation and Inference - 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings. Lecture Notes in Computer Science 7352, Springer 2012, ISBN 978-3-642-31222-9 [contents] - [e2]Huamin Qu, Wei Chen, Philip T. Cox, Shixia Liu:
The International Symposium on Visual Information Communication and Interaction, VINCI '12, Hangzhou, China - September 27 - 28, 2012. ACM 2012, ISBN 978-1-4503-1782-5 [contents] - 2011
- [j17]Philip T. Cox, Andrew Fish
, John Howse:
Special Issue on Visual Languages and Logic: Guest editors' introduction. J. Vis. Lang. Comput. 22(1): 1-2 (2011) - [j16]Omid Banyasad, Philip T. Cox:
Generating sample looks for geometric objects in a visual design language. J. Vis. Lang. Comput. 22(2): 107-119 (2011) - [c34]Philip T. Cox, Simon Gauvin:
Controlled dataflow visual programming languages. VINCI 2011: 9 - 2010
- [c33]Philip T. Cox, Anh Dang:
Semantic comparison of structured visual dataflow programs. VINCI 2010: 11
2000 – 2009
- 2008
- [j15]Philip T. Cox, John G. Hosking:
Special issue on selected papers from VL/HCC 2007: Guest Editors' introduction. J. Vis. Lang. Comput. 19(4): 427-428 (2008) - [c32]Philip T. Cox, Patrick K. Nicholson:
Unification of Arrays in Spreadsheets with Logic Programming. PADL 2008: 100-115 - [p2]Philip T. Cox:
Visual Programming Languages. Wiley Encyclopedia of Computer Science and Engineering 2008 - 2007
- [j14]Philip T. Cox:
Special Issue on Selected Papers from VLC 2005. J. Vis. Lang. Comput. 18(2): 97-98 (2007) - [c31]Philip T. Cox, Andrew Fish, John Howse:
Visual Languages and Logic. VL/HCC 2007: 3 - [c30]Philip T. Cox:
Enhancing the Programmability of Spreadsheets with Logic Programming. VL/HCC 2007: 87-94 - [c29]Philip T. Cox, Andrew Fish, John Howse:
Introduction. VLL 2007 - [e1]Philip T. Cox, Andrew Fish, John Howse:
Proceedings of the VLL 2007 workshop on Visual Languages and Logic in Coeur d'Aléne, Idaho, USA, 23rd September 2007 as part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing VL/HCC 07. CEUR Workshop Proceedings 274, CEUR-WS.org 2007 [contents] - 2005
- [j13]Omid Banyasad, Philip T. Cox:
Integrating design synthesis and assembly of structured objects in a visual design language. Theory Pract. Log. Program. 5(6): 601-622 (2005) - [j12]Philip T. Cox, John G. Hosking:
Special issue on selected papers from HCC 2003. J. Vis. Lang. Comput. 16(1-2): 1-2 (2005) - [c28]Philip T. Cox, Simon Gauvin, Andrew Rau-Chaplin:
Adding parallelism to visual data flow programs. SOFTVIS 2005: 135-144 - 2004
- [c27]Omid Banyasad, Philip T. Cox:
An Automatic Layout Algorithm for Lograph. VL/HCC 2004: 139-146 - [c26]Shawn M. Best, Philip T. Cox:
Programming an Autonomous Robot Controller by Demonstration Using Artificial Neural Networks. VL/HCC 2004: 157-159 - [i1]Omid Banyasad, Philip T. Cox:
Integrating design synthesis and assembly of structured objects in a visual design language. CoRR cs.LO/0403033 (2004) - 2003
- [c25]Omid Banyasad, Philip T. Cox:
On translating geometric solids to functional expressions. PPDP 2003: 44-55 - 2002
- [c24]Omid Banyasad, Philip T. Cox:
Solving Design Problems in a Logic-Based Visual Design Environment. HCC 2002: 90-92 - [c23]Omid Banyasad, Philip T. Cox:
Defining Behaviours for Solids in a Visual Design Environment. HCC 2002: 93-95 - 2001
- [j11]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): 473-474 (2001) - [c22]Philip T. Cox, Baoming Song:
A Formal Model for Component-Based Software. HCC 2001: 304- - 2000
- [j10]Philip T. Cox, Trevor J. Smedley:
Building Environments for Visual Programming of Robots by Demonstration. J. Vis. Lang. Comput. 11(5): 549-571 (2000) - [j9]Philip T. Cox, Trevor J. Smedley:
A Formal Model for Parameterized Solids in a Visual Design Language. J. Vis. Lang. Comput. 11(6): 687-710 (2000)
1990 – 1999
- 1998
- [j8]Philip T. Cox, Christopher C. Risley, Trevor J. Smedley:
Toward Concrete Representation in Visual Languages for Robot Control. J. Vis. Lang. Comput. 9(2): 211-239 (1998) - [j7]Philip T. Cox, Trevor J. Smedley:
LSD: A Logic-Based Visual Language for Designing Structured Objects. J. Vis. Lang. Comput. 9(5): 509-534 (1998) - [c21]Philip T. Cox, Hugh Glaser, Stuart Maclean:
A Visual Development Environment for Parallel Applications. VL 1998: 144-151 - [c20]Philip T. Cox, Trevor J. Smedley:
Visual Programming for Robot Control. VL 1998: 217-224 - [c19]Philip T. Cox, Trevor J. Smedley:
A Model for Object Representation and Manipulation in a Visual Design Language. VL 1998: 254-261 - 1997
- [j6]Trevor J. Smedley, Philip T. Cox:
Visual Languages for the Design and Development of Structured Objects. J. Vis. Lang. Comput. 8(1): 57-84 (1997) - [c18]Philip T. Cox, Trevor J. Smedley, John Garden, Mark McManus:
Experiences with Visual Programming in a Specific Domain - Visual Language Challenge '96. VL 1997: 258-263 - [c17]Philip T. Cox, Trevor J. Smedley:
A Declarative Language for the Design of Structures. VL 1997: 442-449 - 1996
- [c16]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: 148-155 - [c15]Philip T. Cox, Trevor J. Smedley:
A Visual Language for the Design of Structured Graphical Objects. VL 1996: 296-303 - [c14]Nicholas P. Wilde, Shi-Kuo Chang, Philip T. Cox, David Canfield Smith:
VL' 96 Special Event: Perspectives from the Pioneers (Panel). VL 1996: 328-333 - 1995
- [c13]Philip T. Cox, Hugh Glaser, Benoît Lanaspre:
Distributed Prograph: Extended Abstract. PSLS 1995: 128-133 - 1994
- [c12]Philip T. Cox, Trevor J. Smedley:
Using Visual Programming to Extend the Power of Spreadsheet. Advanced Visual Interfaces 1994: 153-161 - 1993
- [j5]Emanuel Knill, Philip T. Cox, Tomasz Pietrzykowski:
Equality and Abductive Residua for Horn Clauses. Theor. Comput. Sci. 120(1): 1-44 (1993) - 1992
- [c11]Philip T. Cox, Tomasz Pietrzykowski:
Visual Message Flow Language MFL and its Interaface. Advanced Visual Interfaces 1992: 348-361 - [c10]Philip T. Cox, Emanuel Knill, Tomasz Pietrzykowski:
Abduction in Logic Programming with Equality. FGCS 1992: 539-545 - 1990
- [c9]Philip T. Cox:
Using Object-Orientation to Implement Logic Programming. SIGSMALL/PC Symposium 1990: 106-114
1980 – 1989
- 1989
- [c8]Philip T. Cox, F. R. Giles, Tomasz Pietrzykowski:
Prograph: a step towards liberating programming from textual conditioning. VL 1989: 150-156 - 1987
- [j4]Philip T. Cox:
On Determining the Cause of Nonunifiability. J. Log. Program. 4(1): 33-58 (1987) - [c7]Philip T. Cox, Tomasz Pietrzykowski:
General Diagnosis by Abductive Inference. SLP 1987: 183-189 - 1986
- [j3]Philip T. Cox, Tomasz Pietrzykowski:
Incorporating equality into logic programming via surface deduction. Ann. Pure Appl. Log. 31: 177-189 (1986) - [c6]Philip T. Cox, Tomasz Pietrzykowski:
Causes for Events: Their Computation and Applications. CADE 1986: 608-621 - [c5]Y. L. Chang, Philip T. Cox:
Storage management in a Prolog compiler. SIGSMALL 1986: 43-52 - 1985
- [c4]Philip T. Cox, Tomasz Pietrzykowski:
Advanced programming aids in PROGRAPH. SIGSMALL 1985: 27-33 - [c3]Philip T. Cox, I. J. Mulligan:
Compiling the graphical functional language PROGRAPH. SIGSMALL 1985: 34-41 - [c2]Philip T. Cox, Tomasz Pietrzykowski:
Surface Deduction: A Uniform Mechanism for Logic Programming. SLP 1985: 220-227 - 1984
- [j2]Philip T. Cox, Tomasz Pietrzykowski:
A Complete, Nonredundant Algorithm for Reversed Skolemization. Theor. Comput. Sci. 28: 239-261 (1984) - [p1]Philip T. Cox:
Finding Backtrack Points for Intelligent Backtracking. Implementations of Prolog 1984: 216-233 - 1981
- [j1]Philip T. Cox, Tomasz Pietrzykowski:
Deduction Plans: A Basis for Intelligent Backtracking. IEEE Trans. Pattern Anal. Mach. Intell. 3(1): 52-65 (1981) - 1980
- [c1]Philip T. Cox, Tomasz Pietrzykowski:
A Complete, Nonredundant Algorithm for Reversed Skolemization. CADE 1980: 374-385
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
