Jiazhen Cai

Publication Activity (10 Years)

Years Active: 1987-1995
Publications (10 Years): 0

Publications

Jiazhen Cai, Robert Paige
Using Multiset Discrimination to Solve Language Processing Problems Without Hashing. Theor. Comput. Sci. 145 (1&2) (1995)
William Bouma, Ioannis Fudos, Christoph M. Hoffmann, Jiazhen Cai, Robert Paige
Geometric constraint solver. Comput. Aided Des. 27 (6) (1995)
Jiazhen Cai, Robert Paige
Towards Increased Productivity of Algorithm Implementation. SIGSOFT FSE (1993)
Jiazhen Cai
Counting Embeddings of Planar Graphs Using DFS Trees. SIAM J. Discret. Math. 6 (3) (1993)
Jiazhen Cai, Xiaofeng Han, Robert Endre Tarjan
An O(m log n)-Time Algorithm for the Maximal Planar Subgraph Problem. SIAM J. Comput. 22 (6) (1993)
Jiazhen Cai, Robert Paige, Robert Endre Tarjan
More Efficient Bottom-Up Multi-Pattern Matching in Trees. Theor. Comput. Sci. 106 (1) (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)
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)