Prof Kimbal Marriott - Researcher Profile

Biography

Kim is a Professor and Head of the Clayton School of IT. He has been an ARC Professorial Fellow and a NICTA Research Fellow. After obtaining his PhD in 1989 he worked at the IBM TJ Watson Research Center until joining Monash in 1993.

He leads the Adaptive Diagrams and Documents Laboratory. This is part of the Center for Research into Intelligent Systems (CRIS). We are investigating how to best move from a print-based view of documents and their content to one that takes more advantage of the capabilities of electronic media.  We want to provide the technology for creating interactive documents and diagrams whose appearance adapts to their viewing environment and to user requirements. For instance an organization chart needs to be displayed in quite different ways on a PDA and on a laptop and in a very different way to someone who is blind. We also want to support interaction, annotation and dynamic content.

 

• Read the rest of the profile

Keywords

Computer graphics, Computer software, Constraint based graphics, Constraint programming languages, Digital typography, Hi-tree layout, Language design, Modelling, Programming languages, Smart diagram environments, Zinc Modelling Language

Publications

Books

Demoen, B., Garcia De La Banda, M., Harvey, W., Marriott, K., Stuckey, P.J., 1999, An Overview of HAL, SCSSE Monash University, Clayton Vic Australia.

Chok, S., Marriott, K., 1999, Automatic Generation of Intelligent Diagram Editors, SCSSE Monash University, Clayton Vic Australia.

Chok, S., Marriott, K., Paton, T., 1999, Constraint-Based Diagram Beautification, SCSSE Monash University, Clayton Vic Australia.

Demoen, B., Garcia De La Banda, M., Harvey, W., Marriott, K., Stuckey, P.J., 1999, Herbrand Constraint Solving in HAL, SCSSE Monash University, Clayton Vic Australia.

Marriott, K., Stuckey, P.J., 1998, Programming with Constraints - An Introduction, MIT Press, London UK.

Marriott, K., Stuckey, P.J. (eds), 1998, The Journal of Logic Programming Special Issue: Constraint Logic Programming, Elsevier Science, New York NY USA.

Marriott, K., Meyer, B., Wittenburg, K., 1997, A survey of visual language specification and recognition, Dept Computer Science, Monash University, Melbourne Vic Australia.

Marriott, K., 1997, Abstract interpretation: A theory of approximate computation, Dept Computer Science, Monash University, Melbourne Vic Australia.

Borning, A., Lin, R.R., Marriott, K., 1997, Constraints for the web, Dept Computer Science, Monash University, Melbourne Vic Australia.

He, W., Marriott, K., 1997, Removing node overlapping using constrained optimization, Dept Computer Science, Monash University, Melbourne Vic Australia.

Marriott, K., Meyer, B. (eds), 1997, TVL97 International Workshop on Theory of Visual Languages, Ludwig-Maximilians University, Munich Germany.

Marriott, K., Meyer, B., 1997, The CCMG visual language hierarchy, Dept Computer Science, Monash University, Melbourne Vic Australia.

Book Chapters

Christie, M., Hosobe, H., Marriott, K.G., 2007, Trends and issues in using constraint programming for graphical applications, in Trends in Constraint Programming, eds Frederic Benhamou, Narendra Jussien and Barry O'Sullivan, Wiley-ISTE, USA, pp. 371-381.

Marriott, K.G., Stuckey, P.J., Wallace, M., 2006, Constraint logic programming, in Handbook of Constraint Programming, eds Francesca Rossi, Peter van Beek and Toby Walsh, Elsevier, Amsterdam The Netherlands, pp. 409-452.

Meyer, B., Marriott, K.G., Allwein, G., 2002, Intelligent diagrammatic interfaces: state of the art, in Diagrammatic Representation and Reasoning, eds M Anderson, B Meyer and P Oliver, Springer-Verlag, London UK, pp. 411-429.

Marriott, K., Meyer, B., Wittenberg, K.B., 1998, A Survey of Visual Language Specification and recognition, in Visual Language Theory, Springer-Verlag, New York NY USA, pp. 5-83.

Marriott, K., Meyer, B., 1998, The CCMG Visual Language Hierarchy, in Visual Language Theory, Springer-Verlag, New York NY USA, pp. 129-169.

Meyer, B., Marriott, K., 1997, Specifying diagram animation with rewrite systems, in TVL97 International Workshop on Theory of Visual Languages, Ludwig-Maximilians University, Munich Germany, pp. 85-96.

Journal Articles

Marriott, K.G., Purchase, H., Wybrow, M.J., Goncu, C., 2012, Memorability of visual features in network diagrams, IEEE Transactions on Visualization and Computer Graphics [P], vol 18, issue 12, Institute of Electrical and Electronics Engineers, Los Alamitos CA USA, pp. 2477-2485.

Marriott, K.G., Sbarski, P., van Gelder, T., Prager, D., Bulka, A., 2011, Hi-trees and their layout, IEEE Transactions on Visualization and Computer Graphics [P], vol 17, issue 3, IEEE Computer Society, Los Alamitos CA USA, pp. 290-304.

