Skip to content

Leslie De Koninck

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

4

Active years

2007–2015

Best venue rank

B

Where they publish

Papers

8 indexed papers, newest first.

YearVenueTitleAuthors
2015CPAIORFreight Train Threading with Different Algorithms.Ilankaikone Senthooran, Mark Wallace, Leslie De Koninck
2011ICLPConstraints in Non-Boolean Contexts.Leslie De Koninck, Sebastian Brand, Peter J. Stuckey
2009ICLPExecution Control for CHR.Leslie De Koninck
2009ICLPDemand-Driven Normalisation for ACD Term Rewriting.Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey
2008FLOPSOptimizing Compilation of CHR with Rule Priorities.Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck
2008ICLPCadmium: An Implementation of ACD Term Rewriting.Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey
2007ICLPThe Correspondence Between the Logical Algorithms Language and CHR.Leslie De Koninck, Tom Schrijvers, Bart Demoen
2007PPDPUser-definable rule priorities for CHR.Leslie De Koninck, Tom Schrijvers, Bart Demoen