Concepedia

Robert Paige

RP

Statistics

Publications

27

Citations

2.7K

H-Index

20

Active since

1981

Affiliations

Courant Institute of Mathematical Sciences(Current)

Rutgers, The State University of New Jersey

New York University

Princeton University

Robert Paige is an author at Courant Institute of Mathematical Sciences specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisComputer EngineeringSoftware AnalysisParallel ComputingFormal VerificationSystems EngineeringParallel Programming

Publications per year

1981–1997

27

Publications

27

Three Partition Refinement Algorithms

Robert Paige, Robert E. Tarjan · SIAM Journal on Computing · 1987 · 1.2K citations

Engineering, Double Lexical Ordering, Information Retrieval +17

Finite Differencing of Computable Expressions

Robert Paige, Shaye Koenig · ACM Transactions on Programming Languages and Systems · 1982 · 283 citations · Full text

Geometric constraint solver

William J. Bouma, Ioannis Fudos, Christoph M. Hoffmann et al. · Computer-Aided Design · 1995 · 276 citations · Full text

Geometric Modeling, Constraint Solving, Engineering +13

Program derivation by fixed point computation

Jiazhen Cai, Robert Paige · Science of Computer Programming · 1989 · 91 citations

Mathematical Programming, Engineering, Validated Numerics +5

A linear time solution to the single function coarsest partition problem

Robert Paige, Robert E. Tarjan, Robert Bonic · Theoretical Computer Science · 1985 · 86 citations

Mathematical Programming, Numerical Analysis, Engineering +8

1–5 of 27