Concepedia

Rex Page

RP

Statistics

Publications

9

Citations

168

H-Index

9

Active since

1971

Affiliations

University of Oklahoma(Current)

Colorado State University

Northeastern University

Rex Page is an author at University of Oklahoma specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsSoftware DesignAutomated ReasoningSoftware EngineeringSoftware TestingFormal Verification

Publications per year

1971–2008

9

Publications

9

Software is discrete mathematics

Rex Page · 2003 · 33 citations

Programming Effectiveness, Engineering, Programming Concepts +20

Deleting Irrelevant Tasks in an Expression-Oriented Multiprocessor System

Dale H. Grit, Rex Page · ACM Transactions on Programming Languages and Systems · 1981 · 28 citations · Full text

Algorithm 479: A minimal spanning tree clustering method

Rex Page · Communications of the ACM · 1974 · 22 citations · Full text

Cluster Computing, Engineering, Network Analysis +17

ACL2 in DrScheme

Dale Vaillancourt, Rex Page, Matthias Felleisen · 2006 · 20 citations

Engineering, Acl2 Theorem Prover, Software Engineering +18

Distributed random number generation

F. Warren Burton, Rex Page · Journal of Functional Programming · 1992 · 16 citations · Full text

Engineering, Compiler Technology, Pseudo-random Sequence +19

1–5 of 9