The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Graeme Gange" ( http://dblp.L3S.de/Authors/Graeme_Gange )

URL (Homepage):  https://orcid.org/0000-0002-1354-431X  Author page on DBLP  Author page in RDF  Community of Graeme Gange in ASPL-2

Publication years (Num. hits)
2008-2014 (21) 2015-2016 (16) 2017-2018 (18) 2019 (3)
Publication types (Num. hits)
article(19) inproceedings(38) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 59 publication records. Showing 58 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey Compiling CP subproblems to MDDs and d-DNNFs. Search on Bibsonomy Constraints The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Daniel Harabor, Peter J. Stuckey Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation. Search on Bibsonomy ICAPS The full citation details ... 2019 DBLP  BibTeX  RDF
1Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Constraint Programming for Dynamic Symbolic Execution of JavaScript. Search on Bibsonomy CPAIOR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Precondition Inference via Partitioning of Initial States. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey An iterative approach to precondition inference using constrained Horn clauses. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey An iterative approach to precondition inference using constrained Horn clauses. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Graeme Gange, François Gauthier, Alexander Jordan, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang Reference Abstract Domains and Applications to String Analysis. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey Breaking Symmetries with Lex Implications. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Graeme Gange, Peter J. Stuckey Propagating Regular Membership with Dashed Strings. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Peter J. Stuckey Sequential Precede Chain for Value Symmetry Elimination. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shan He, Mark Wallace 0001, Graeme Gange, Ariel Liebman, Campbell Wilson A Fast and Scalable Algorithm for Scheduling Large Numbers of Devices Under Real-Time Pricing. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Graeme Gange, Peter J. Stuckey Sweep-Based Propagation for String Constraint Solving. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Roberto Amadini, Graeme Gange, Peter J. Stuckey Propagating lex, find and replace with Dashed Strings. Search on Bibsonomy CPAIOR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Cheng Zarate, Pierre Le Bodic, Tim Dwyer, Graeme Gange, Peter J. Stuckey Optimal Sankey Diagrams Via Integer Programming. Search on Bibsonomy PacificVis The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Diego de Uña, Nataliia Rümmele, Graeme Gange, Peter Schachte, Peter J. Stuckey Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Pierre Ganty, Peter J. Stuckey Fixing the State Budget: Approximation of Regular Languages with Small DFAs. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Alexander Jordan, Graeme Gange, François Gauthier, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang Combining String Abstract Domains for JavaScript Analysis: An Evaluation. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack A Novel Approach to String Constraint Solving. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Toby O. Davies, Graeme Gange, Peter J. Stuckey Automatic Logic-Based Benders Decomposition with MiniZinc. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey Minimizing Landscape Resistance for Habitat Conservation. Search on Bibsonomy CPAIOR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey A complete refinement procedure for regular separability of context-free languages. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vahan Yoghourdjian, Tim Dwyer, Graeme Gange, Steve Kieffer, Karsten Klein 0001, Kim Marriott High-Quality Ultra-Compact Grid Layout of Grouped Networks. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Exploiting Sparsity in Difference-Bound Matrices. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey An Abstract Domain of Uninterpreted Functions. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey A Bounded Path Propagator on Directed Graphs. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Codish, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey Breaking Symmetries in Graphs: The Nauty Way. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey Steiner Tree Problems with Side Constraints Using Constraint Programming. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey Weighted Spanning Tree Constraint with Explanations. Search on Bibsonomy CPAIOR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Geoffrey Chu, Graeme Gange, Peter J. Stuckey Lagrangian Decomposition via Sub-problem Search. Search on Bibsonomy CPAIOR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ignasi Abío, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey On CNF Encodings of Decision Diagrams. Search on Bibsonomy CPAIOR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Peter J. Stuckey Constraint Propagation and Explanation over Novel Types by Abstract Compilation. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mihai Bilauca, Graeme Gange, Patrick Healy, Kim Marriott, Peter Moulder, Peter J. Stuckey Automatic Minimal-Height Table Layout. Search on Bibsonomy INFORMS Journal on Computing The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Horn Clauses as an Intermediate Representation for Program Analysis and Transformation. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Horn clauses as an intermediate representation for program analysis and transformation. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yali Zhao, Rodrigo N. Calheiros, Graeme Gange, Kotagiri Ramamohanarao, Rajkumar Buyya SLA-Based Resource Scheduling for Big Data Analytics as a Service in Cloud Computing Environments. Search on Bibsonomy ICPP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey A Tool for Intersecting Context-Free Grammars and Its Applications. Search on Bibsonomy NFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Peter James Stuckey, Vitaly Lagoon Fast Set Bounds Propagation Using a BDD-SAT Hybrid. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey A Partial-Order Approach to Array Content Analysis. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey A Complete Refinement Procedure for Regular Separability of Context-Free Languages. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Graeme Gange, Harald Søndergaard, Peter J. Stuckey Synthesizing Optimal Switching Lattices. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Benjamin Horsfall, Lee Naish, Harald Søndergaard Four-Valued Reasoning and Cyclic Circuits. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Analyzing Array Manipulating Programs by Program Transformation. Search on Bibsonomy LOPSTR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Failure tabled constraint logic programming by interpolation. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Abstract Interpretation over Non-lattice Abstract Domains. Search on Bibsonomy SAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, Peter Schachte Unbounded Model-Checking with Interpolation for Regular Language Constraints. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck Explaining Propagators for Edge-Valued Decision Diagrams. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Harald Søndergaard, Peter J. Stuckey, Peter Schachte Solving Difference Constraints over Modular Arithmetic. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Peter J. Stuckey Explaining Propagators for s-DNNF Circuits. Search on Bibsonomy CPAIOR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Kim Marriott, Peter J. Stuckey Optimal guillotine layout. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Graeme Gange Combinatorial reasoning for sets, graphs and document composition. Search on Bibsonomy 2012   RDF
1Graeme Gange, Peter J. Stuckey, Radoslaw Szymanek MDD propagators with explanation. Search on Bibsonomy Constraints The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Kim Marriott, Peter Moulder, Peter J. Stuckey Optimal automatic table layout. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Peter J. Stuckey, Vitaly Lagoon Fast Set Bounds Propagation Using a BDD-SAT Hybrid. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Peter J. Stuckey, Kim Marriott Optimal k-Level Planarization and Crossing Minimization. Search on Bibsonomy Graph Drawing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Kim Marriott, Peter J. Stuckey Smooth Linear Approximation of Non-overlap Constraints. Search on Bibsonomy Diagrams The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Vitaly Lagoon, Peter J. Stuckey Fast Set Bounds Propagation using BDDs. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #58 of 58 (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