| 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 |