Schreiber, F., Dwyer, T., Marriott, K.G., Wybrow, M.J., 2009, A generic algorithm for layout of biological networks, BMC Bioinformatics [P], vol 10, Biomed Central Ltd, London England, pp. 1-12.

Dwyer, T.G., Koren, Y., Marriott, K.G., 2009, Constrained graph layout by stress majorization and gradient projection, Discrete Mathematics [P], vol 309, issue 7, Elsevier Science BV, Amsterdam Netherlands, pp. 1895-1908.

Wybrow, M.J., Marriott, K.G., McIver, L.K., Stuckey, P.J., 2008, Comparing usability of one-way and multi-way constraints for diagram editing, ACM Transactions on Computer-Human Interaction, vol 14, issue 4, Association for Computing Machinery, New York NY USA, pp. 1-38.

Dwyer, T., Marriott, K.G., Schreiber, F., Stuckey, P.J., Woodward, M., Wybrow, M.J., 2008, Exploration of networks using overview+detail with constraint-based cooperative layout, IEEE Transactions on Visualization and Computer Graphics, vol 14, issue 6, IEEE Computer Society, Los Alamitos CA USA, pp. 1293-1300.

Dwyer, T.G., Marriott, K.G., Wybrow, M.J., 2008, Interactive, constraint-based layout of engineering diagrams, Electronic Communications of the EASST, vol 13, Public Knowledge Project, University of British Columbia, pp. 1-8.

Marriott, K.G., Nethercote, N., Rafeh, R., Stuckey, P.J., Garcia De La Banda, M.J., Wallace, M., 2008, The design of the Zinc modelling language, Constraints, vol 13, issue 3, Springer, Netherlands, pp. 229-267.

Jansen, A., Marriott, K.G., Yelland, G.W., 2007, Parsing of algebraic expressions by experienced users of mathematics, European Journal of Cognitive Psychology, vol 19, issue 2, Psychology Press, Hove England, pp. 286-320.

Dwyer, T.G., Koren, Y., Marriott, K.G., 2006, Drawing directed graphs using quadratic programming, IEEE Transactions on Visualization and Computer Graphics, vol 12, issue 4, IEEE Computer Society, New York USA, pp. 536-548.

Dwyer, T.G., Koren, Y., Marriott, K.G., 2006, IPSEP-CoLA: an incremental procedure for separation constraint layout of graphs, IEEE Transactions on Visualization and Computer Graphics, vol 12, issue 5, IEEE Computer Society, New York USA, pp. 821-828.

Garcia De La Banda, M.J., Harvey, W., Marriott, K.G., Stuckey, P.J., Demoen, B., 2005, Checking modes of HAL programs, Theory and Practice of Logic Programming, vol 5, issue 6, Cambridge University Press, New York NY USA, pp. 623-667.

Stuckey, P.J., Garcia De La Banda, M.J., Maher, M., Marriott, K.G., Slaney, J., Somogyi, Z., Wallace, M., Walsh, T., 2005, The G12 project: Mapping solver independent models to efficient solutions, Lecture Notes in Computer Science, vol 3668, Springer, Germany, pp. 9-13.

Puebla, G., Correas, J., Hermenegildo, M.V., Bueno, F., Garcia De La Banda, M.J., Marriott, K.G., Stuckey, P.J., 2004, A generic framework for context-sensitive analysis of modular programs, Lecture Notes in Computer Science, vol 3049, Springer-Verlag, Berlin Germany, pp. 233-260.

Demoen, B., Garcia De La Banda, M.J., Harvey, W., Marriott, K.G., Overton, D.M., Stuckey, P.J., 2004, Herbrand constraints in HAL, Lecture Notes in Computer Science, vol 3049, Springer-Verlag, Berlin Germany, pp. 499-538.

Marriott, K.G., Stuckey, P.J., 2004, NP-completeness of minimal width unordered tree layout, Graph Algorithms and Applications, vol 8, issue 3, Brown University, Department of Computer Science, USA, pp. 295-312.

Jansen, A.R., Blackwell, A.F., Marriott, K.G., 2003, A tool for tracking visual attention: the Restricted Focus Viewer, Behavior Research Methods, Instruments, & Computers, vol 35, issue 1, Psychonomic Society Inc., Austin USA, pp. 57-69.

Chok, S., Marriott, K.G., 2003, Automatic generation of intelligent diagram editors, ACM Transactions on Computer-Human Interaction, vol 10, issue 3, Association for Computing Machinery Press, New York USA, pp. 244-276.

Jansen, A.R., Marriott, K.G., Yelland, G.W., 2003, Comprehension of algebraic expressions by experienced users of mathematics, The Quarterly Journal of Experimental Psychology Section A-Human Experimental Psychology, vol 56, issue 1, Psychology Press, East Sussex England, pp. 3-30.

Marriott, K.G., Stuckey, P.J., Tam, V., He, W., 2003, Removing node overlapping in graph layout using constrained optimization, Constraints, vol 8, issue 2, Kluwer Academic Publishers, Dordrecht The Netherlands, pp. 143-171.

