Kristof Verschaetse
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
1990–1992
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1992 | LOPSTR | Automatic Termination Analysis. | Kristof Verschaetse, Stefaan Decorte, Danny De Schreye |
| 1991 | ICLP | Deriving Termination Proofs for Logic Programs, Using Abstract Procedures. | Kristof Verschaetse, Danny De Schreye |
| 1990 | ICLP | A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs. | Danny De Schreye, Kristof Verschaetse, Maurice Bruynooghe |
| 1990 | ICLP | Generation and Compilation of Efficient Computation Rules. | Kristof Verschaetse, Danny De Schreye, Maurice Bruynooghe |