Concepedia

John Staples

JS

Statistics

Publications

9

Citations

303

H-Index

9

Active since

1971

Affiliations

Queensland University of Technology(Current)

The University of Queensland

John Staples is an author at Queensland University of Technology specializing in engineering, computer science, and combinatorial optimization.

Top concepts

EngineeringComputer ScienceCombinatorial OptimizationComputational ComplexityDiscrete MathematicsMathematical ProgrammingGraph TheoryFormal MethodsGraph ProcessingAutomated Reasoning

Publications per year

1971–1995

9

Publications

9

The maximum flow problem is log space complete for P

Leslie M. Goldschlager, Ralph A. Shaw, John Staples · Theoretical Computer Science · 1982 · 132 citations

Mathematical Programming, Engineering, Maximum Flow Problem +8

Computation on graph-like expressions

John Staples · Theoretical Computer Science · 1980 · 42 citations

Engineering, Graph Theory, Computational Complexity +5

A fixpoint semantics for nondeterministic data flow

John Staples, V. L. Nguyen · Journal of the ACM · 1985 · 37 citations · Full text

Engineering, Verification, Brock-ackerman Anomalies +16

Speeding up subtree replacement systems

John Staples · Theoretical Computer Science · 1980 · 21 citations

Cluster Computing, Tree Language, Engineering +9

Optimal evaluations of graph-like expressions

John Staples · Theoretical Computer Science · 1980 · 19 citations

Mathematical Programming, Engineering, Graph Theory +8

1–5 of 9