Hansen, T., Marriott, K., Meyer, B., Stuckey, P.J., 2002, Flexible graph layout for the web, Journal of Visual Languages & Computing, vol 13, issue 1, Elsevier Science Ltd, Oxford UK, pp. 35-60.

Marriott, K., Chok, S., 2002, QOCA: a constraint solving toolkit for interactive graphical applications, Constraints: An International Journal, vol 7, issue 3/4, Kluwer Academic Publishers, Dordrecht The Netherland, pp. 229-254.

Garcia De La Banda, M., Demoen, B., Marriott, K., Stuckey, P.J., 2002, To the Gates of HAL: a HAL tutorial, Lecture Notes in Computer Science, vol 2441, Springer-Verlag, Berlin Germany, pp. 47-66.

Bueno, F., Garcia De La Banda, M., Hermenegildo, M., Marriott, K., Puebla, G., Stuckey, P.J., 2001, A model of inter-module analysis and optimizing compilation, Lecture Notes in Computer Science, vol 2042, Springer-Verlag Berlin, Berlin Germany, pp. 86-102.

Garcia De La Banda, M., Jeffery, D.G., Marriott, K., Nethercote, N., Stuckey, P.J., Holzbaur, C., 2001, Building constraint solvers with HAL, Lecture Notes in Computer Science, vol 2237, Springer-Verlag Berlin, Berlin Germany, pp. 90-104.

Bottoni, P., Meyer, B., Marriott, K., Presicce, F.P., 2001, Deductive parsing of visual languages, Lecture Notes in Artificial Intelligence, vol 2099, Springer-Verlag Berlin, Berlin Germany, pp. 79-94.

Marriott, K., Moulder, P., Stuckey, P.J., Borning, A., 2001, Solving disjunctive constraints for interactive graphical applications, Lecture Notes in Computer Science, vol 2239, Springer-Verlag Berlin, Berlin Germany, pp. 361-376.

Borning, A., Lin, R.K., Marriott, K., 2000, Constraint-based Document Layout for the Web, Multimedia Systems, vol 8 issue 3, Springer-Verlag, Heidelberg Germany, pp. 177-189.

Codish, M., Marriott, K., Taboch, C., 2000, Improving Program Analyses by Structure Untupling, The Journal of Logic Programming, vol 43 issue 3, Elsevier Science Inc., New York NY USA, pp. 251-263.

Hermenegildo, M., Puebla, G., Marriott, K., Stuckey, P.J., 2000, Incremental Analysis of Constraint Logic Programs, ACM Transactions on Programming Languages and Systems, vol 22 issue 2, Association for Computing Machinery, New York NY USA, pp. 187-223.

Garcia De La Banda, M., Hermenegildo, M., Marriott, K., 2000, Independence in CLP Languages, ACM Transactions on Programming Languages and Systems, vol 22 issue 2, Association for Computing Machinery, New York NY USA, pp. 296-339.

Garcia De La Banda, M., Stuckey, P.J., Harvey, W., Marriott, K., 2000, Mode Checking in HAL, Lecture Notes in Artificial Intelligence, vol 1861, Springer-Verlag, Heidelberg Germany, pp. 1270-1284.

Marriott, K., Meyer, B., 2000, Non-standard Logics for Diagram Interpretation, Lecture Notes in Artificial Intelligence, vol 1889, Springer-Verlag, Heidelberg Germany, pp. 42-57.

Blackwell, A.F., Jansen, A.R., Marriott, K., 2000, Restricted Focus Viewer: A Tool for Tracking Visual Attention, Lecture Notes in Artificial Intelligence, vol 1889, Springer-Verlag, Heidelberg Germany, pp. 162-177.

