Khayri A. M. Ali
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Logic, programming, and type systems, Distributed and Parallel Computing Systems, Formal Methods in Verification, Software Testing and Debugging Techniques
Most-Cited Works
- → Parallel execution of prolog programs(2001)156 cited
- The Muse Or-parallel Prolog model and its performance(1990)
- → The muse approach to Or-parallel prolog(1990)72 cited
- → Full prolog and scheduling or-parallelism in muse(1990)59 cited
- → OR-parallel execution of Prolog on a multi-sequential machine(1986)23 cited
- → An And/Or-Parallel implementation of AKL(1996)14 cited
- Scheduling Or-Parallelism in Muse.(1991)
- → Scheduling speculative work in MUSE and performance results(1992)12 cited
- → Performance of Muse on switch-based multiprocessor machines(1992)9 cited
- → Global garbage collection for distributed heap storage systems(1986)9 cited