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. He S, Wallace M, Gange G, Liebman A, Wilson C. A fast and scalable algorithm for scheduling large numbers of devices under real-time pricing. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2018, Vol. 11008 LNCS. DOI: 10.1007/978-3-319-98334-9_42
  2. Kafle B, Gallagher JP, Gange G, Schachte P, Sondergaard H, Stuckey P. An iterative approach to precondition inference using constrained Horn clauses. 34th International Conference on Logic Programming (ICLP). Cambridge University Press. 2018, Vol. 18, Issue 3-4. DOI: 10.1017/S1471068418000091
  3. Codish M, Ehlers T, Gange G, Itzhakov A, Stuckey P. Breaking symmetries with lex implications. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2018, Vol. 10818 LNCS. DOI: 10.1007/978-3-319-90686-7_12
  4. Zarate DC, Le Bodic P, Dwyer T, Gange G, Stuckey P. Optimal Sankey Diagrams via Integer Programming. 2018 IEEE PACIFIC VISUALIZATION SYMPOSIUM (PACIFICVIS). IEEE. 2018, Vol. 2018-April. DOI: 10.1109/PacificVis.2018.00025
  5. Amadini R, Gange G, Stuckey PJ. Propagating lex, find and replace with dashed strings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2018, Vol. 10848 LNCS. DOI: 10.1007/978-3-319-93031-2_2
  6. Amadini R, Gange G, Stuckey PJ. Propagating Regular membership with dashed strings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2018, Vol. 11008 LNCS. DOI: 10.1007/978-3-319-98334-9_2
  7. Amadini R, Gange G, Gauthier F, Jordan A, Schachte P, Sondergaard H, Stuckey P, Zhang C. Reference Abstract Domains and Applications to String Analysis. FUNDAMENTA INFORMATICAE. IOS Press. 2018, Vol. 158, Issue 4. DOI: 10.3233/FI-2018-1650
  8. Gange G, Stuckey PJ. Sequential precede chain for value symmetry elimination. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2018, Vol. 11008 LNCS. DOI: 10.1007/978-3-319-98334-9_10
  9. 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
  10. 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
  11. Davies T, Gange G, Stuckey P. Automatic logic-based benders decomposition with minizinc. 31st AAAI Conference on Artificial Intelligence, AAAI 2017. 2017.
  12. 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. 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Held as Part of the 19th European Joint Conferences on Theory and Practice of Software (ETAPS). Springer Verlag. 2017, Vol. 10205. Editors: Legay A, Margaria T. DOI: 10.1007/978-3-662-54577-5_3
  13. 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
  14. De Una D, Gange G, Schachte P, Stuckey P. Minimizing Landscape Resistance for Habitat Conservation. 14th International Conference on the Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR). Springer Verlag. 2017, Vol. 10335. Editors: Salvagnin D, Lombardi M. DOI: 10.1007/978-3-319-59776-8_10
  15. 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

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