Robert Paige

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