Dr Graeme Gange

  • Room: Level: 08 Room: 14
  • Building: Doug McDonell Building
  • Campus: Parkville

Personal webpage

http://ww2.cs.mu.oz.au/~ggange/

Recent publications

  1. De Una D, Gange G, Schachte P, Stuckey P. A Bounded Path Propagator on Directed Graphs. 22nd International Conference on the Principles and Practice of Constraint Programming (CP). Springer Verlag. 2016, Vol. 9892. Editors: Rueher M.
  2. Gange G, Navas JA, Schachte P, Sondergaard H, Stuckey P. A complete refinement procedure for regular separability of context-free languages. THEORETICAL COMPUTER SCIENCE. Elsevier Science. 2016, Vol. 625.
  3. Gange G, Navas JA, Schachte P, Sondergaard H, Stuckey P. An Abstract Domain of Uninterpreted Functions. 17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI). Springer Verlag. 2016, Vol. 9583. Editors: Jobstmann B, Leino KRM.
  4. Codish M, Gange G, Itzhakov A, Stuckey P. Breaking Symmetries in Graphs: The Nauty Way. 22nd International Conference on the Principles and Practice of Constraint Programming (CP). Springer Verlag. 2016, Vol. 9892. Editors: Rueher M.
  5. Gange G, Stuckey P. Constraint propagation and explanation over novel types by abstract compilation. OpenAccess Series in Informatics. 2016, Vol. 52.
  6. Gange G, Navas JA, Schachte P, Sondergaard H, Stuckey P. Exploiting Sparsity in Difference-Bound Matrices. 23rd International Symposium on Static Analysis (SAS). Springer Verlag. 2016, Vol. 9837. Editors: Rival X.
  7. Yoghourdjian V, Dwyer T, Gange G, Kieffer S, Klein K, Marriott K. High-Quality Ultra-Compact Grid Layout of Grouped Networks. 10th IEEE Conference on Visual Analytics Science and Technology (VAST) / IEEE VIS Conference. IEEE - Institute of Electrical and Electronic Engineers. 2016, Vol. 22, Issue 1.
  8. Chu G, Gange G, Stuckey P. Lagrangian Decomposition via Sub-problem Search. 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR). Springer Verlag. 2016, Vol. 9676. Editors: Quimper CG.
  9. Abio I, Gange G, Mayer-Eichberger V, Stuckey P. On CNF Encodings of Decision Diagrams. 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR). Springer Verlag. 2016, Vol. 9676. Editors: Quimper CG.
  10. De Uña D, Gange G, Schachte P, Stuckey P. Steiner tree problems with side constraints using constraint programming. 30th AAAI Conference on Artificial Intelligence (AAAI). 2016.
  11. De Una D, Gange G, Schachte P, Stuckey P. Weighted Spanning Tree Constraint with Explanations. 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR). Springer Verlag. 2016, Vol. 9676. Editors: Quimper CG.
  12. Gange G, Navas Laserna J, Schachte P, Sondergaard H, Stuckey P. A Tool for Intersecting Context-Free Grammars and Its Applications. 7th NASA Formal Methods Symposium (NFM). Springer Verlag. 2015, Vol. 9058. Editors: Havelund K, Holzmann G, Joshi R.
  13. Cornish JR, Gange G, Navas Laserna J, Schachte P, Sondergaard H, Stuckey P. Analyzing Array Manipulating Programs by Program Transformation. 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR). Springer Verlag. 2015, Vol. 8981. Editors: Proietti M, Seki H.
  14. Bilauca M, Gange G, Healy P, Marriott K, Moulder P, Stuckey P. Automatic Minimal-Height Table Layout. INFORMS JOURNAL ON COMPUTING. INFORMS Applied Probability Society. 2015, Vol. 27, Issue 3.
  15. Gange G, Navas Laserna J, Schachte P, Sondergaard H, Stuckey P. Horn clauses as an intermediate representation for program analysis and transformation. 31st International Conference on Logic Programming (ICLP) Co-located with the 21st International Conference on Principles and Practice of Constraint Programming (CP). Cambridge University Press. 2015, Vol. 15.

View a full list of publications on the University of Melbourne’s ‘Find An Expert’ profile