University home page

Find an ExpertProfiling the University of Melbourne's Researchers

MR GREGORY DUCK



Contact Details

Organization: Electrical and Electronic Engineering, Computer Science and Software Engineering
Position: Honorary (Fellow), Honorary (Fellow)
Email:

Government Research Classifications

Research Fields, Courses and Discipline Classifications

Socio-Economic Objective Classifications

Publications

Publications produced at the University of Melbourne and reported in the Annual Publications Collection and 'Research Report' since 2001. The Themis Publications module, released in November 2006, allows additional publications from previous institutions and publications from past years to be entered.

Publications in 2009

Conference Publications/Papers

  • Demand-Driven Normalisation for ACD Term Rewriting
    Year: 2009
    Event name: 25th International Conference Logic Programming, ICLP 2009
    Conference Publication: Lecture Notes in Computer Science: Logic Programming
    Volume: 5649
    Page numbers: 484-488
    Publisher: Springer-Verlag Heidelberg(Berlin)
    Author(s):

Publications in 2008

Conference Publications/Papers

  • Cadmium: An Implementation of ACD Term Rewriting
    Year: 2008
    Event name: ICLP 2008 - 24th International Conference on Logic Programming
    Conference Publication: Logic Programming (Lecture Notes in Computer Science)
    Volume: 5366
    Page numbers: 531-545
    Publisher: Springer Verlag
    Author(s):
  • Flexible, Rule-Based Constraint Model Linearisation
    Year: 2008
    Event name: PADL 2008 - 10th International Symposium on Practical Aspects of Declarative Languages
    Conference Publication: Proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages (Lecture Notes in Computer Science)
    Volume: 4902
    Page numbers: 68-83
    Publisher: Springer Verlag
    Author(s):
  • Optimizing Compilation of CHR with Rule Priorities
    Year: 2008
    Event name: Functional and Logic Programming 9th International Symposium, FLOPS 2008
    Conference Publication: LNCS: Functional and Logic Programming: 9th International Symposium, FLOPS 2008
    Volume: 4989
    Page numbers: 32-47
    Publisher: Springer-Verlag Heidelberg(Berlin)
    Author(s):
    Editor(s):
  • The Many Roads Leading to Rome: Solving Zinc Models by Various Solvers
    Year: 2008
    Event name: The 7th International Workshop on Constraint Modelling and Reformulation (ModRef'08)
    Conference Publication: The 7th International Workshop on Constraint Modelling and Reformulation (ModRef'08): Collocated with the Special Session on Declarative Programming Paradigms and Systems for Non-Monotonic Reasoning at NMR'08
    Page numbers: 1-20
    Publisher: The Association for Constraint Programming(Padova)
    Author(s):

Publications in 2007

Journal Articles

  • Understanding functional dependencies via constraint handling rules
    Year: 2007
    Journal: Journal of Functional Programming
    Volume: 17
    Issue: 1
    Page numbers: 83 - 129
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.

Conference Publications/Papers

  • MiniZinc: Towards a Standard CP Modelling Language
    Year: 2007
    Event name: the 13th International Conference on Principles and Practice of Constraint Programming
    Conference Publication: Principles and Practice of Constraint Programming
    Volume: LNCS 4741
    Page numbers: 529-543
    Publisher: Springer Verlag(Berlin)
    Author(s):
  • Observable Confluence for Constraint Handling Rules
    Year: 2007
    Event name: ICLP 2007 - 23rd International Conference
    Conference Publication: Logic Programming - 23rd International Conference, ICLP 2007
    Volume: LNCS 4670
    Page numbers: 224-239
    Publisher: Springer Verlag(Berlin)
    Author(s):

Publications in 2006

Journal Articles

Conference Publications/Papers

Publications in 2005

Journal Articles

  • Optimizing compilation of constraint handling rules in HAL
    Year: 2005
    Journal: Theory and Practice of Logic Programming
    Volume: 5
    Issue: 4-5
    Page numbers: 503-532
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.

Conference Publications/Papers

  • Abstract interpretation for constraint handling rules
    Year: 2005
    Event name: 7th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming
    Conference Publication: Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
    Page numbers: 218-229
    Publisher: ACM Press(New York)
    Author(s):

Publications in 2004

Conference Publications/Papers

  • Compiling Ask Constraints
    Year: 2004
    Event name: 20th International Conference on Logic Prgramming
    Conference Publication: Logic Prgramming, 20th International Conference, ICLP 2004
    Volume: 3132
    Page numbers: 105-119
    Publisher: Springer Verlag(Berlin)
    Author(s):
  • Sound and Decidable Type Inference for Functional Dependencies
    Year: 2004
    Event name: 13th European Symposium on Programming, ESOP 2004
    Conference Publication: Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004
    Volume: 2986
    Page numbers: 49-63
    Publisher: Springer Verlag(Berlin)
    Author(s):
  • The Refined Operational Semantics of Constraint Handling Rules
    Year: 2004
    Event name: 20th International Conference on Logic Prgramming
    Conference Publication: Logic Prgramming, 20th International Conference, ICLP 2004
    Volume: 3132
    Page numbers: 90-104
    Publisher: Springer Verlag(Berlin)
    Author(s):

Publications in 2003

Conference Publications/Papers

  • Extending Arbitrary Solvers with Constraint Handling Rules
    Year: 2003
    Event name: Fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
    Conference Publication: Proceedings of the Fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
    Page numbers: 79-90
    Publisher: ACM Press(New York)
    Author(s):
top of page