Philip T. Cox - RankMe

58 papers A 2B 7C 6Journal 19Unranked 21

Year	Rank	Type	Title / Venue / Authors
2013	J	`jnl`	Design and Implementation of an Editor/Interpreter for a Visual Logic Programming Language. Int. J. Softw. Eng. Knowl. Eng. Omid Banyasad, Philip T. Cox
2012	C	`ed.`	Diagrammatic Representation and Inference - 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings Diagrams Philip T. Cox, Beryl Plimmer, Peter J. Rodgers
2012	C	`ed.`	The International Symposium on Visual Information Communication and Interaction, VINCI '12, Hangzhou, China - September 27 - 28, 2012 VINCI Huamin Qu, Wei Chen, Philip T. Cox, Shixia Liu
2011	C	`conf`	Controlled dataflow visual programming languages. VINCI Philip T. Cox, Simon Gauvin
2011	J	`jnl`	Generating sample looks for geometric objects in a visual design language. J. Vis. Lang. Comput. Omid Banyasad, Philip T. Cox
2011	J	`jnl`	Special Issue on Visual Languages and Logic: Guest editors' introduction. J. Vis. Lang. Comput. Philip T. Cox, Andrew Fish, John Howse
2010	C	`conf`	Semantic comparison of structured visual dataflow programs. VINCI Philip T. Cox, Anh Dang
2008	J	`jnl`	Special issue on selected papers from VL/HCC 2007: Guest Editors' introduction. J. Vis. Lang. Comput. Philip T. Cox, John G. Hosking
2008	C	`conf`	Unification of Arrays in Spreadsheets with Logic Programming. PADL Philip T. Cox, Patrick K. Nicholson
2008	—	`ch.`	Visual Programming Languages. Wiley Encyclopedia of Computer Science and Engineering Philip T. Cox
2007	B	`conf`	Enhancing the Programmability of Spreadsheets with Logic Programming. VL/HCC Philip T. Cox
2007	—	`conf`	Introduction. VLL Philip T. Cox, Andrew Fish, John Howse
2007	—	`ed.`	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 VLL Philip T. Cox, Andrew Fish, John Howse
2007	J	`jnl`	Special Issue on Selected Papers from VLC 2005. J. Vis. Lang. Comput. Philip T. Cox
2007	B	`conf`	Visual Languages and Logic. VL/HCC Philip T. Cox, Andrew Fish, John Howse
2005	—	`conf`	Adding parallelism to visual data flow programs. SOFTVIS Philip T. Cox, Simon Gauvin, Andrew Rau-Chaplin
2005	J	`jnl`	Integrating design synthesis and assembly of structured objects in a visual design language. Theory Pract. Log. Program. Omid Banyasad, Philip T. Cox
2005	J	`jnl`	Special issue on selected papers from HCC 2003. J. Vis. Lang. Comput. Philip T. Cox, John G. Hosking
2004	B	`conf`	An Automatic Layout Algorithm for Lograph. VL/HCC Omid Banyasad, Philip T. Cox
2004	J	`jnl`	Integrating design synthesis and assembly of structured objects in a visual design language CoRR Omid Banyasad, Philip T. Cox
2004	B	`conf`	Programming an Autonomous Robot Controller by Demonstration Using Artificial Neural Networks. VL/HCC Shawn M. Best, Philip T. Cox
2003	C	`conf`	On translating geometric solids to functional expressions. PPDP Omid Banyasad, Philip T. Cox
2002	—	`conf`	Defining Behaviours for Solids in a Visual Design Environment. HCC Omid Banyasad, Philip T. Cox
2002	—	`conf`	Solving Design Problems in a Logic-Based Visual Design Environment. HCC Omid Banyasad, Philip T. Cox
2001	—	`conf`	A Formal Model for Component-Based Software. HCC Philip T. Cox, Baoming Song
2001	J	`jnl`	Guest Editors' Introduction: Special Issue on Visual Languages for End-user and Domain-specific Programming. J. Vis. Lang. Comput. Philip T. Cox, Trevor J. Smedley
2000	J	`jnl`	A Formal Model for Parameterized Solids in a Visual Design Language. J. Vis. Lang. Comput. Philip T. Cox, Trevor J. Smedley
2000	J	`jnl`	Building Environments for Visual Programming of Robots by Demonstration. J. Vis. Lang. Comput. Philip T. Cox, Trevor J. Smedley
1998	—	`conf`	A Model for Object Representation and Manipulation in a Visual Design Language. VL Philip T. Cox, Trevor J. Smedley
1998	—	`conf`	A Visual Development Environment for Parallel Applications. VL Philip T. Cox, Hugh Glaser, Stuart Maclean
1998	J	`jnl`	LSD: A Logic-Based Visual Language for Designing Structured Objects. J. Vis. Lang. Comput. Philip T. Cox, Trevor J. Smedley
1998	J	`jnl`	Toward Concrete Representation in Visual Languages for Robot Control. J. Vis. Lang. Comput. Philip T. Cox, Christopher C. Risley, Trevor J. Smedley
1998	—	`conf`	Visual Programming for Robot Control. VL Philip T. Cox, Trevor J. Smedley
1997	—	`conf`	A Declarative Language for the Design of Structures. VL Philip T. Cox, Trevor J. Smedley
1997	—	`conf`	Experiences with Visual Programming in a Specific Domain - Visual Language Challenge '96. VL Philip T. Cox, Trevor J. Smedley, John Garden, Mark McManus
1997	J	`jnl`	Visual Languages for the Design and Development of Structured Objects. J. Vis. Lang. Comput. Trevor J. Smedley, Philip T. Cox
1996	—	`conf`	A Visual Language for the Design of Structured Graphical Objects. VL Philip T. Cox, Trevor J. Smedley
1996	B	`conf`	Expanding the utility of spreadsheets through the integration of visual programming and user interface objects. AVI Trevor J. Smedley, Philip T. Cox, Shannon L. Byrne
1996	—	`conf`	VL' 96 Special Event: Perspectives from the Pioneers (Panel). VL Nicholas P. Wilde, Shi-Kuo Chang, Philip T. Cox, David Canfield Smith
1995	—	`conf`	Distributed Prograph: Extended Abstract. PSLS Philip T. Cox, Hugh Glaser, Benoît Lanaspre
1994	B	`conf`	Using Visual Programming to Extend the Power of Spreadsheet. Advanced Visual Interfaces Philip T. Cox, Trevor J. Smedley
1993	J	`jnl`	Equality and Abductive Residua for Horn Clauses. Theor. Comput. Sci. Emanuel Knill, Philip T. Cox, Tomasz Pietrzykowski
1992	—	`conf`	Abduction in Logic Programming with Equality. FGCS Philip T. Cox, Emanuel Knill, Tomasz Pietrzykowski
1992	B	`conf`	Visual Message Flow Language MFL and its Interaface. Advanced Visual Interfaces Philip T. Cox, Tomasz Pietrzykowski
1990	—	`conf`	Using Object-Orientation to Implement Logic Programming. SIGSMALL/PC Symposium Philip T. Cox
1989	—	`conf`	Prograph: a step towards liberating programming from textual conditioning. VL Philip T. Cox, F. R. Giles, Tomasz Pietrzykowski
1987	—	`conf`	General Diagnosis by Abductive Inference. SLP Philip T. Cox, Tomasz Pietrzykowski
1987	J	`jnl`	On Determining the Cause of Nonunifiability. J. Log. Program. Philip T. Cox
1986	A	`conf`	Causes for Events: Their Computation and Applications. CADE Philip T. Cox, Tomasz Pietrzykowski
1986	J	`jnl`	Incorporating equality into logic programming via surface deduction. Ann. Pure Appl. Log. Philip T. Cox, Tomasz Pietrzykowski
1986	—	`conf`	Storage management in a Prolog compiler. SIGSMALL Y. L. Chang, Philip T. Cox
1985	—	`conf`	Advanced programming aids in PROGRAPH. SIGSMALL Philip T. Cox, Tomasz Pietrzykowski
1985	—	`conf`	Compiling the graphical functional language PROGRAPH. SIGSMALL Philip T. Cox, I. J. Mulligan
1985	—	`conf`	Surface Deduction: A Uniform Mechanism for Logic Programming. SLP Philip T. Cox, Tomasz Pietrzykowski
1984	J	`jnl`	A Complete, Nonredundant Algorithm for Reversed Skolemization. Theor. Comput. Sci. Philip T. Cox, Tomasz Pietrzykowski
1984	—	`ch.`	Finding Backtrack Points for Intelligent Backtracking. Implementations of Prolog Philip T. Cox
1981	J	`jnl`	Deduction Plans: A Basis for Intelligent Backtracking. IEEE Trans. Pattern Anal. Mach. Intell. Philip T. Cox, Tomasz Pietrzykowski
1980	A	`conf`	A Complete, Nonredundant Algorithm for Reversed Skolemization. CADE Philip T. Cox, Tomasz Pietrzykowski