| 1996 | ||
|---|---|---|
| 14 | Muhammad A. Pasha, Paul Soper: A Composite Approach to Meet the Needs of Legal Professionals. DEXA Workshop 1996: 371-376 | |
| 13 | Jonathan C. Martin, Andy King, Paul Soper: Typed Norms for Typed Logic Programs. LOPSTR 1996: 224-238 | |
| 12 | EE | Muhammed A. Pasha, Paul Soper: Combining the Strengths of Information Management Technologies to Meet the Needs of Legal Professionals. Journal of Information, Law and Technology 1996(2): (1996) |
| 1994 | ||
| 11 | Andy King, Paul Soper: Depth-k Sharing and Freeness. ICLP 1994: 553-568 | |
| 10 | Paul Soper, Muhammad A. Pasha: Logic Programming Techniques for Handling Navigational Problems of Hypermedia Systems. WLP 1994: 104-107 | |
| 1992 | ||
| 9 | Andy King, Paul Soper: Serialisation Analysis of Concurrent Logic Programs. ALP 1992: 322-334 | |
| 8 | Paul Soper, Trevor J. M. Bench-Capon: Using Hypertext to Interface to Legal Knowledge Based Systems. DEXA 1992: 363-368 | |
| 7 | Andy King, Paul Soper: Schedule Analysis of Concurrent Logic programs. JICSLP 1992: 478-492 | |
| 6 | Andy King, Paul Soper: Ordering Optimizations for Concurrent Logic Programs. LFCS 1992: 221-228 | |
| 1991 | ||
| 5 | Paul Soper, Charles Ranaboldo, Geetha Abeysinghe: A Temporal Model for Clinical and Resource Management in Vascular Surgery. DEXA 1991: 549-552 | |
| 4 | Andy King, Paul Soper: Reducing Scheduling Overheads for Concurrent Logic Programs. PDK 1991: 279-286 | |
| 1990 | ||
| 3 | Paul Soper, Geetha Abeysinghe, Charles Ranaboldo: Temporal Aspects of a Knowledge Based System for the Management of Hospital Patients. DEXA 1990: 354-359 | |
| 2 | Andy King, Paul Soper: Compile-Time Analysis of Concurrent Logic Programs for Multi-processors. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 367 | |
| 1987 | ||
| 1 | EE | Robert A. Kowalski, Fariba Sadri, Paul Soper: Integrity Checking in Deductive Databases. VLDB 1987: 61-69 |
| 1 | Geetha Abeysinghe | [3] [5] |
| 2 | Trevor J. M. Bench-Capon | [8] |
| 3 | Andy King | [2] [4] [6] [7] [9] [11] [13] |
| 4 | Robert A. Kowalski | [1] |
| 5 | Jonathan C. Martin | [13] |
| 6 | Muhammad A. Pasha | [10] [14] |
| 7 | Muhammed A. Pasha | [12] |
| 8 | Charles Ranaboldo | [3] [5] |
| 9 | Fariba Sadri | [1] |
Colors in the list of coauthors