Selected Publications

Articles In Academic Journals

Year Title
2006 Sequential and Parallel Algorithms for the NCA Problem on Pure Pointer MachinesTheoretical Computer Science. 108-135.
2005 A Simple Optimal Solution for the Temporal Precedence Problem on Pure Pointer MachinesTheory of Computing Systems. 115-130.

Conference Papers

Year Title
2005 Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees.  79-94.