Concepedia

P.T. Cox

PC

7

Publications

266

Citations

7

H-Index

1983

Active since

Affiliations

Technical University of Nova Scotia(Current)

Dalhousie University

Acadia University

P.T. Cox is an author at Technical University of Nova Scotia specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceSoftware DesignAutomated ReasoningDesignSyntaxRoboticsAutomationFormal MethodsRobot Learning

Publications per year

1983–2003

7

Publications

7

Prograph: a step towards liberating programming from textual conditioning

P.T. Cox, F.R. Giles, Tomasz Pietrzykowski · 2003 · 148 citations

Engineering, Visual Programming Language, Software Systems +26

A formal model for component-based software

P.T. Cox, Baoming Song · 2002 · 35 citations

Software Maintenance, Engineering, Visual Programming Language +21

A complete, nonredundant algorithm for reversed Skolemization

P.T. Cox, Tomasz Pietrzykowski · Theoretical Computer Science · 1983 · 24 citations

Statistical Signal Processing, Engineering, Regularization (Mathematics) +5

Visual programming for robot control

P.T. Cox, Trevor J. Smedley · 2002 · 22 citations

Artificial Intelligence, Engineering, Visual Programming Language +18

Equality and abductive residua for Horn clauses

Emanuel Knill, P.T. Cox, Tomasz Pietrzykowski · Theoretical Computer Science · 1993 · 14 citations

Syntax, Substructural Logic, Abductive Reasoning +2

Rows per page

1–5 of 7