Robert Paige

Publication Activity (10 Years)

Years Active: 1977-2017
Publications (10 Years): 2

Top Topics

Nearest Neighbor

Complex Systems

Statistical Model

Top Venues

J. Multivar. Anal.

Publications

Xuejing Liu, Lei Huo, Xuerong Meggie Wen, Robert Paige
A link-free approach for testing common indices for three or more multi-index models. J. Multivar. Anal. 153 (2017)
Xuejing Liu, Zhou Yu, Xuerong Meggie Wen, Robert Paige
On testing common indices for two multi-index models: A link-free approach. J. Multivar. Anal. 136 (2015)
Robert Paige
An NSF Proposal. High. Order Symb. Comput. 18 (1-2) (2005)
Deepak Goyal, Robert Paige
A New Solution to the Hidden Copy Problem. SAS (1998)
Robert Paige
Future Directions In Program Transformations. ACM SIGPLAN Notices 32 (1) (1997)
Deepak Goyal, Robert Paige
The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset. Algorithmic Languages and Calculi (1997)
Robert Paige, Zhe Yang
High Level Reading and Data Structure Compilation. POPL (1997)
Chia-Hsiang Chang, Robert Paige
From Regular Expressions to DFA's Using Compressed NFA's. Theor. Comput. Sci. 178 (1-2) (1997)
Robert Paige
Future Directions in Program Transformations. ACM Comput. Surv. 28 (4es) (1996)
Jiazhen Cai, Robert Paige
Using Multiset Discrimination to Solve Language Processing Problems Without Hashing. Theor. Comput. Sci. 145 (1&2) (1995)
Jesper G. Henriksen, Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders Sandholm
Mona: Monadic Second-Order Logic in Practice. TACAS (1995)
William Bouma, Ioannis Fudos, Christoph M. Hoffmann, Jiazhen Cai, Robert Paige
Geometric constraint solver. Comput. Aided Des. 27 (6) (1995)
Bard Bloom, Robert Paige
Transformational Design and Implementation of a New Efficient Solution to the Ready Simulation Problem. Sci. Comput. Program. 24 (3) (1995)
Robert Paige
Viewing A program Transformation System At Work. ALP (1994)
Robert Paige
Efficient Translation of External Input in a Dynamically Typed Language. IFIP Congress (1) (1994)
Robert Paige
Viewing A Program Transformation System At Work. PLILP (1994)
Jiazhen Cai, Robert Paige
Towards Increased Productivity of Algorithm Implementation. SIGSOFT FSE (1993)
Chia-Hsiang Chang, Robert Paige
From Regular Expressions to DFA's Using Compressed NFA's. CPM (1992)
Jiazhen Cai, Robert Paige, Robert Endre Tarjan
More Efficient Bottom-Up Multi-Pattern Matching in Trees. Theor. Comput. Sci. 106 (1) (1992)
Bard Bloom, Robert Paige
Computing Ready Simulations Efficiently. NAPAW (1992)
Jiazhen Cai, Robert Paige
Language Polynomial in the Input Plus Output. AMAST (1991)
Jiazhen Cai, Robert Paige
"Look Ma, No Hashing, And No Arrays Neither". POPL (1991)
Jiazhen Cai, Robert Paige, Robert Endre Tarjan
More Efficient Bottom-Up Tree Pattern Matching. CAAP (1990)
Robert Paige
Symbolic Finite Differencing - Part I. ESOP (1990)
Jiazhen Cai, Robert Paige
Program Derivation by Fixed Point Computation. Sci. Comput. Program. 11 (3) (1989)
Jiazhen Cai, Robert Paige
Binding Performance at Language Design Time. POPL (1987)
Robert Paige, Robert Endre Tarjan
Three Partition Refinement Algorithms. SIAM J. Comput. 16 (6) (1987)
Robert Paige, Fritz Henglein
Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code-A Case Study. J. Symb. Comput. 4 (2) (1987)
Alberto Apostolico, Costas S. Iliopoulos, Robert Paige
On O(n log n) Cost Parallel Algorithm for the Single Function Coarsest Partition Problem. Parallel Algorithms and Architectures (1987)
Robert Paige
Programming with Invariants. IEEE Softw. 3 (1) (1986)
Robert Paige, Robert Endre Tarjan, Robert Bonic
A Linear Time Solution to the Single Function Coarsest Partition Problem. Theor. Comput. Sci. 40 (1985)
Robert Paige, Fritz Henglein
Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code - A Case Study. European Conference on Computer Algebra (2) (1985)
Robert Paige, Robert Endre Tarjan
A Linear Time Algorithm to Solve the Single Function Coarsest Partition Problem. ICALP (1984)
Allen Goldberg, Robert Paige
Stream Processing. LISP and Functional Programming (1984)
Robert Paige
Transformational Programming - Applications to Algorithms and Systems. POPL (1983)
Robert Paige
Applications of Finite Differencing to Database Integrity Control and Query/Transaction Optimization. Advances in Data Base Theory (1982)
Robert Paige, Shaye Koenig
Finite Differencing of Computable Expressions. ACM Trans. Program. Lang. Syst. 4 (3) (1982)
Shaye Koenig, Robert Paige
A Transformational Framework for the Automatic Control of Derived Data VLDB (1981)
Robert Paige, Jacob T. Schwartz
Reduction in Strength of High Level Operations. POPL (1977)