Gregory J. Duck

	2009
17		Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey: Demand-Driven Normalisation for ACD Term Rewriting. ICLP 2009: 484-488
	2008
16		Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck: Optimizing Compilation of CHR with Rule Priorities. FLOPS 2008: 32-47
15		Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey: Cadmium: An Implementation of ACD Term Rewriting. ICLP 2008: 531-545
14		Sebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey: Flexible, Rule-Based Constraint Model Linearisation. PADL 2008: 68-83
	2007
13		Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack: MiniZinc: Towards a Standard CP Modelling Language. CP 2007: 529-543
12		Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann: Observable Confluence for Constraint Handling Rules. ICLP 2007: 224-239
11		Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey: Understanding functional dependencies via constraint handling rules. J. Funct. Program. 17(1): 83-129 (2007)
	2006
10		Gregory J. Duck, Peter J. Stuckey, Sebastian Brand: ACD Term Rewriting. ICLP 2006: 117-131
9		Gregory J. Duck, Peter J. Stuckey, Sebastian Brand: ACD Term Rewriting CoRR abs/cs/0608016: (2006)
8		Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth: Automatic Implication Checking for CHR Constraints. Electr. Notes Theor. Comput. Sci. 147(1): 93-111 (2006)
	2005
7		Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck: Abstract interpretation for constraint handling rules. PPDP 2005: 218-229
6		Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck: Optimizing compilation of constraint handling rules in HAL. TPLP 5(4-5): 503-531 (2005)
	2004
5		Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann: Sound and Decidable Type Inference for Functional Dependencies. ESOP 2004: 49-63
4		Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey: Compiling Ask Constraints. ICLP 2004: 105-119
3		Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur: The Refined Operational Semantics of Constraint Handling Rules. ICLP 2004: 90-104
2		Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck: Optimizing compilation of constraint handling rules in HAL CoRR cs.PL/0408025: (2004)
	2003
1		Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur: Extending arbitrary solvers with constraint handling rules. PPDP 2003: 79-90

Coauthor Index

1	Maria Garcia de la Banda (Maria J. García de la Banda)	[1] [2] [3] [4] [6]
2	Ralph Becket	[13]
3	Sebastian Brand	[9] [10] [13] [14]
4	Bart Demoen	[8]
5	Thom W. Frühwirth	[8]
6	Christian Holzbaur	[1] [2] [3] [6]
7	Simon L. Peyton Jones	[5] [11]
8	Leslie De Koninck	[15] [16] [17]
9	Nicholas Nethercote	[13]
10	Jakob Puchinger	[14]
11	Tom Schrijvers	[7] [8]
12	Peter J. Stuckey	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17]
13	Martin Sulzmann	[5] [11] [12]
14	Guido Tack	[13]