Kim S. Henriksen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2004–2006
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | SCAM | Abstract Interpretation of PIC Programs through Logic Programming. | Kim S. Henriksen, John P. Gallagher |
| 2005 | ICLP | Techniques for Scaling Up Analyses Based on Pre-interpretations. | John P. Gallagher, Kim S. Henriksen, Gourinath Banda |
| 2004 | ICLP | Abstract Domains Based on Regular Types. | John P. Gallagher, Kim S. Henriksen |
| 2004 | LOPSTR | Fully Automatic Binding-Time Analysis for Prolog. | Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen |
| 2004 | SMC | Analysis and specialisation of a PIC processor. | Kim S. Henriksen, John P. Gallagher |