Paul Soper
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1987–1996
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | LOPSTR | Typed Norms for Typed Logic Programs. | Jonathan C. Martin, Andy King, Paul Soper |
| 1994 | ICLP | Depth-k Sharing and Freeness. | Andy King, Paul Soper |
| 1992 | DEXA | Using Hypertext to Interface to Legal Knowledge Based Systems. | Paul Soper, Trevor J. M. Bench-Capon |
| 1992 | ICLP | Schedule Analysis of Concurrent Logic programs. | Andy King, Paul Soper |
| 1992 | LFCS | Ordering Optimizations for Concurrent Logic Programs. | Andy King, Paul Soper |
| 1991 | DEXA | A Temporal Model for Clinical and Resource Management in Vascular Surgery. | Paul Soper, Charles Ranaboldo, Geetha Abeysinghe |
| 1990 | DEXA | Temporal Aspects of a Knowledge Based System for the Management of Hospital Patients. | Paul Soper, Geetha Abeysinghe, Charles Ranaboldo |
| 1987 | VLDB | Integrity Checking in Deductive Databases. | Robert A. Kowalski, Fariba Sadri, Paul Soper |