Demoen, B., Garcia De La Banda, M., Harvey, W., Marriott, K., Stuckey, P.J., 1999, An Overview of HAL, Lecture Notes in Computer Science Principles and Practice of Constraint Programming - (CP'99) 5th International Conference, vol j jaffar, Springer-Verlag, Heidelberg Germany, pp. 174-188.

Kelly, A.D., Marriott, K., Sondergaard, H., Stuckey, P.J., 1998, A Practical Object-Oriented Analysis Engin for Constraint Logic Programming, Software - Practice & Experience, vol 28 no 2, John Wiley & Sons Ltd, UK, pp. 199-224.

Marriott, K., Chok, S., Finlay, A., 1998, A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications, Lecture Notes in Computer Science Principles and Practice of Constraint Programming - CP98, vol 1520, Springer-Verlag, Berlin Germany, pp. 340-354.

Garcia De La Banda, M., Marriott, K., Stuckey, P.J., Sondergaard, H., 1998, Differential Methods in Logic Program Analysis, The Journal of Logic Programming, vol 37 no 1, Elsevier Science Inc, New York NY USA, pp. 1-37.

Jaffar, J., Maher, M., Marriott, K., Stuckey, P.J., 1998, The Semantics of Constraint Logic Programs, The Journal of Logic Programming, vol 37 no 1-3, Elsevier Science Inc, New York NY USA, pp. 1-46.

Marriott, K., Armstrong, T., Schachte, P., Sondergaard, H., 1998, Two Classes of Boolean Functions for Dependency Analysis, Science of Computer Programming, vol 31, Elsevier Science, Netherland, pp. 3-45.

Marriott, K., Odersky, M., 1997, A confluent calculus for concurrent constraint programming, Theoretical Computer Science, vol 173, Elsevier Science BV, Amsterdam Netherlands, pp. 209-233.

Codish, M., Falaschi, M., Marriott, K., Winsborough, W., 1997, A confluent semantic basis for the analysis of concurrent constraint logic programs, The Journal of Logic Programming, vol 30, Elsevier Science Inc, New York NY USA, pp. 53-81.

Marriott, K., 1997, Algebraic and logical semantics for CLP languages with dynamic scheduling, The Journal of Logic Programming, vol 32, Elsevier Science Inc, New York NY USA, pp. 71-84.

Falaschi, M., Gabbrielli, M., Marriott, K., Palamidessi, C., 1997, Confluence in concurrent constraint programming, Theoretical Computer Science, vol 183, Elsevier Science BV, Amsterdam Netherlands, pp. 281-315.

Falaschi, M., Gabbrielli, M., Marriott, K., Palamidessi, C., 1997, Constraint logic programming with dynamic scheduling: A semantics based on closure operators, Information and Computation, vol 137, Academic Press, Cambridge MA USA, pp. 41-67.

Marriott, K., Meyer, B., 1997, On the classification of visual languages by grammar hierarchies, Journal of Visual Languages and Computing, vol 8, Academic Press Limited, London UK, pp. 375-402.

Garcia De La Banda, M.J., Hermenegildo, M., Marriott, K.G., 1996, Independence in dynamically scheduled logic languages, Lecture Notes in Computer Science, vol 1139, Springer, Germany, pp. 47-61.

Conference Proceedings

Goncu, C., Marriott, K.G., 2012, Comparison of haptic and non-speech audio feedback, Proceedings of the Workshop on Technology-Enhanced Diagrams Research, 2 July 2012, CEUR Workshop Proceedings, Aachen Germany, pp. 26-32.

Moulder, P., Marriott, K.G., 2012, Learning how to trade off aesthetic criteria in layout, Proceedings of the 2012 ACM Symposium on Document Engineering, 4 September 2012 to 7 September 2012, Association for Computing Machinery, New York NY USA, pp. 33-36.

Gange, G., Marriott, K.G., Stuckey, P.J., 2012, Optimal guillotine layout, Proceedings of the 2012 ACM Symposium on Document Engineering, 4 September 2012 to 7 September 2012, Association for Computing Machinery, New York NY USA, pp. 13-22.

Wybrow, M.J., Marriott, K.G., Stuckey, P.J., 2012, Orthogonal hyperedge routing, Diagrammatic Representation and Inference: 7th International Conference, Proceedings, 2 July 2012 to 6 July 2012, Springer-Verlag, Berlin Germany, pp. 51-64.

Goncu, C., Marriott, K.G., 2011, GraVVITAS: Generic multi-touch presentation of accessible graphics, Proceedings of the 13th IFIP TC 13 International Conference on Human-Computer-Interaction, Part I, 5 September 2011 to 9 September 2011, Springer-Verlag, Berlin Germany, pp. 30-48.

Gange, G., Marriott, K.G., Moulder, P., Stuckey, P.J., 2011, Optimal automatic table layout, Proceedings of the 11th ACM Symposium on Document Engineering, 19 September 2011 to 22 September 2011, ACM, New York NY USA, pp. 23-31.

Gange, G., Stuckey, P.J., Marriott, K.G., 2011, Optimal k-level planarization and crossing minimization, Proceedings of the 18th International Symposium on Graph Drawing, 21 September 2010 to 24 September 2010, Springer-Verlag, Berlin Germany, pp. 238-249.

Dwyer, T.G., Marriott, K.G., Sbarski, P., 2010, Hi-tree layout using quadratic programming, Proceedings of the 6th International Conference on the Theory and Applications of Diagrams: Diagrammatic Representation and Inference, 9 August 2010 to 11 August 2010, Springer-Verlag, Berlin Germany, pp. 212-219.

Wybrow, M.J., Marriott, K.G., Stuckey, P.J., 2010, Orthogonal connector routing, Proceedings of the 17th International Symposium on Graph Drawing, 22 September 2009 to 25 September 2009, Springer-Verlag, Berlin Germany, pp. 219-231.

Goncu, C., Marriott, K.G., Aldrich, F., 2010, Tactile diagrams: Worth ten thousand words?, Proceedings of the 6th International Conference on the Theory and Applications of Diagrams: Diagrammatic Representation and Inference, 9 August 2010 to 11 August 2010, Springer-Verlag, Berlin Germany, pp. 257-263.

Goncu, C., Marriott, K.G., Hurst, A.J., 2010, Usability of accessible bar charts, Proceedings of the 6th International Conference on the Theory and Applications of Diagrams: Diagrammatic Representation and Inference, 9 August 2010 to 11 August 2010, Springer-Verlag, Berlin Germany, pp. 167-181.

Dwyer, T.G., Marriott, K.G., Wybrow, M.J., 2009, Dunnart: A constraint-based network diagram authoring tool, Proceedings of the 16th International Symposium on Graph Drawing (GD 2008), 21 September 2008 to 24 September 2008, Springer-Verlag, Berlin Germany, pp. 420-431.

Meyer, B., Marriott, K.G., Bickerstaffe, A.C., Knipping, L., 2009, Intelligent diagramming in the electronic online classroom, Proceedings of the 2nd International Conference on Human System Interaction (HSI'09), 21 May 2009 to 23 May 2009, IEEE, Piscataway NJ USA, pp. 177-183.

Hurst, N., Li, W., Marriott, K.G., 2009, Review of automatic document formatting, Proceedings of the 2009 ACM Symposium on Document Engineering (DocEng'09), 15 September 2009 to 18 September 2009, The Association for Computing Machinery (ACM), New York NY USA, pp. 99-108.

Braganza, C.M., Marriott, K.G., Moulder, P., Wybrow, M.J., Dwyer, T.G., 2009, Scrolling behaviour with single- and multi-column layout, Proceedings of the 18th International World Wide Web Conference (WWW'09), 20 April 2009 to 24 April 2009, Association for Computing Machinery Inc, Danvers MA USA, pp. 831-840.

Dwyer, T.G., Marriott, K.G., Wybrow, M.J., 2009, Topology preserving constrained graph layout, Proceedings of the 16th International Symposium on Graph Drawing (GD 2008), 21 September 2008 to 24 September 2008, Springer-Verlag, Berlin Germany, pp. 230-241.

Rafeh, R., Marriott, K.G., Garcia De La Banda, M.J., Nethercote, N., Wallace, M., 2008, Adding search to Zinc, Proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP 2008), 14 September 2008 to 18 September 2008, Springer-Verlag, Berlin Germany, pp. 624-629.

McCormack, C., Marriott, K.G., Meyer, B., 2008, Authoring adaptive diagrams, Proceedings of the Eighth ACM Symposium on Document Engineering, 16 September 2008 to 19 September 2008, The Association for Computing Machinery, New York NY USA, pp. 154-163.

Bickerstaffe, A.C., Lane, A.A., Meyer, B., Marriott, K.G., 2008, Developing domain-specific gesture recognizers for smart diagram environments, Proceedings of the 7th International workshop on Graphics Recognition (GREC 2007), 20 September 2007 to 21 September 2007, Springer-Verlag, Berlin Germany, pp. 145-156.

Hurst, N., Marriott, K.G., 2008, Satisficing scrolls: A shortcut to satisfactory layout, Proceedings of the Eighth ACM Symposium on Document Engineering, 16 September 2008 to 19 September 2008, The Association for Computing Machinery, New York NY USA, pp. 131-140.

Gange, G., Marriott, K.G., Stuckey, P.J., 2008, Smooth linear approximation of non-overlap constraints, Proceedings of the 5th International Conference on Diagrammatic Representation and Interface (Diagrams 2008), 19 September 2008 to 21 September 2008, Springer-Verlag, Berlin Germany, pp. 45-59.

Goncu, C., Marriott, K.G., 2008, Tactile chart generation tool, Proceedings of the 10th International ACM SIGACCESS Conference on Computers and Accessibility, 13 October 2008 to 15 October 2008, The Association for Computing Machinery, New York NY USA, pp. 255-256.

Sbarski, P., van Gelder, T., Marriott, K.G., Prager, D., Bulka, A., 2008, Visualizing argument structure, Proceedings of the 4th International Symposium on Advances in Visual Computing (ISVC 2008), 1 December 2008 to 3 December 2008, Springer-Verlag, Berlin Germany, pp. 129-138.

Hurst, N., Marriott, K.G., 2007, Approximating text by its area, Proceedings of the 2007 ACM Symposium on Document Engineering, 28 August 2007 to 31 August 2007, Association for Computing Machinery, New York NY USA, pp. 147-149.

Marriott, K.G., Moulder, P., Hurst, N., 2007, Automatic float placement in multi-column documents, Proceedings of the 2007 ACM Symposium on Document Engineering, 28 August 2007 to 31 August 2007, Association for Computing Machinery, New York NY USA, pp. 125-134.

Marriott, K.G., Sbarski, P., 2007, Compact layout of layered trees, Proceedings of the Thirtieth Australasian Computer Science Conference (ACSC2007), 30 January 2007 to 2 February 2007, Australian Computer Society Inc., Sydney NSW Australia, pp. 7-14.

McCormack, C., Marriott, K.G., Meyer, B., 2007, Compiling adaptive diagrams in SVG, Proceedings of the 5th International Conference on Scalable Vector Graphics, 4 September 2007 to 7 September 2007, Japan Information Processing Development Corporation, Japan, pp. 1-21.

Dwyer, T.G., Marriott, K.G., 2007, Constrained stress majorization using diagonally scaled gradient projection, Proceedings of the 15th International Symposium on Graph Drawing (GD 2007), 24 September 2007 to 26 September 2007, Springer, Berlin Germany, pp. 219-230.

Rafeh, R., Garcia De La Banda, M.J., Marriott, K.G., Wallace, M., 2007, From Zinc to design model, Proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages (PADL 2007), 14 January 2007 to 15 January 2007, Springer-Verlag, Berlin Germany, pp. 215-229.

Dwyer, T.G., Marriott, K.G., Wybrow, M.J., 2007, Integrating edge routing into force-directed layout, Proceedings of the 14th International Symposium on Graph Drawing (GD 2006), 18 September 2006 to 20 September 2006, Springer-Verlag, Berlin Germany, pp. 8-19.

Becket, R., Garcia De La Banda, M.J., Marriott, K.G., Somogyi, Z., Stuckey, P.J., Wallace, M., 2006, Adding constraint solving to Mercury, Proceedings of the 8th International Symposium on Practical Aspects of Declarative Languages (PADL 2006), 9 January 2006 to 10 January 2006, Springer-Verlag, Germany, pp. 118-133.

Dwyer, T.G., Marriott, K.G., Stuckey, P.J., 2006, Fast node overlap removal, Proceedings of the 13th International Symposium on Graph Drawing (GD 2005), 12 September 2005 to 14 September 2005, Springer-Verlag, Berlin Germany, pp. 153-164.

Wybrow, M.J., Marriott, K.G., Stuckey, P.J., 2006, Incremental connector routing, Proceedings of the 13th International Symposium on Graph Drawing (GD 2005), 12 September 2005 to 14 September 2005, Springer-Verlag, Germany, pp. 446-457.

Hurst, N., Marriott, K.G., Moulder, P., 2006, Minimum sized text containment shapes, Proceedings of the 2006 ACM Symposium on Document Engineering (DocEng 2006), 10 October 2006 to 13 October 2006, The Association for Computing Macinery, Inc., New York USA, pp. 3-12.

Hurst, N., Marriott, K.G., Albrecht, D.W., 2006, Solving the simple continuous table layout problem, Proceedings of the 2006 ACM Symposium on Document Engineering (DocEng 2006), 10 October 2006 to 13 October 2006, The Association for Computing Machinery, Inc., New York USA, pp. 28-30.

Dwyer, T.G., Koren, Y., Marriott, K.G., 2006, Stress majorization with orthogonal ordering constraints, Proceedings of the 13th International Symposium on Graph Drawing (GD 2005), 12 September 2005 to 14 September 2005, Springer-Verlag, Germany, pp. 141-152.

Garcia De La Banda, M.J., Marriott, K.G., Rafeh, R., Wallace, M., 2006, The modelling language Zinc, Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP 2006), 25 September 2006 to 29 September 2006, Springer-Verlag, Germany, pp. 700-705.

Marriott, K.G., Moulder, P., Hope, L.R., Twardy, C., 2005, Layout of Bayesian networks, Proceedings of the Twenty Eighth Australasian Computer Science Conference, 31 January 2005 to 03 February 2005, Australian Computer Society Inc., Sydney NSW Australia, pp. 97-106.

Hurst, N., Marriott, K.G., Moulder, P., 2005, Toward tighter tables, Proceedings of the 2005 ACM Symposium on Document Engineering, 02 November 2005 to 04 November 2005, The Association for Computing Machinery, Inc., New York USA, pp. 74-83.

Rafeh, R., Marriott, K.G., Wallace, M., Garcia De La Banda, M.J., 2005, Towards the new modelling language zinc, ODSC 2005: Conference Proceedings of the Australian Open Source Developers' Conference, 05 December 2005 to 07 December 2005, Monash University, Melbourne Vic Australia, pp. 138-142.

Marriott, K.G., Meyer, B., Stuckey, P.J., 2004, Towards flexible graphical communication using adaptive diagrams, Proceedings of the 9th Asian Computing Science Conference in Advances in Computer Science (ASIAN 2004), 8 December 2004 to 10 December 2004, Springer-Verlag Berlin, Berlin Germany, pp. 380-394.

Jansen, A.R., Marriott, K.G., Meyer, B., 2003, CIDER: a component-based toolkit for creating Smart Diagram Environments, Proceedings of the International Conference on Visual Languages and Computing 2003, 24 September 2003 to 26 September 2003, Knowledge Systems Institute, Skokie IL USA, pp. 353-359.

Hurst, N., Marriott, K.G., Moulder, P., 2003, Cobweb : a COnstraint-Based WEB Browser, Computer Science 2003: Proceedings of the Twenty-Sixth Australasian Computer Science Conference, 04 February 2003 to 07 February 2003, Australian Computer Society Inc., Sydney NSW Australia, pp. 247-254.

Marriott, K.G., Stuckey, P.J., Sulzmann, M., 2003, Resource usage verification, Proceedings of the First Asian Symposium on Programming Language and Systems (APLAS 2003), 27 November 2003 to 29 November 2003, Springer-Verlag, NY USA, pp. 212-229.

Wybrow, M.J., Marriott, K.G., McIver, L.K., Stuckey, P.J., 2003, The usefulness of constraints for diagram editing, Proceedings of the 2003 Australasian Computer Human Interaction Conference, 26 November 2003 to 28 November 2003, Information Environments Program, Qld Australia, pp. 192-201.

Cameron, M.M., Garcia De La Banda, M.J., Marriott, K.G., Moulder, P., 2003, ViMer: a visual debugger for Mercury, Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, 27 August 2003 to 29 August 2003, The Association for Computing Machinery, New York USA, pp. 56-66.

Hurst, N., Marriott, K., Moulder, P., 2002, Dynamic approximation of complex graphical constraints by linear constraints, Proceedings of the 15th Annual ACM Symposium on User Interface Software and Technology, 27 October 2002 to 30 October 2002, Association for Computing Machinery, Inc., New York USA, pp. 191-200.

Marriott, K.G., Meyer, B., Tardif, L., 2002, Fast and efficient client-side adaptivity for SVG, The Eleventh International World Wide Web Conference, 07/05/2002 to 11/05/2002, Association for Computing Machinery, Honolulu Hawaii USA, pp. 496-507.

Owens, B., Ernst, A., Banda, M., Marriott, K.G., 2002, Personnel Scheduling Using Hybrid CLP and Meta-Heuristic Approaches, Proceedings Fourth International workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimisation Problems, 25/03/2002 to 27/03/2002, pp. 149-164.

Badros, G.J., Tirtowidjojo, J.J., Marriott, K., Meyer, B., Portnoy, W., Borning, A., 2001, A constraint extension to scalable vector graphics, Proceedings of The Tenth International World Wide Web Conference, 01 May 2001 to 05 May 2001, The Association for Computing Machinery, NY USA, pp. 489-498.

Jansen, A.R., Marriott, K., Yelland, G.W., 2000, Constituent Structure in Mathematical Expressions, Proceedings of the Twenty-Second Annual Conference of the Cognitive Science Society (CogSci 2000), Univ. Pennsylvania USA, 13-15 August 2000, Lawrence Erlbaum Associates, Inc., Mahwah NJ USA, pp. 238-243.

Marriott, K., 2000, Formal Approaches to Visual Language Specification and Understanding, Lecture Notes in Artificial Intelligence, Subseries of Lecture Notes in Computer Science, Theory and Application of Diagrams, First International Conference (Diagrams 2000), Scotland UK, 1-3 September 2000, Springer-Verlag, Heidelberg GERMANY, p. 3.

Badros, G.J., Borning, A., Marriott, K., Stuckey, P.J., 1999, Constraint Cascading Style Sheets for the Web, Proceedings of the 12th Annual ACM Symposium on User Interface Software and Technology, North Carolina USA, 7-10 November ,1999, Association for Computing Machinery, Inc., New York NY USA, pp. 73-82.

Chok, S., Marriott, K., Paton, T., 1999, Constraint-based Diagram Beautification, Proceedings of the 1999 IEEE Symposium on Visual Languages (VL'99), Tokyo JAPAN, 13-16 September, 1999, IEEE, Inc., New Jersey USA, pp. 12-19.

Lin, K.R., Marriott, K., Stuckey, P.J., 1999, Flexible Font-Size Specification in Web Documents, Proceedings of the 22nd Australasian Computer Science Conference, ACSC'99, Auckland NEW ZEALAND, 18-21 January, 1999, Springer-Verlag Pte. Ltd., Singapore, pp. 15-26.

Demoen, B., Garcia De La Banda, M., Harvey, W., Marriott, K., Stuckey, P.J., 1999, Herbrand Constraint Solving in HAL, Logic Programming Proceedings of the 1999 International Conference on Logic Programming, New Mexico USA, 29 November - 4 December, 1999, Massachusetts Institute of Technology Press, Massachusets USA, pp. 260-274.

Jansen, A.R., Marriott, K., Yelland, G.W., 1999, Perceiving Structure in Mathematical Expressions, Proceedings of the Twenty First Annual Conference of the Cognitive Science Society, British Columbia CANADA, 19-21 August ,1999, Lawrence Erlbaum Associates, Inc., New Jersey USA, pp. 229-233.

Jansen, A.R., Marriott, K., Yelland, G., 1999, Perceiving structure in mathematical expressions, Proceedings of the Twenty First Annual Conference of the Cognitive Society Society, Vancouver, Canada, 19-21 August 1999, Lawrence Erlbaum Associates, Mahwah New Jersey USA, pp. 229-233.

Chok, S., Marriott, K., 1998, Automatic Construction of Intelligent Diagram Editors, Proceedings of the Assoc. for Computing Machinery Symposium on User Interface Software and Technology, San Francisco USA, 1-4 November 1998, The Association for Computing Machinery Inc, New York NY USA, pp. 185-194.

Chok, S., Marriott, K., 1998, Generating User Interfaces for Pen-Based Computers, Formalizing Reasoning with Visual and Diagrammatic Representations, Orlando USA, 23-25 October 1998, AAAI Press, Menlo Park USA, pp. 67-77.

Marriott, K., 1998, Visual Language Specifications and Recognition, Formalizing Reasoning with Visual & Diagrammatic Representations, Orlando USA, 23-25 October 1998, AAAI Press, Menlo Park CA USA, p. 1.

Marriott, K., 1997, Abstract interpretation: A theory of approximate computation, Lecture Notes in Computer Science 1302 Statis Analysis, Paris France, 8-10 September 1997, Springer-Verlag, Berlin Germany, pp. 367-378.

Borning, A., Lin, R.R., Marriott, K., 1997, Constraints for the web, Proceedings ACM Multimedia 97, Seattle Washington USA, 9-13 November 1997, ACM, New York NY USA, pp. 173-182.

Puebla, G., Garcia De La Banda, M., Marriott, K., Stuckey, P.J., 1997, Optimization of logic programs with dynamic scheduling, Logic Programming, Leuven Belgium, 8-12 July 1997, The MIT Press, Cambridge MA USA, pp. 93-107.

Borning, A., Marriott, K., Stuckey, P.J., Xiao, Y., 1997, Solving linear arithmetic constraints for user interface applications, UIST'97 Proceedings of the ACM Symposium on User Interface Software and Technology, Banff Canada, 14-17 October 1997, ACM, New York NY USA, pp. 87-96.

Garcia De La Banda, M.J., Marriott, K.G., Stuckey, P.J., 1995, Efficient analysis of logic programs with dynamic scheduling, Proceedings of the 1995 International Symposium on Logic Programming, 4 December 1995 to 7 December 1995, The MIT Press, Massachusetts London UK, pp. 417-431.

Other

Dwyer, T.G., Marriott, K.G., Stuckey, P.J., 2005, Fast Node Overlap Removal in Graph Layout Adjustment, Monash University, Melbourne Vic Australia, pp. 1-19.

Dwyer, T.G., Koren, Y., Marriott, K.G., 2005, Stress Majorization with Orthogonal Ordering Constraints, Monash University, Melbourne Vic Australia, pp. 1-15.

Hurst, N., Marriott, K.G., 2005, Towards Optimal Table Layout, Monash University, Melbourne Vic Australia, pp. 1-10.

Teaching Commitment

Professor Kim Marriott is the Chief Examiner for the following unit/s in the Faculty of IT;

• FIT4010 - Advanced topics in algorithms and discrete structures

Kim teaches the following unit/s in the Faculty of IT;

• FIT4010 - Advanced topics in algorithms and discrete structures

Activities

Administrative responsibilities

Head
Clayton School of Information Technology
Monash

Faculty academic committee

Member
Faculty Research Committee (FRC)
Monash

Faculty executive committee

Member
Senior Leadership Team
Monash

Postgraduate Research Supervisions

Current Supervision

Program of Study:

(DOCTORATE BY RESEARCH).

Thesis Title:

Layout and exploration of large SBGN and other network diagrams.

Supervisors:

Marriott, K (Main).

Program of Study:

(DOCTORATE BY RESEARCH).

Thesis Title:

Visualising the past in digital earth systems.

Supervisors:

Mcniven, I (Main), Marriott, K (Associate).

Completed Supervision

Student:

Goncu, C.

Program of Study:

GraVVITAS: accessible graphics for visually impaired people. (PHD) 2011.

Supervisors:

Marriott, K (Main), Hurst, A (Associate).

Student:

Hurst, N.

Program of Study:

Better automatic layout of documents. (PHD) 2008.

Supervisors:

Marriott, K (Main).

Student:

Jansen, A.

Program of Study:

ENCODING AND PARSING OF ALGEBRAIC EXPRESSIONS BY EXPERIENCED USERS OF MATHEMATICS.. (PHD) 2002.

Supervisors:

Marriott, K (Main), Yelland, G (Associate).

Student:

Lin, K.

Program of Study:

CONTRAINTS FOR WEB DOCUMENT LAYOUT. (PHD) 2000.

Supervisors:

Marriott, K (Main).

Student:

Rafeh, R.

Program of Study:

The modelling language Zinc. (PHD) 2008.

Supervisors:

Marriott, K (Main), Garcia De La Banda, M (Associate), Wallace, M (Associate).

Student:

Sargeant, T.

Program of Study:

DECAF: CONFLUENT CONCURRENT PROGRAMMING IN JAVA. (Masters) 2002.

Supervisors:

Marriott, K (Main).

Student:

Sbarski, P.

Program of Study:

Visualising argument structure. (PHD) 2008.

Supervisors:

Marriott, K (Main).

Student:

Wybrow, M.

Program of Study:

Using semi-automatic layout to improve the usability of diagramming software. (PHD) 2007.

Supervisors:

Marriott, K (Main), Dwyer, T (Associate), Mciver, L (Associate).