The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Gregory J. Duck Gregory James Duck ( http://dblp.L3S.de/Authors/Gregory_J._Duck )

  Author page on DBLP  Author page in RDF  Community of Gregory J. Duck in ASPL-2

Publication years (Num. hits)
2003-2008 (16) 2009-2018 (14)
Publication types (Num. hits)
article(13) inproceedings(17)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 4 keywords

Results
Found 31 publication records. Showing 30 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Gregory J. Duck, Roland H. C. Yap An Extended Low Fat Allocator API and Applications. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap Shape Neutral Analysis of Graph-based Data-structures. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap Shape Neutral Analysis of Graph-based Data-structures. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gregory J. Duck, Roland H. C. Yap EffectiveSan: type and memory error detection using dynamically typed C/C++. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gregory J. Duck, Roland H. C. Yap EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Gregory J. Duck, Roland H. C. Yap, Lorenzo Cavallaro Stack Bounds Protection with Low Fat Pointers. Search on Bibsonomy NDSS The full citation details ... 2017 DBLP  BibTeX  RDF
1Gregory J. Duck, Roland H. C. Yap Heap bounds protection with low fat pointers. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann On Termination, Confluence and Consistent CHR-based Type Inference. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann On Termination, Confluence and Consistent CHR-based Type Inference. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gregory J. Duck, Joxan Jaffar, Nicolas C. H. Koh Constraint-Based Program Reasoning with Heaps and Separation. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gregory James Duck Satisfiability Modulo Constraint Handling Rules (Extended Abstract). Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Gregory J. Duck SMCHR: Satisfiability Modulo Constraint Handling Rules Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Gregory J. Duck SMCHR: Satisfiability modulo constraint handling rules. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey Demand-Driven Normalisation for ACD Term Rewriting. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey Flexible, Rule-Based Constraint Model Linearisation. Search on Bibsonomy PADL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey Cadmium: An Implementation of ACD Term Rewriting. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck Optimizing Compilation of CHR with Rule Priorities. Search on Bibsonomy FLOPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey Understanding functional dependencies via constraint handling rules. Search on Bibsonomy J. Funct. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann Observable Confluence for Constraint Handling Rules. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack MiniZinc: Towards a Standard CP Modelling Language. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth Automatic Implication Checking for CHR Constraints. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gregory J. Duck, Peter J. Stuckey, Sebastian Brand ACD Term Rewriting Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Gregory J. Duck, Peter J. Stuckey, Sebastian Brand ACD Term Rewriting. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck Optimizing compilation of constraint handling rules in HAL. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck Abstract interpretation for constraint handling rules. Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF abstract interpretation, constraint handling rules
1Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck Optimizing compilation of constraint handling rules in HAL Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann Sound and Decidable Type Inference for Functional Dependencies. Search on Bibsonomy ESOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur The Refined Operational Semantics of Constraint Handling Rules. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey Compiling Ask Constraints. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur Extending arbitrary solvers with constraint handling rules. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF compilation, constraint solvers, constraint handling rules
Displaying result #1 - #30 of 30 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license