| MiniZinc: Towards a standard CP modelling language N Nethercote, PJ Stuckey, R Becket, S Brand, GJ Duck, G Tack International Conference on Principles and Practice of Constraint …, 2007 | 672 | 2007 |
| The refined operational semantics of Constraint Handling Rules GJ Duck, PJ Stuckey, MG De La Banda, C Holzbaur International Conference on Logic Programming, 90-104, 2004 | 216 | 2004 |
| Understanding functional dependencies via constraint handling rules M Sulzmann, GJ Duck, S Peyton-Jones, PJ Stuckey Journal of functional programming 17 (1), 83-129, 2007 | 97 | 2007 |
| Observable confluence for constraint handling rules GJ Duck, PJ Stuckey, M Sulzmann International Conference on Logic Programming, 224-239, 2007 | 58 | 2007 |
| Optimizing compilation of constraint handling rules in HAL C Holzbaur, MG De La Banda, PJ Stuckey, GJ Duck Theory and Practice of Logic Programming 5 (4-5), 503-531, 2005 | 58 | 2005 |
| Sound and decidable type inference for functional dependencies GJ Duck, S Peyton-Jones, PJ Stuckey, M Sulzmann European Symposium on Programming, 49-63, 2004 | 53 | 2004 |
| Abstract interpretation for constraint handling rules T Schrijvers, PJ Stuckey, GJ Duck Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005 | 49* | 2005 |
| Heap bounds protection with low fat pointers GJ Duck, RHC Yap Proceedings of the 25th International Conference on Compiler Construction …, 2016 | 48 | 2016 |
| Extending arbitrary solvers with constraint handling rules GJ Duck, PJ Stuckey, M Garcia de la Banda, C Holzbaur Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003 | 41 | 2003 |
| Compilation of Constraint Handling Rules GJ Duck University of Melbourne, Department of Computer Science and Software Engineering, 2005 | 39 | 2005 |
| ACD term rewriting GJ Duck, PJ Stuckey, S Brand International Conference on Logic Programming, 117-131, 2006 | 38 | 2006 |
| Automatic implication checking for CHR constraints T Schrijvers, B Demoen, G Duck, P Stuckey, T Frühwirth Electronic notes in theoretical computer science 147 (1), 93-111, 2006 | 38 | 2006 |
| Stack Bounds Protection with Low Fat Pointers. GJ Duck, RHC Yap, L Cavallaro NDSS, 2017 | 34 | 2017 |
| Constraint-based program reasoning with heaps and separation GJ Duck, J Jaffar, NCH Koh International Conference on Principles and Practice of Constraint …, 2013 | 20* | 2013 |
| EffectiveSan: type and memory error detection using dynamically typed C/C++ GJ Duck, RHC Yap Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 17 | 2018 |
| Flexible, rule-based constraint model linearisation S Brand, GJ Duck, J Puchinger, PJ Stuckey International Symposium on Practical Aspects of Declarative Languages, 68-83, 2008 | 17 | 2008 |
| Accurate functional dependency analysis for Constraint Handling Rules G Duck, T Schrijvers Proceedings of the 2nd Workshop on Constraint Handling Rules, 109-124, 2005 | 17 | 2005 |
| Cadmium: An implementation of ACD term rewriting GJ Duck, L De Koninck, PJ Stuckey International Conference on Logic Programming, 531-545, 2008 | 16 | 2008 |
| Optimizing compilation of CHR with rule priorities L De Koninck, PJ Stuckey, GJ Duck International Symposium on Functional and Logic Programming, 32-47, 2008 | 16 | 2008 |
| SMCHR: Satisfiability modulo constraint handling rules GJ Duck Theory and Practice of Logic Programming 12 (4-5), 601-618, 2012 | 14 | 2012 |
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
