The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gregory J. Duck: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann
    Sound and Decidable Type Inference for Functional Dependencies. [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:49-63 [Conf]
  2. Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey
    Compiling Ask Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:105-119 [Conf]
  3. Gregory J. Duck, Peter J. Stuckey, Sebastian Brand
    ACD Term Rewriting. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:117-131 [Conf]
  4. Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur
    The Refined Operational Semantics of Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:90-104 [Conf]
  5. Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur
    Extending arbitrary solvers with constraint handling rules. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:79-90 [Conf]
  6. Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck
    Abstract interpretation for constraint handling rules. [Citation Graph (0, 0)][DBLP]
    PPDP, 2005, pp:218-229 [Conf]
  7. Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck
    Optimizing compilation of constraint handling rules in HAL [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  8. Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth
    Automatic Implication Checking for CHR Constraints. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:93-111 [Journal]
  9. Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey
    Understanding functional dependencies via constraint handling rules. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2007, v:17, n:1, pp:83-129 [Journal]
  10. Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck
    Optimizing compilation of constraint handling rules in HAL. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:4-5, pp:503-531 [Journal]
  11. Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack
    MiniZinc: Towards a Standard CP Modelling Language. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:529-543 [Conf]
  12. Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann
    Observable Confluence for Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:224-239 [Conf]
  13. Gregory J. Duck, Peter J. Stuckey, Sebastian Brand
    ACD Term Rewriting [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  14. Optimizing Compilation of CHR with Rule Priorities. [Citation Graph (, )][DBLP]


  15. Cadmium: An Implementation of ACD Term Rewriting. [Citation Graph (, )][DBLP]


  16. Demand-Driven Normalisation for ACD Term Rewriting. [Citation Graph (, )][DBLP]


  17. Flexible, Rule-Based Constraint Model Linearisation. [Citation Graph (, )][DBLP]


Search in 0.581secs, Finished in 0.581secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002