Gregory J. Duck Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gregory J. Duck: SMCHR: Satisfiability modulo constraint handling rules. TPLP 12(4-5): 601-618 (2012)
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gregory J. Duck: SMCHR: Satisfiability Modulo Constraint Handling Rules. CoRR abs/1210.5307 (2012)
2009
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey: Demand-Driven Normalisation for ACD Term Rewriting. ICLP 2009: 484-488
2008
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck: Optimizing Compilation of CHR with Rule Priorities. FLOPS 2008: 32-47
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey: Cadmium: An Implementation of ACD Term Rewriting. ICLP 2008: 531-545
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey: Flexible, Rule-Based Constraint Model Linearisation. PADL 2008: 68-83
2007
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann: Observable Confluence for Constraint Handling Rules. ICLP 2007: 224-239
2006
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gregory J. Duck, Peter J. Stuckey, Sebastian Brand: ACD Term Rewriting. ICLP 2006: 117-131
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gregory J. Duck, Peter J. Stuckey, Sebastian Brand: ACD Term Rewriting. CoRR abs/cs/0608016 (2006)
2005
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck: Abstract interpretation for constraint handling rules. PPDP 2005: 218-229
2004
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann: Sound and Decidable Type Inference for Functional Dependencies. ESOP 2004: 49-63
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey: Compiling Ask Constraints. ICLP 2004: 105-119
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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

1Maria Garcia de la Banda (Maria J. García de la Banda)
[j1] [c3] [c2] [i1] [c1]
2Ralph Becket
[c8]
3Sebastian Brand
[c9] [c8] [c6] [i2]
4Bart Demoen
[j2]
5Thom W. Frühwirth
[j2]
6Christian Holzbaur
[j1] [c3] [i1] [c1]
7Simon L. Peyton Jones
[j3] [c4]
8Leslie De Koninck
[c12] [c11] [c10]
9Nicholas Nethercote
[c8]
10Jakob Puchinger
[c9]
11Tom Schrijvers
[j2] [c5]
12Peter J. Stuckey
[c12] [c11] [c10] [c9] [j3] [c8] [c7] [j2] [c6] [i2] [j1] [c5] [c4] [c3] [c2] [i1] [c1]
13Martin Sulzmann
[j3] [c7] [c4]
14Guido Tack
[c8]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 21 23:12:57 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page