Restricted and parallel execution of logic programs
Parallel computation and computers for artificial intelligence
Knowledge-Based Software Development for Real-Time Distributed Systems
Knowledge-Based Software Development for Real-Time Distributed Systems
A Logic-Based Transformation System
IEEE Transactions on Knowledge and Data Engineering
A Parallel Execution Model of Logic Programs
IEEE Transactions on Parallel and Distributed Systems
The and/or process model for parallel interpretation of logic programs
The and/or process model for parallel interpretation of logic programs
Clustering Algorithm for Parallelizing Software Systems in Multiprocessors Environment
IEEE Transactions on Software Engineering - Special issue on architecture-independent languages and software tools parallel processing
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Journal of Systems and Software
| Hi-index | 48.22 |