Dean Voets
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2009–2010
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | LOPSTR | Non-termination Analysis of Logic Programs Using Types. | Dean Voets, Danny De Schreye |
| 2009 | ICLP | Research Summary: Non-termination Analysis of Logic Programs. | Dean Voets |
| 2009 | ICLP | A New Approach to Non-termination Analysis of Logic Programs. | Dean Voets, Danny De Schreye |