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 P. 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. DOI: 10.1007/978-3-319-66263-3_24
  2. Amadini R, Gange G, Stuckey P, 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. DOI: 10.1007/978-3-319-66158-2_1
  3. Davies T, Gange G, Stuckey P. 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. DOI: 10.1007/978-3-662-54577-5_3
  5. Gange G, Ganty P, Stuckey P. 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. DOI: 10.1007/978-3-319-68167-2_5
  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. DOI: 10.1007/978-3-319-59776-8_10
  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. DOI: 10.1007/978-3-319-44953-1_13
  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. DOI: 10.1016/j.tcs.2016.01.026
  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. DOI: 10.1007/978-3-662-49122-5_4
  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. DOI: 10.1007/978-3-319-44953-1_11
  11. Gange G, Stuckey P. Constraint propagation and explanation over novel types by abstract compilation. OpenAccess Series in Informatics. 2016, Vol. 52. DOI: 10.4230/OASIcs.ICLP.2016.13
  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. DOI: 10.1007/978-3-662-53413-7_10
  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. DOI: 10.1109/TVCG.2015.2467251
  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. DOI: 10.1007/978-3-319-33954-2_6
  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. DOI: 10.1007/978-3-319-33954-2_1

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