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. Kafle B, Gange G, Schachte P, Sondergaard H, Stuckey PJ. A benders decomposition approach to deciding modular linear integer arithmetic. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2017, Vol. 10491 LNCS.
  2. Amadini R, Gange G, Stuckey PJ, Tack G. A novel approach to string constraint solving. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2017, Vol. 10416 LNCS.
  3. Davies TO, Gange G, Stuckey PJ. Automatic logic-based benders decomposition with minizinc. 31st AAAI Conference on Artificial Intelligence, AAAI 2017. 2017.
  4. Amadini R, Jordan A, Gange G, Gauthier F, Schachte P, Sondergaard H, Stuckey P, Zhang C. Combining string abstract domains for javascript analysis: An evaluation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2017, Vol. 10205 LNCS.
  5. Gange G, Ganty P, Stuckey PJ. Fixing the state budget: Approximation of regular languages with small DFAs. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2017, Vol. 10482 LNCS.
  6. De UÑa D, Gange G, Schachte P, Stuckey P. Minimizing landscape resistance for habitat conservation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2017, Vol. 10335 LNCS.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. Gange G, Stuckey P. Constraint propagation and explanation over novel types by abstract compilation. OpenAccess Series in Informatics. 2016, Vol. 52.
  12. 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.
  13. 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.
  14. 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.
  15. 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.

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