The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robert Paige: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Shaye Koenig, Robert Paige
    A Transformational Framework for the Automatic Control of Derived Data [Citation Graph (29, 18)][DBLP]
    VLDB, 1981, pp:306-318 [Conf]
  2. Robert Paige
    Applications of Finite Differencing to Database Integrity Control and Query/Transaction Optimization. [Citation Graph (14, 0)][DBLP]
    Advances in Data Base Theory, 1982, pp:171-209 [Conf]
  3. Robert Paige, Shaye Koenig
    Finite Differencing of Computable Expressions. [Citation Graph (9, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:3, pp:402-454 [Journal]
  4. Jiazhen Cai, Robert Paige
    Binding Performance at Language Design Time. [Citation Graph (3, 0)][DBLP]
    POPL, 1987, pp:85-97 [Conf]
  5. Robert Paige, Robert Endre Tarjan
    Three Partition Refinement Algorithms. [Citation Graph (3, 0)][DBLP]
    SIAM J. Comput., 1987, v:16, n:6, pp:973-989 [Journal]
  6. Robert Paige
    Symbolic Finite Differencing - Part I. [Citation Graph (2, 0)][DBLP]
    ESOP, 1990, pp:36-56 [Conf]
  7. Robert Paige
    Transformational Programming - Applications to Algorithms and Systems. [Citation Graph (1, 0)][DBLP]
    POPL, 1983, pp:73-87 [Conf]
  8. Robert Paige, Jacob T. Schwartz
    Reduction in Strength of High Level Operations. [Citation Graph (1, 0)][DBLP]
    POPL, 1977, pp:58-71 [Conf]
  9. Robert Paige, Fritz Henglein
    Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code-A Case Study. [Citation Graph (1, 0)][DBLP]
    J. Symb. Comput., 1987, v:4, n:2, pp:207-232 [Journal]
  10. Deepak Goyal, Robert Paige
    The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:382-414 [Conf]
  11. Robert Paige
    Viewing A program Transformation System At Work. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:5- [Conf]
  12. Jiazhen Cai, Robert Paige
    Language Polynomial in the Input Plus Output. [Citation Graph (0, 0)][DBLP]
    AMAST, 1991, pp:287-300 [Conf]
  13. Jiazhen Cai, Robert Paige, Robert Endre Tarjan
    More Efficient Bottom-Up Tree Pattern Matching. [Citation Graph (0, 0)][DBLP]
    CAAP, 1990, pp:72-86 [Conf]
  14. Chia-Hsiang Chang, Robert Paige
    From Regular Expressions to DFA's Using Compressed NFA's. [Citation Graph (0, 0)][DBLP]
    CPM, 1992, pp:90-110 [Conf]
  15. Robert Paige, Fritz Henglein
    Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code - A Case Study. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (2), 1985, pp:554-567 [Conf]
  16. Robert Paige, Robert Endre Tarjan
    A Linear Time Algorithm to Solve the Single Function Coarsest Partition Problem. [Citation Graph (0, 0)][DBLP]
    ICALP, 1984, pp:371-379 [Conf]
  17. Robert Paige
    Efficient Translation of External Input in a Dynamically Typed Language. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1994, pp:603-608 [Conf]
  18. Allen Goldberg, Robert Paige
    Stream Processing. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1984, pp:53-62 [Conf]
  19. Bard Bloom, Robert Paige
    Computing Ready Simulations Efficiently. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:119-134 [Conf]
  20. Alberto Apostolico, Costas S. Iliopoulos, Robert Paige
    On O(n log n) Cost Parallel Algorithm for the Single Function Coarsest Partition Problem. [Citation Graph (0, 0)][DBLP]
    Parallel Algorithms and Architectures, 1987, pp:70-76 [Conf]
  21. Robert Paige
    Viewing A Program Transformation System At Work. [Citation Graph (0, 0)][DBLP]
    PLILP, 1994, pp:5-24 [Conf]
  22. Jiazhen Cai, Robert Paige
    ``Look Ma, No Hashing, And No Arrays Neither''. [Citation Graph (0, 0)][DBLP]
    POPL, 1991, pp:143-154 [Conf]
  23. Robert Paige, Zhe Yang
    High Level Reading and Data Structure Compilation. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:456-469 [Conf]
  24. Deepak Goyal, Robert Paige
    A New Solution to the Hidden Copy Problem. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:327-348 [Conf]
  25. Jiazhen Cai, Robert Paige
    Towards Increased Productivity of Algorithm Implementation. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1993, pp:71-78 [Conf]
  26. 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. [Citation Graph (0, 0)][DBLP]
    TACAS, 1995, pp:89-110 [Conf]
  27. William Bouma, Ioannis Fudos, Christoph M. Hoffmann, Jiazhen Cai, Robert Paige
    Geometric constraint solver. [Citation Graph (0, 0)][DBLP]
    Computer-Aided Design, 1995, v:27, n:6, pp:487-501 [Journal]
  28. Robert Paige
    Future Directions in Program Transformations. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:170- [Journal]
  29. Robert Paige
    An NSF Proposal. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2005, v:18, n:1-2, pp:211-235 [Journal]
  30. Bard Bloom, Robert Paige
    Transformational Design and Implementation of a New Efficient Solution to the Ready Simulation Problem. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1995, v:24, n:3, pp:189-220 [Journal]
  31. Jiazhen Cai, Robert Paige
    Program Derivation by Fixed Point Computation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1989, v:11, n:3, pp:197-261 [Journal]
  32. Robert Paige
    Future Directions In Program Transformations. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1997, v:32, n:1, pp:94-97 [Journal]
  33. Robert Paige
    Programming with Invariants. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1986, v:3, n:1, pp:56-69 [Journal]
  34. Jiazhen Cai, Robert Paige
    Using Multiset Discrimination to Solve Language Processing Problems Without Hashing. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:145, n:1&2, pp:189-228 [Journal]
  35. Jiazhen Cai, Robert Paige, Robert Endre Tarjan
    More Efficient Bottom-Up Multi-Pattern Matching in Trees. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:106, n:1, pp:21-60 [Journal]
  36. Chia-Hsiang Chang, Robert Paige
    From Regular Expressions to DFA's Using Compressed NFA's. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:178, n:1-2, pp:1-36 [Journal]
  37. Robert Paige, Robert Endre Tarjan, Robert Bonic
    A Linear Time Solution to the Single Function Coarsest Partition Problem. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:67-84 [Journal]

Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002