| 1998 | SAS | A New Solution to the Hidden Copy Problem. | Deepak Goyal, Robert Paige |
| 1997 | POPL | High Level Reading and Data Structure Compilation. | Robert Paige, Zhe Yang |
| 1995 | TACAS | Mona: Monadic Second-Order Logic in Practice. | Jesper G. Henriksen, Jakob L. Jensen, Michael E. Jrgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders Sandholm |
| 1992 | CPM | From Regular Expressions to DFA's Using Compressed NFA's. | Chia-Hsiang Chang, Robert Paige |
| 1991 | POPL | "Look Ma, No Hashing, And No Arrays Neither". | Jiazhen Cai, Robert Paige |
| 1990 | ESOP | Symbolic Finite Differencing - Part I. | Robert Paige |
| 1987 | POPL | Binding Performance at Language Design Time. | Jiazhen Cai, Robert Paige |
| 1984 | ICALP | A Linear Time Algorithm to Solve the Single Function Coarsest Partition Problem. | Robert Paige, Robert Endre Tarjan |
| 1983 | POPL | Transformational Programming - Applications to Algorithms and Systems. | Robert Paige |
| 1981 | VLDB | A Transformational Framework for the Automatic Control of Derived Data | Shaye Koenig, Robert Paige |
| 1977 | POPL | Reduction in Strength of High Level Operations. | Robert Paige, Jacob T. Schwartz |