Publications

The following is a list of publications authored by MArVL members.

  • Ulf Rüegg, Steve Kieffer, Tim Dwyer, Kim Marriott, Michael Wybrow.
    Stress-Minimizing Orthogonal Layout of Data Flow Diagrams with Ports.
    In arXiv preprint arXiv:1408.4626, 2014. [PDF]
  • Tim Dwyer, Christopher Mears, Kerri Morgan, Todd Niven, Kim Marriott, Mark Wallace.
    Improved optimal and approximate power graph compression for clearer visualisation of dense graphs.
    In Pacific Visualization Symposium (PacificVis), 2014 IEEE, pages 105–112, IEEE, 2014. [PDF]
  • A Kumar, F Nette, K Klein, M Fulham, J Kim.
    A Visual Analytics Approach using the Exploration of Multi-Dimensional Feature Spaces for Content-based Medical Image Retrieval.
    IEEE, 2014.
  • TJ Jankun-Kelly, Tim Dwyer, Danny Holten, Christophe Hurter, Martin Nöllenburg, Chris Weaver, Kai Xu.
    Scalability Considerations for Multivariate Graph Visualization.
    In Multivariate Network Visualization, pages 207–235, Springer International Publishing, 2014.
  • Markus Chimani, Giuseppe Di Battista, Fabrizio Frati, Karsten Klein.
    Advances on Testing C-Planarity of Embedded Flat Clustered Graphs.
    In arXiv preprint arXiv:1408.2595, 2014. [PDF]
  • Nadezhda T Doncheva, Karsten Klein, John H Morris, Michael Wybrow, Francisco S Domingues, Mario Albrecht.
    Integrative visual analysis of protein sequence mutations.
    In BMC proceedings 8(2), pages 1–11, BioMed Central, 2014.
  • Karsten Klein, Oliver Koch, Nils Kriege, Petra Mutzel, Till Schäfer.
    Scaffold hunter: visual analysis of biological activity data.
    In Journal of Cheminformatics 6(Suppl 1), pages P33, Chemistry Central Ltd, 2014. [PDF]
  • Juliane Franze, Kim Marriott, Michael Wybrow.
    What academics want when reading digitally.
    In Proceedings of the 2014 ACM symposium on Document engineering, pages 199–202, ACM, 2014.
  • Ulf Rüegg, Steve Kieffer, Tim Dwyer, Kim Marriott, Michael Wybrow.
    Stress-Minimizing Orthogonal Layout of Data Flow Diagrams with Ports.
    In arXiv preprint arXiv:1408.4626, 2014. [PDF]
  • Nadezhda T Doncheva, Karsten Klein, John H Morris, Michael Wybrow, Francisco S Domingues, Mario Albrecht.
    Integrative visual analysis of protein sequence mutations.
    In BMC proceedings 8(2), pages 1–11, BioMed Central, 2014.
  • Michael Wybrow, Niklas Elmqvist, Jean-Daniel Fekete, Tatiana von Landesberger, Jarke J van Wijk, Björn Zimmer.
    Interaction in the Visualization of Multivariate Networks.
    In Multivariate Network Visualization, pages 97–125, Springer International Publishing, 2014. [PDF]
  • Kim Marriott, Peter J Stuckey, Michael Wybrow.
    Seeing Around Corners: Fast Orthogonal Connector Routing.
    In Diagrammatic Representation and Inference, pages 31–37, Springer Berlin Heidelberg, 2014.
  • Manuela Jungmann, Richard Cox, Geraldine Fitzpatrick.
    Spatial Play Effects in a Tangible Game with an F-Formation of Multiple Players.
    2014. [PDF]
  • Richard Cox.
    Recognising, Knowing and Naming: Can Object Picture Processing Models Accommodate Non-Picture Visuals?.
    In Diagrammatic Representation and Inference, pages 161–175, Springer Berlin Heidelberg, 2014.
  • Ulf Rüegg, Steve Kieffer, Tim Dwyer, Kim Marriott, Michael Wybrow.
    Stress-Minimizing Orthogonal Layout of Data Flow Diagrams with Ports.
    In Graph Drawing, 2014. [PDF]
  • Steve Kieffer.
    Argument Mapping for Mathematics in Proofscape.
    In Diagrammatic Representation and Inference, pages 57–63, Springer, 2014. [PDF]
  • Yuan-Fang Li, Paramjit K Das, David L Dowe.
    Two decades of Web application testing—A survey of recent advances.
    In Information Systems 43, pages 20–54, Pergamon, 2014. [PDF]
  • Shonali Krishnaswamy, Yuan-Fang Li.
    The mobile semantic web.
    In Proceedings of the companion publication of the 23rd international conference on World wide web companion, pages 197–198, International World Wide Web Conferences Steering Committee, 2014.
  • Yong-Bin Kang, Jeff Z Pan, Shonali Krishnaswamy, Wudhichart Sawangphol, Yuan-Fang Li.
    How Long Will It Take? Accurate Prediction of Ontology Reasoning Performance.
    2014. [PDF]
  • Juliane Franze, Kim Marriott, Michael Wybrow.
    What academics want when reading digitally.
    In Proceedings of the 2014 ACM symposium on Document engineering, pages 199–202, ACM, 2014.
  • Ulf Rüegg, Steve Kieffer, Tim Dwyer, Kim Marriott, Michael Wybrow.
    Stress-Minimizing Orthogonal Layout of Data Flow Diagrams with Ports.
    In arXiv preprint arXiv:1408.4626, 2014. [PDF]
  • Kim Marriott.
    Seeing with sound and touch.
    In Visual Languages and Human-Centric Computing (VL/HCC), 2014 IEEE Symposium on, pages 3–3, IEEE, 2014.
  • Tim Dwyer, Christopher Mears, Kerri Morgan, Todd Niven, Kim Marriott, Mark Wallace.
    Improved optimal and approximate power graph compression for clearer visualisation of dense graphs.
    In Pacific Visualization Symposium (PacificVis), 2014 IEEE, pages 105–112, IEEE, 2014. [PDF]
  • Christopher Mears, Andreas Schutt, Peter J Stuckey, Guido Tack, Kim Marriott, Mark Wallace.
    Modelling with Option Types in MiniZinc.
    In Integration of AI and OR Techniques in Constraint Programming, pages 88–103, Springer International Publishing, 2014. [PDF]
  • Tim Dwyer, Nathalie Henry Riche, Kim Marriott, Christopher Mears.
    Edge compression techniques for visualization of dense directed graphs.
    In Visualization and Computer Graphics, IEEE Transactions on 19(12), pages 2596–2605, IEEE, 2013. [PDF]
  • Wouter Meulemans, N Henry Riche, Bettina Speckmann, Basak Alper, Tim Dwyer.
    KelpFusion: a Hybrid Set Visualization Technique.
    In IEEE Transactions on Visualization and Computer Graphics, issue 99, pages 1–1, IEEE, 2013.
  • Steve Kieffer, Tim Dwyer, Kim Marriott, Michael Wybrow.
    Incremental grid-like layout using soft and hard constraints.
    In Graph Drawing, pages 448–459, Springer International Publishing, 2013. [PDF]
  • Karsten Klein, Oliver Koch, Nils Kriege, Petra Mutzel, Till Schäfer.
    Visual Analysis of Biological Activity Data with Scaffold Hunter.
    In Molecular Informatics 32(11?12), pages 964–975, WILEY?VCH Verlag, 2013.
  • Tim Dwyer, Fabrizio Frati, Seok-Hee Hong, Karsten Klein.
    Theory and practice of graph drawing.
    In Graph Drawing, pages 571–574, Springer Berlin Heidelberg, 2013.
  • F Nette, A Kumar, K Klein, J Kim, H Handels.
    VAMIR-Visual Analytics for Medical Image Retrieval: Preliminary Study on PET-CT Data.
    In Student Conference Medical Engineering Science 2013: Proceedings, pages 127, GRIN Verlag, 2013.
  • Tim Dwyer, Fabrizio Frati, Seok-Hee Hong, Karsten Klein.
    Theory and practice of graph drawing.
    In Graph Drawing, pages 571–574, Springer Berlin Heidelberg, 2013.
  • Karsten Klein, Nils Kriege, Petra Mutzel.
    Scaffold Hunter: Facilitating Drug Discovery by Visual Analysis of Chemical Space.
    In Computer Vision, Imaging and Computer Graphics. Theory and Application, pages 176–192, Springer Berlin Heidelberg, 2013.
  • Markus Chimani, Karsten Klein.
    Shrinking the search space for clustered planarity.
    In Graph Drawing, pages 90–101, Springer Berlin Heidelberg, 2013. [PDF]
  • Finja Büchel, Nicolas Rodriguez, Neil Swainston, Clemens Wrzodek, Tobias Czauderna, Roland Keller, Florian Mittag, Michael Schubert, Mihai Glont, Martin Golebiewski, Martijn van Iersel, Sarah Keating, Matthias Rall, Michael Wybrow, Henning Hermjakob, Mich.
    Path2Models: large-scale generation of computational models from biochemical pathway maps.
    In BMC systems biology 7(1), pages 116, BioMed Central Ltd, 2013. [PDF]
  • Michael Wybrow.
    Reimagining digital publishing for technical documents.
    In Proceedings of the 2013 ACM symposium on Document engineering, pages 285–286, ACM, 2013.
  • Tobias Czauderna, Michael Wybrow, Kim Marriott, Falk Schreiber.
    Conversion of KEGG metabolic pathways to SBGN maps including automatic layout.
    In BMC Bioinformatics 14(1), pages 250, BioMed Central, 2013.
  • Steve Kieffer, Tim Dwyer, Kim Marriott, Michael Wybrow.
    Incremental grid-like layout using soft and hard constraints.
    In Graph Drawing, pages 448–459, Springer International Publishing, 2013. [PDF]
  • Zong Lei Jiao, Qiang Liu, Yuan-Fang Li, Kim Marriott, Michael Wybrow.
    Visualization of Large Ontologies with Landmarks.
    In Proceedings of the 4th International Conference on Information Visualization Theory and Applications (IVAPP 2013), pages 461–470, SciTePress, 2013. [PDF]
  • Scott Bissett, Sharon Wood, Richard Cox, Donia Scott, Jackie Cassell.
    Calculating alcohol risk in a visualization tool for promoting healthy behavior.
    In Patient education and counseling 92(2), pages 167–173, Elsevier, 2013. [PDF]
  • Steve Kieffer, Tim Dwyer, Kim Marriott, Michael Wybrow.
    Incremental Grid-like Layout Using Soft and Hard Constraints.
    In Graph Drawing, pages 448–459, Springer, 2013. [PDF]
  • Yuan-Fang Li, Gavin Kennedy, Faith Ngoran, Philip Wu, Jane Hunter.
    An ontology-centric architecture for extensible scientific data management systems.
    In Future Generation Computer Systems 29(2), pages 641–653, North-Holland, 2013. [PDF]
  • Zong Lei Jiao, Qiang Liu, Yuan-Fang Li, Kim Marriott, Michael Wybrow.
    Visualization of Large Ontologies with Landmarks..
    In GRAPP/IVAPP, pages 461–470, 2013. [PDF]
  • Tim Dwyer, Nathalie Henry Riche, Kim Marriott, Christopher Mears.
    Edge compression techniques for visualization of dense directed graphs.
    In Visualization and Computer Graphics, IEEE Transactions on 19(12), pages 2596–2605, IEEE, 2013. [PDF]
  • Tobias Czauderna, Michael Wybrow, Kim Marriott, Falk Schreiber.
    Conversion of KEGG metabolic pathways to SBGN maps including automatic layout.
    In BMC bioinformatics 14(1), pages 1–17, BioMed Central, 2013.
  • Kim Marriott, Peter Moulder, Nathan Hurst.
    Html automatic table layout.
    In ACM Transactions on the Web (TWEB) 7(1), pages 4, ACM, 2013.
  • Steve Kieffer, Tim Dwyer, Kim Marriott, Michael Wybrow.
    Incremental grid-like layout using soft and hard constraints.
    In Graph Drawing, pages 448–459, Springer International Publishing, 2013. [PDF]
  • Zong Lei Jiao, Qiang Liu, Yuan-Fang Li, Kim Marriott, Michael Wybrow.
    Visualization of Large Ontologies with Landmarks..
    In GRAPP/IVAPP, pages 461–470, 2013. [PDF]
  • Nathalie Henry Riche, Tim Dwyer, Bongshin Lee, Sheelagh Carpendale.
    Exploring the design space of interactive link curvature in network diagrams.
    In Proceedings of the International Working Conference on Advanced Visual Interfaces, pages 506–513, ACM, 2012. [PDF]
  • Tim Dwyer.
    Developing a Visual Code-dependency Analysis Tool for the Visual Studio IDE: Research Meets Practice in Showing Containment in an Interactive Diagramming Tool.
    In 3 rd International Workshop on Euler Diagrams, pages 1, 2012.
  • Christian Bachmaier, Franz Josef Brandenburg, Philip Effinger, Carsten Gutwenger, Jyrki Katajainen, Karsten Klein, Miro Spönemann, Matthias Stegmaier, Michael Wybrow.
    The open graph archive: a community-driven effort.
    In Graph Drawing, pages 435–440, Springer Berlin Heidelberg, 2012. [PDF]
  • Kim Marriott, Helen Purchase, Michael Wybrow, Cagatay Goncu.
    Memorability of visual features in network diagrams.
    In Visualization and Computer Graphics, IEEE Transactions on 18(12), pages 2477–2485, IEEE, 2012. [PDF]
  • Michael Wybrow, Kim Marriott, Peter J Stuckey.
    Orthogonal hyperedge routing.
    In Diagrammatic Representation and Inference, pages 51–64, Springer Berlin Heidelberg, 2012. [PDF]
  • Christian Bachmaier, Franz Josef Brandenburg, Philip Effinger, Carsten Gutwenger, Jyrki Katajainen, Karsten Klein, Miro Spönemann, Matthias Stegmaier, Michael Wybrow.
    The open graph archive: a community-driven effort.
    In Graph Drawing, pages 435–440, Springer Berlin Heidelberg, 2012. [PDF]
  • Cengiz Acarturk, Christopher Habel, Cagatay Goncu, Kim Marriott, Andrew Stull, Trevor Barrett, Mary Hegarty, Grecia Garcia Garcia, Richard Cox.
    The 7th International Conference on the Theory and Applicat ion of Diag.
    In Workshop Monday, 2012.
  • Grecia Garcia Garcia, Richard Cox.
    An infra-red finger tracking system used in the assessment and remediation of “graph-as-picture” misconceptions.
    In CEUR Workshop Proceedings 887, pages 42–51, CEUR Workshop Proceedings, 2012. [PDF]
  • Richard Noss, Richard Cox, Diana Laurillard, Rose Luckin, Lydia Plowman, Eileen Scanlon, Mike Sharples.
    System upgrade: realising the vision for UK education.
    London Knowledge Lab, 2012. [PDF]
  • Dave Barker-Plummer, Robert Dale, Richard Cox.
    Using edit distance to analyse errors in a natural language to logic translation corpus.
    pages 134–141, 2012. [PDF]
  • Richard Cox.
    Technology enhanced diagrams research workshop.
    In Diagrammatic Representation and Inference, pages 5–5, Springer Berlin Heidelberg, 2012.
  • Kim Marriott, Helen Purchase, Michael Wybrow, Cagatay Goncu.
    Memorability of visual features in network diagrams.
    In Visualization and Computer Graphics, IEEE Transactions on 18(12), pages 2477–2485, IEEE, 2012. [PDF]
  • Cengiz Acarturk, Christopher Habel, Cagatay Goncu, Kim Marriott, Andrew Stull, Trevor Barrett, Mary Hegarty, Grecia Garcia Garcia, Richard Cox.
    The 7th International Conference on the Theory and Applicat ion of Diag.
    In Workshop Monday, 2012.
  • Cagatay Goncu.
    GraVVITAS: accessible graphics for visually impaired people.
    2012.
  • Cagatay Goncu, Kim Marriott.
    Accessible graphics: graphics for vision impaired people.
    In Diagrammatic Representation and Inference, pages 6–6, Springer Berlin Heidelberg, 2012.
  • Yong-Bin Kang, Yuan-Fang Li, Shonali Krishnaswamy.
    Predicting reasoning performance using ontology metrics.
    In The Semantic Web–ISWC 2012, pages 198–214, Springer Berlin Heidelberg, 2012. [PDF]
  • Yong-Bin Kang, Yuan-Fang Li, Shonali Krishnaswamy.
    A Rigorous Characterization of Classification Performance-A Tale of Four Reasoners..
    In ORE, 2012. [PDF]
  • Kim Marriott, Helen Purchase, Michael Wybrow, Cagatay Goncu.
    Memorability of visual features in network diagrams.
    In Visualization and Computer Graphics, IEEE Transactions on 18(12), pages 2477–2485, IEEE, 2012. [PDF]
  • Peter Moulder, Kim Marriott.
    Learning how to trade off aesthetic criteria in layout.
    In Proceedings of the 2012 ACM symposium on Document engineering, pages 33–36, ACM, 2012. [PDF]
  • Graeme Gange, Kim Marriott, Peter Stuckey.
    Optimal guillotine layout.
    In Proceedings of the 2012 ACM symposium on Document engineering, pages 13–22, ACM, 2012. [PDF]
  • Michael Wybrow, Kim Marriott, Peter J Stuckey.
    Orthogonal hyperedge routing.
    In Diagrammatic Representation and Inference, pages 51–64, Springer Berlin Heidelberg, 2012. [PDF]
  • Anthony KL Wong, Michael Morgan, Matthew Butler.
    Designing a Technology Enhanced Collaborative Space for Learning Entity-Relationship Modeling.
    In Advanced Learning Technologies (ICALT), 2012 IEEE 12th International Conference on, pages 213–217, IEEE, 2012.
  • Matthew Butler, Michael Morgan, Judy Sheard.
    Scaffolding and Reflection to Address ‘High Concept-Low Feedback’Issues in Introductory Programming.
    In World Conference on Educational Multimedia, Hypermedia and Telecommunications 2012(1), pages 2688–2696, 2012. [PDF]
  • Daniela McGivern, Michael Morgan, Matthew Butler.
    Learning Theory for Collaborative Large Shared Digital Spaces.
    In World Conference on Educational Multimedia, Hypermedia and Telecommunications 2012(1), pages 1097–1106, 2012. [PDF]
  • Nadezhda T Doncheva, Karsten Klein, Francisco S Domingues, Mario Albrecht.
    Analyzing and visualizing residue networks of protein structures.
    In Trends in biochemical sciences 36(4), pages 179–182, Elsevier Current Trends, 2011.
  • Karsten Klein, Nils Kriege, Petra Mutzel.
    CT-index: Fingerprint-based graph indexing combining cycles and trees.
    In Data Engineering (ICDE), 2011 IEEE 27th International Conference on, pages 1115–1126, IEEE, 2011.
  • Karsten Klein.
    Interactive graph drawing with constraints.
    2011.
  • Gereon Bartel, Carsten Gutwenger, Karsten Klein, Petra Mutzel.
    An experimental evaluation of multilevel layout methods.
    In Graph Drawing, pages 80–91, Springer Berlin Heidelberg, 2011.
  • Markus Chimani, Carsten Gutwenger, Michael Jünger, Gunnar W Klau, Karsten Klein, Petra Mutzel.
    The open graph drawing framework (OGDF).
    In Handbook of Graph Drawing and Visualization, pages 543–569, 2011. [PDF]
  • Alex Stivala, Michael Wybrow, Anthony Wirth, James C Whisstock, Peter J Stuckey.
    Automatic generation of protein structure cartoons with Pro-origami.
    In Bioinformatics 27(23), pages 3315–3316, Oxford University Press, 2011.
  • Richard J Cox.
    PATSy and VL-PATSy: Online Case-Based Training for Healthcare Professionals.
    In 2011 AAAI Spring Symposium Series, 2011.
  • Dave Barker-Plummer, Robert Dale, Richard Cox.
    Impedance effects of visual and spatial content upon language-to-logic translation accuracy.
    In Proceedings of the 32nd Annual Cognitive Science Society Conference, C. Hoelscher, TF Shipley, and L. Carlson, Eds. Lawrence Erlbaum Associates, 2011. [PDF]
  • Dave Barker-Plummer, Richard Cox, Robert Dale.
    Student translations of natural language into logic: the grade grinder translation corpus release 1.0| Macquarie University ResearchOnline.
    2011, 2011.
  • Dave Barker-Plummer, Robert Dale, Richard Cox.
    Impedance effects of visual and spatial content upon language-to-logic translation accuracy| Macquarie University ResearchOnline.
    Curran Associates, 2011.
  • Dave Barker-Plummer, Richard Cox, Robert Dale.
    Student translations of natural language into logic: The Grade Grinder corpus release 1.0.
    In Proceedings of the 4th international conference on educational data mining, pages 51–60, 2011. [PDF]
  • Cagatay Goncu, Kim Marriott.
    GraVVITAS: generic multi-touch presentation of accessible graphics.
    In Human-computer interaction–INTERACT 2011, pages 30–48, Springer Berlin Heidelberg, 2011.
  • Yuan-Fang Li, Hongyu Zhang.
    Integrating software engineering data using semantic web technologies.
    In Proceedings of the 8th Working Conference on Mining Software Repositories, pages 211–214, ACM, 2011. [PDF]
  • Andreas Zankl, Tudor Groza, Yuan-Fang Li, Hasti Ziaimatin, Razan Paul, Jane Hunter.
    The SKELETOME Project: Towards a community-driven knowledge curation platform for Skeletal Dysplasias.
    In 10th Biennal Meeting of the International Skeletal Dysplasia Society, 2011.
  • Tudor Groza, Andreas Zankl, Yuan-Fang Li, Jane Hunter.
    Using semantic web technologies to build a community-driven knowledge curation platform for the skeletal dysplasia domain.
    In The Semantic Web–ISWC 2011, pages 81–96, Springer Berlin Heidelberg, 2011. [PDF]
  • Graeme Gange, Kim Marriott, Peter Moulder, Peter Stuckey.
    Optimal automatic table layout.
    In Proceedings of the 11th ACM symposium on Document engineering, pages 23–32, ACM, 2011. [PDF]
  • Kim Marriott, Peter Sbarski, Tim van Gelder, Daniel Prager, Andy Bulka.
    Hi-trees and their layout.
    In Visualization and Computer Graphics, IEEE Transactions on 17(3), pages 290–304, IEEE, 2011.
  • Cagatay Goncu, Kim Marriott.
    GraVVITAS: generic multi-touch presentation of accessible graphics.
    In Human-computer interaction–INTERACT 2011, pages 30–48, Springer Berlin Heidelberg, 2011.
  • Graeme Gange, Peter J Stuckey, Kim Marriott.
    Optimal k-level planarization and crossing minimization.
    In Graph Drawing, pages 238–249, Springer Berlin Heidelberg, 2011. [PDF]
  • Daniela McGivern, Matthew Butler, Michael Morgan.
    Using Multi-Touch Display Technology to Support Remedial Phonics Instruction Techniques in Collaborative Learning Environments.
    In Global Learn 2011(1), pages 56–64, 2011. [PDF]
  • Nathalie Henry Riche, Tim Dwyer.
    Untangling euler diagrams.
    In Visualization and Computer Graphics, IEEE Transactions on 16(6), pages 1090–1099, IEEE, 2010. [PDF]
  • Lev Nachmanson, Tim Dwyer.
    Fast Edge-Routing for Large Graphs.
    pages 147–158, Springer Berlin/Heidelberg, 2010.
  • Tim Dwyer, George Robertson.
    Layout with circular and other non-linear constraints using procrustes projection.
    In Graph Drawing, pages 393–404, Springer Berlin Heidelberg, 2010.
  • Tim Dwyer, Kim Marriott, Peter Sbarski.
    Hi-tree layout using quadratic programming.
    In Diagrammatic Representation and Inference, pages 212–219, Springer Berlin Heidelberg, 2010.
  • Tim Dwyer, Lev Nachmanson.
    Fast edge-routing for large graphs.
    In Graph Drawing, pages 147–158, Springer Berlin Heidelberg, 2010. [PDF]
  • Karsten Klein, Nils Kriege, Petra Mutzel, Herbert Waldmann, Stefan Wetzel.
    Scaffold hunter–interactive exploration of chemical space.
    In Graph Drawing, pages 426–427, Springer Berlin Heidelberg, 2010.
  • Mario Albrecht, Andreas Kerren, Karsten Klein, Oliver Kohlbacher, Petra Mutzel, Wolfgang Paul, Falk Schreiber, Michael Wybrow.
    of Proceedings: Graph Drawing: 17th International Symposium, GD 2009.
    Springer, 2010.
  • Markus Chimani, Karsten Klein.
    Algorithm engineering: Concepts and practice.
    In Experimental methods for the analysis of optimization algorithms, pages 131–158, Springer Berlin Heidelberg, 2010. [PDF]
  • Mario Albrecht, Andreas Kerren, Karsten Klein, Oliver Kohlbacher, Petra Mutzel, Wolfgang Paul, Falk Schreiber, Michael Wybrow.
    On open problems in biological network visualization.
    In Graph Drawing, pages 256–267, Springer Berlin Heidelberg, 2010. [PDF]
  • Michael Wybrow, Kim Marriott, Peter J Stuckey.
    Orthogonal connector routing.
    In Graph Drawing, pages 219–231, Springer Berlin Heidelberg, 2010. [PDF]
  • Mario Albrecht, Andreas Kerren, Karsten Klein, Oliver Kohlbacher, Petra Mutzel, Wolfgang Paul, Falk Schreiber, Michael Wybrow.
    On open problems in biological network visualization.
    In Graph Drawing, pages 256–267, Springer Berlin Heidelberg, 2010. [PDF]
  • Grecia Garcia Garcia, Richard Cox.
    “Graph-as-Picture” Misconceptions in Young Students.
    In Diagrammatic Representation and Inference, pages 310–312, Springer Berlin/Heidelberg, 2010.
  • K Hoben, R Varley, R Cox.
    The clinical reasoning of speech and language therapy students.
    2010.
  • Aaron Kalb, David Barker-Plummer, Richard Cox, Robert Dale, Deonne Castaneda, Christopher Potts.
    The Impact of syntax on the interpretation and graphical depiction of underspecified propositions| Macquarie University ResearchOnline.
    Austin, Texas: Cognitive Science Society, 2010.
  • Grecia Garcia Garcia, Richard Cox.
    An interactive educational diagrammatic system for assessing and remediating the graph-as-picture misconception.
    In Intelligent Tutoring Systems, pages 224–226, Springer Berlin Heidelberg, 2010. [PDF]
  • Grecia Garcia Garcia, Richard Cox.
    “Graph-as-Picture” Misconceptions in Young Students.
    In Diagrammatic Representation and Inference, pages 310–312, Springer Berlin Heidelberg, 2010.
  • Cagatay Goncu, Kim Marriott, Frances Aldrich.
    Tactile diagrams: worth ten thousand words?.
    In Diagrammatic Representation and Inference, pages 257–263, Springer Berlin Heidelberg, 2010.
  • Cagatay Goncu, Kim Marriott, John Hurst.
    Usability of accessible bar charts.
    In Diagrammatic Representation and Inference, pages 167–181, Springer Berlin Heidelberg, 2010.
  • Yuan-Fang Li, Gavin Kennedy, Faith Davies, Jane Hunter.
    Podd-towards an extensible, domain-agnostic scientific data management system.
    In e-Science (e-Science), 2010 IEEE Sixth International Conference on, pages 137–144, IEEE, 2010. [PDF]
  • Yuan-Fang Li, Andrew Newman, Jane Hunter.
    Scale-out RDF molecule store for efficient, scalable data integration and querying.
    In Cloud Computing and Software Services, pages 329, 2010. [PDF]
  • Yuzhang Feng, Yang Liu, Yuan-Fang Li, Daqing Zhang.
    Discovering Anomalies in Semantic Web Rules.
    In Secure Software Integration and Reliability Improvement (SSIRI), 2010 Fourth International Conference on, pages 33–42, IEEE, 2010.
  • Hongyu Zhang, Yuan-Fang Li, Hee Beng Kuan Tan.
    Measuring design complexity of semantic web ontologies.
    In Journal of Systems and Software 83(5), pages 803–814, Elsevier, 2010. [PDF]
  • XW Zhu, Jia-Qi Sun, YF Li.
    The correlation between the volume of the sphenoid and the bulge of the internal carotid artery in the sphenoid: CT study.
    In Chin J of Clin Anat 28, pages 551–553, 2010.
  • Yuan-Fang Li, Gavin Kennedy, Faith Davies, Jane Hunter.
    Towards a semantic & domain-agnostic scientific data management system.
    In The 9th International Semantic Web Conference (ISWC2010), pages 13–24, Semantic Web Science Association, 2010. [PDF]
  • Yuan-Fang Li, Gavin Kennedy, Faith Davies, Jane Hunter.
    PODD: an ontology-driven data repository for collaborative phenomics research.
    In The Role of Digital Libraries in a Time of Global Change, pages 179–188, Springer Berlin Heidelberg, 2010. [PDF]
  • Kim Marriott, P Stuckey, Leslie De Koninck, Horst Samulowitz.
    An introduction to minizinc.
    In University of Melbourne G 12, pages 2012, 2010. [PDF]
  • Nicholas Nethercote, Kim Marriott, Reza Rafeh, Mark Wallace, Mar?a Garc?a de la Banda.
    Specification of zinc and minizinc.
    November, 2010. [PDF]
  • Tim Dwyer, Kim Marriott, Peter Sbarski.
    Hi-tree layout using quadratic programming.
    In Diagrammatic Representation and Inference, pages 212–219, Springer Berlin Heidelberg, 2010.
  • Cagatay Goncu, Kim Marriott, Frances Aldrich.
    Tactile diagrams: worth ten thousand words?.
    In Diagrammatic Representation and Inference, pages 257–263, Springer Berlin Heidelberg, 2010.
  • Cagatay Goncu, Kim Marriott, John Hurst.
    Usability of accessible bar charts.
    In Diagrammatic Representation and Inference, pages 167–181, Springer Berlin Heidelberg, 2010.
  • Michael Wybrow, Kim Marriott, Peter J Stuckey.
    Orthogonal connector routing.
    In Graph Drawing, pages 219–231, Springer Berlin Heidelberg, 2010. [PDF]
  • Matthew Butler, Daniela McGivern, Anthony Artmann, Michael Morgan.
    Multi-touch display technology and collaborative learning tasks.
    In World Conference on Educational Multimedia, Hypermedia and Telecommunications 2010(1), pages 1441–1448, 2010. [PDF]
  • Matthew W Butler.
    A Framework for the Effective Learning of High Concept-Low Feedback Programming Curriculum.
    2010.
  • Falk Schreiber, Tim Dwyer, Kim Marriott, Michael Wybrow.
    A generic algorithm for layout of biological networks.
    In BMC bioinformatics 10(1), pages 375, BioMed Central Ltd, 2009.
  • Tim Dwyer, Bongshin Lee, Danyel Fisher, Kori Inkpen Quinn, Petra Isenberg, George Robertson, Chris North.
    A comparison of user-generated and automatic graph layouts.
    In Visualization and Computer Graphics, IEEE Transactions on 15(6), pages 961–968, IEEE, 2009. [PDF]
  • Tim Dwyer.
    Scalable, versatile and simple constrained graph layout.
    In Computer Graphics Forum 28(3), pages 991–998, Blackwell Publishing Ltd, 2009.
  • Cameron Braganza, Kim Marriott, Peter Moulder, Michael Wybrow, Tim Dwyer.
    Scrolling behaviour with single-and multi-column layout.
    In Proceedings of the 18th international conference on World wide web, pages 831–840, ACM, 2009. [PDF]
  • Tim Dwyer, Yehuda Koren, Kim Marriott.
    Constrained graph layout by stress majorization and gradient projection.
    In Discrete Mathematics 309(7), pages 1895–1908, North-Holland, 2009.
  • T Dwyer, B Lee, D Fisher, K Inkpen, P Isenberg, G Robertson, C North.
    Understanding multi-touch manipulation for surface computing.
    In IEEE TVCG (InfoVis 2009) 25(19), pages 961–968, 2009.
  • Tim Dwyer, Kim Marriott, Michael Wybrow.
    Dunnart: A constraint-based network diagram authoring tool.
    In Graph Drawing, pages 420–431, Springer Berlin Heidelberg, 2009. [PDF]
  • Stefan Wetzel, Karsten Klein, Steffen Renner, Daniel Rauh, Tudor I Oprea, Petra Mutzel, Herbert Waldmann.
    Corrigendum: Interactive exploration of chemical space with Scaffold Hunter.
    In Nature Chemical Biology 5(9), pages 696–696, Nature Publishing Group, 2009.
  • Tim Dwyer, Kim Marriott, Michael Wybrow.
    Topology preserving constrained graph layout.
    In Graph Drawing, pages 230–241, Springer Berlin Heidelberg, 2009. [PDF]
  • Stefan Wetzel, Karsten Klein, Steffen Renner, Daniel Rauh, Tudor I Oprea, Petra Mutzel, Herbert Waldmann.
    Interactive exploration of chemical space with Scaffold Hunter.
    In Nature chemical biology 5(8), pages 581–583, Nature Publishing Group, 2009.
  • Chris North, Tim Dwyer, Bongshin Lee, Danyel Fisher, Petra Isenberg, George Robertson, Kori Inkpen.
    Understanding multi-touch manipulation for surface computing.
    In Human-Computer Interaction–INTERACT 2009, pages 236–249, Springer Berlin Heidelberg, 2009. [PDF]
  • Markus Chimani, Carsten Gutwenger, Mathias Jansen, Karsten Klein, Petra Mutzel.
    Computing maximum c-planar subgraphs.
    In Graph Drawing, pages 114–120, Springer Berlin Heidelberg, 2009. [PDF]
  • Falk Schreiber, Tim Dwyer, Kim Marriott, Michael Wybrow.
    A generic algorithm for layout of biological networks.
    In BMC bioinformatics 10(1), pages 375, BioMed Central Ltd, 2009.
  • Cameron Braganza, Kim Marriott, Peter Moulder, Michael Wybrow, Tim Dwyer.
    Scrolling behaviour with single-and multi-column layout.
    In Proceedings of the 18th international conference on World wide web, pages 831–840, ACM, 2009. [PDF]
  • Tim Dwyer, Kim Marriott, Michael Wybrow.
    Dunnart: A constraint-based network diagram authoring tool.
    In Graph Drawing, pages 420–431, Springer Berlin Heidelberg, 2009. [PDF]
  • Tim Dwyer, Kim Marriott, Michael Wybrow.
    Topology preserving constrained graph layout.
    In Graph Drawing, pages 230–241, Springer Berlin Heidelberg, 2009. [PDF]
  • Benjamin Zayas Pérez, Richard Cox.
    Enseñando Precauciones de Seguridad en un AVE: el efecto de la ubicación de la Información e Interactividad.
    In Computación y Sistemas 13(1), pages 96–110, Centro de Investigación en Computación, IPN, 2009. [PDF]
  • Dave Barker-Plummer, Richard Cox, Robert Dale.
    Dimensions of Difficulty in Translating Natural Language into First Order Logic..
    In International Working Group on Educational Data Mining, International Working Group on Educational Data Mining. Available from: International Educational Data Mining Society, 2009. [PDF]
  • Grecia Garcia Garcia, Richard Cox.
    Children who Interpret Graphs as Pictures.
    In Children 7, pages 8, 2009.
  • Benjamin Zayas Pérez, Richard Cox.
    Teaching safety precautions in a laboratory DVE: the effects of information location and interactivity.
    In Computación y Sistemas 13(1), pages 96–110, Instituto Politécnico Nacional, 2009. [PDF]
  • Cagatay Goncu.
    Generation of accessible diagrams by semantics preserving adaptation.
    In ACM SIGACCESS Accessibility and Computing, issue 93, pages 49–74, ACM, 2009. [PDF]
  • Steve Kieffer.
    Progress Report and Design of MathSketch.
    2009. [PDF]
  • Steven Kieffer, Jeremy Avigad, Harvey Friedman.
    A Language for Mathematical Knowledge Management.
    In Studies in Logic, Grammar and Rhetoric, issue 18 (31), Bialystok University Press, ul. M. Sklodowskiej-Curie 14, 15-087 Bialystok, Poland, 2009. [PDF]
  • Yuan Fang Li, Jing Sun, Gillian Dobbie, Scott Lee, Hai H Wang.
    Verifying semistructured data normalization using SWRL.
    In Theoretical Aspects of Software Engineering, 2009. TASE 2009. Third IEEE International Symposium on, pages 193–200, IEEE, 2009. [PDF]
  • Falk Schreiber, Tim Dwyer, Kim Marriott, Michael Wybrow.
    A generic algorithm for layout of biological networks.
    In BMC bioinformatics 10(1), pages 375, BioMed Central Ltd, 2009.
  • Nathan Hurst, Wilmot Li, Kim Marriott.
    Review of automatic document formatting.
    In Proceedings of the 9th ACM symposium on Document engineering, pages 99–108, ACM, 2009. [PDF]
  • Bernd Meyer, Kim Marriott, Adrian Bickerstaffe, Lars Knipping.
    Intelligent diagramming in the electronic online classroom.
    In Human System Interactions, 2009. HSI'09. 2nd Conference on, pages 177–183, IEEE, 2009. [PDF]
  • Cameron Braganza, Kim Marriott, Peter Moulder, Michael Wybrow, Tim Dwyer.
    Scrolling behaviour with single-and multi-column layout.
    In Proceedings of the 18th international conference on World wide web, pages 831–840, ACM, 2009. [PDF]
  • Tim Dwyer, Yehuda Koren, Kim Marriott.
    Constrained graph layout by stress majorization and gradient projection.
    In Discrete Mathematics 309(7), pages 1895–1908, North-Holland, 2009.
  • M GARCIA DE LA BANDA, K MARRIOTT, M WALLACE, P STUCKEY, R BECKET, SEBASTIAN BRAND, MIKE BROWN, T FEYDY, JULIE-ANNE FISCHER.
    The Evolving World of MiniZinc.
    The Association for Constraint Programming, 2009.
  • Bernd Meyer, Kim Marriott, Adrian Bickerstaffe, Lars Knipping.
    Intelligent Diagramming on Digital Whiteboards.
    pages 177–183, IEEE Computer, 2009. [PDF]
  • Tim Dwyer, Kim Marriott, Michael Wybrow.
    Dunnart: A constraint-based network diagram authoring tool.
    In Graph Drawing, pages 420–431, Springer Berlin Heidelberg, 2009. [PDF]
  • Tim Dwyer, Kim Marriott, Michael Wybrow.
    Topology preserving constrained graph layout.
    In Graph Drawing, pages 230–241, Springer Berlin Heidelberg, 2009. [PDF]
  • Matthew Butler, Lucie Joschko.
    Final Fantasy or The Incredibles: Ultra-realistic animation, aesthetic engagement and the uncanny valley.
    In Animation Studies: A Peer-Reviewed Online Journal for Animation Theory and History 3, pages 16–21, 2009.
  • Michael Morgan, Matthew Butler.
    Considering multi-touch display technology for collaboration in the classroom.
    In World Conference on Educational Multimedia, Hypermedia and Telecommunications 2009(1), pages 674–683, 2009. [PDF]
  • Tim Dwyer, Kim Marriott, Michael Wybrow.
    Interactive, Constraint-based Layout of Engineering Diagrams.
    In Electronic Communications of the EASST 13, 2008. [PDF]
  • Dorothea Emig, Melissa S Cline, Karsten Klein, Anne Kunert, Petra Mutzel, Thomas Lengauer, Mario Albrecht.
    Integrative visual analysis of the effects of alternative splicing on protein domain interaction networks.
    In Journal of integrative bioinformatics 5(2), pages 101, 2008. [PDF]
  • Tim Dwyer, Kim Marriott, Falk Schreiber, Peter Stuckey, Michael Woodward, Michael Wybrow.
    Exploration of networks using overview+ detail with constraint-based cooperative layout.
    In Visualization and Computer Graphics, IEEE Transactions on 14(6), pages 1293–1300, IEEE, 2008. [PDF]
  • Dorothea Emig, Karsten Klein, Anne Kunert, Petra Mutzel, Mario Albrecht.
    Visualizing domain interaction networks and the impact of alternative splicing events.
    In BioMedical Visualization, 2008. MEDIVIS'08. Fifth International Conference, pages 36–43, IEEE, 2008.
  • Stephen Borgatti, Stephen Kobourov, Oliver Kohlbacher, Petra Mutzel, Patrick Healy, Tim Dwyer, Ulrik Brandes, Michael Kaufmann, Anna Lubiw, Dorothea Wagner, Vladimir Batagelj, Franz J Brandenburg, Walter Didimo, Guiseppe Liotta, Maurizio Patrignani, Mario.
    Graph drawing with applications to bioinformatics and social sciences.
    In Schloss Dagstuhl seminar 8191, 2008. [PDF]
  • Mario Albrecht, Andreas Kerren, Karsten Klein, Oliver Kohlbacher, Petra Mutzel, Wolfgang Paul, Falk Schreiber, Michael Wybrow.
    A Graph Drawing Perspective to Some Open Problems in Molecular Biology.
    Univ., Algorithm Engineering, 2008. [PDF]
  • Tim Dwyer, Nathan Hurst, Damian Merrick.
    A fast and simple heuristic for metro map path simplification.
    In Advances in Visual Computing, pages 22–30, Springer Berlin Heidelberg, 2008. [PDF]
  • Stephen Borgatti, Stephen Kobourov, Oliver Kohlbacher, Petra Mutzel, Patrick Healy, Tim Dwyer, Ulrik Brandes, Michael Kaufmann, Anna Lubiw, Dorothea Wagner, Vladimir Batagelj, Franz J Brandenburg, Walter Didimo, Guiseppe Liotta, Maurizio Patrignani, Mario.
    Graph drawing with applications to bioinformatics and social sciences.
    In Schloss Dagstuhl seminar 8191, 2008. [PDF]
  • Tim Dwyer, Kim Marriott.
    Constrained stress majorization using diagonally scaled gradient projection.
    In Graph Drawing, pages 219–230, Springer Berlin Heidelberg, 2008. [PDF]
  • Albrecht Mario, Andreas Kerren, Karsten Klein, Oliver Kohlbacher, Petra Mutzel, Wolfgang Paul, Falk Schreiber, Michael Wybrow.
    A Graph-drawing Perspective to Some Open Problems in Molecular Biology.
    Technical University Dortmund,, 2008.
  • Carsten Gutwenger, Karsten Klein, Petra Mutzel.
    Planarity Testing and Optimal Edge Insertion with Embedding Constraints..
    In J. Graph Algorithms Appl. 12(1), pages 73–95, 2008.
  • Tim Dwyer, Kim Marriott, Falk Schreiber, Peter Stuckey, Michael Woodward, Michael Wybrow.
    Exploration of networks using overview+ detail with constraint-based cooperative layout.
    In Visualization and Computer Graphics, IEEE Transactions on 14(6), pages 1293–1300, IEEE, 2008. [PDF]
  • Michael Wybrow, Kim Marriott, Linda Mciver, Peter J Stuckey.
    Comparing usability of one-way and multi-way constraints for diagram editing.
    In ACM Transactions on Computer-Human Interaction (TOCHI) 14(4), pages 19, ACM, 2008. [PDF]
  • Richard Cox, J Kilgour, C Lum.
    PATSy: Patient database for research and training.
    2008.
  • David Barker-Plummer, Richard Cox, Robert Dale, John Etchemendy.
    An Empirical study of errors in translating natural language into logic| Macquarie University ResearchOnline.
    Austin: Cognitive Science Society, 2008.
  • Dave Barker-Plummer, Robert Dale, Richard Cox, John Etchemendy.
    Automated assessment in the Internet classroom.
    In Proc. AAAI Fall Symp. Education Informatics, Arlington, VA, 2008. [PDF]
  • Grecia Garcia Garcia, Richard Cox.
    Diagrams in the UK national school curriculum.
    In Diagrammatic Representation and Inference, pages 360–363, Springer Berlin Heidelberg, 2008. [PDF]
  • Beate Grawemeyer, Richard Cox.
    The effects of users’ background diagram knowledge and task characteristics upon information display selection.
    In Diagrammatic Representation and Inference, pages 321–334, Springer Berlin Heidelberg, 2008. [PDF]
  • Richard Cox, Robert Dale, John Etchemendy, Dave Barker-Plummer.
    Graphical revelations: Comparing students’ translation errors in graphics and logic.
    In Diagrammatic Representation and Inference, pages 257–265, Springer Berlin Heidelberg, 2008. [PDF]
  • Dave Barker-Plummer, Richard Cox, Robert Dale, John Etchemendy.
    An empirical study of errors in translating natural language into logic.
    In Proceedings of the 30th Annual Meeting of the Cognitive Science Society/CogSci, pages 505–510, 2008. [PDF]
  • Cagatay Goncu, Kim Marriott.
    Tactile chart generation tool.
    In Proceedings of the 10th international ACM SIGACCESS conference on Computers and accessibility, pages 255–256, ACM, 2008.
  • Steven Kieffer, Jeremy Avigad, Harvey Friedman.
    A language for mathematical language management.
    2008.
  • Andre Newman, Yuan-Fang Li, Jane Hunter.
    Scalable Semantics–the Silver Lining of Cloud Computing.
    In eScience, 2008. eScience'08. IEEE Fourth International Conference on, pages 111–118, IEEE, 2008. [PDF]
  • Andrew Newman, Yuan-Fang Li, Jane Hunter.
    A scale-out RDF molecule store for improved co-identification, querying and inferencing.
    In Intern. Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS), 2008. [PDF]
  • SU-J Lee, Jing Sun, Gillian Dobbie, Lindsay Groves, Yuan Fang Li.
    Correctness criteria for normalization of semistructured data.
    In Software Engineering, 2008. ASWEC 2008. 19th Australian Conference on, pages 248–257, IEEE, 2008. [PDF]
  • Hai H Wang, Nick Gibbins, Terry Payne, Ahmed Saleh, Yuan Li.
    Transitioning applications to semantic web services: An automated formal approach.
    In International Journal of Interoperability in Business Information Systems (IBIS), 2008. [PDF]
  • Andrew Newman, Jane Hunter, Yuan-Fang Li, Chris Bouton, Melissa Davis.
    Biomanta ontology: The integration of protein-protein interaction data.
    In Interdisciplinary Ontology Conference (InterOntology08 Tokyo), 2008. [PDF]
  • Simon Ferndriger, Abraham Bernstein, Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jane Hunter.
    Enhancing Semantic web services with inheritance.
    In The Semantic Web-ISWC 2008, pages 162–177, Springer Berlin Heidelberg, 2008. [PDF]
  • Andrew Newman, Jane Hunter, Yuan-Fang Li, Chris Bouton, Melissa Davis.
    A scale-out RDF molecule store for distributed processing of biomedical data.
    In Semantic Web for Health Care and Life Sciences Workshop, 2008. [PDF]
  • Tim Dwyer, Kim Marriott, Michael Wybrow.
    Interactive, Constraint-based Layout of Engineering Diagrams.
    In Electronic Communications of the EASST 13, 2008. [PDF]
  • Tim Dwyer, Kim Marriott, Falk Schreiber, Peter Stuckey, Michael Woodward, Michael Wybrow.
    Exploration of networks using overview+ detail with constraint-based cooperative layout.
    In Visualization and Computer Graphics, IEEE Transactions on 14(6), pages 1293–1300, IEEE, 2008. [PDF]
  • Cagatay Goncu, Kim Marriott.
    Tactile chart generation tool.
    In Proceedings of the 10th international ACM SIGACCESS conference on Computers and accessibility, pages 255–256, ACM, 2008.
  • Nathan Hurst, Kim Marriott.
    Satisficing scrolls: a shortcut to satisfactory layout.
    In Proceedings of the eighth ACM symposium on Document engineering, pages 131–140, ACM, 2008. [PDF]
  • Cameron McCormack, Kim Marriott, Bernd Meyer.
    Authoring adaptive diagrams.
    In Proceedings of the eighth ACM symposium on Document engineering, pages 154–163, ACM, 2008. [PDF]
  • Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J Stuckey, Maria Garcia De La Banda, Mark Wallace.
    The design of the Zinc modelling language.
    In Constraints 13(3), pages 229–267, Springer US, 2008. [PDF]
  • Adrian Bickerstaffe, Aidan Lane, Bernd Meyer, Kim Marriott.
    Developing Domain-Specific Gesture Recognizers for Smart Diagram Environments.
    In Graphics Recognition. Recent Advances and New Opportunities, pages 145–156, Springer Berlin Heidelberg, 2008. [PDF]
  • Peter Sbarski, Tim van Gelder, Kim Marriott, Daniel Prager, Andy Bulka.
    Visualizing argument structure.
    In Advances in Visual Computing, pages 129–138, Springer Berlin Heidelberg, 2008.
  • Reza Rafeh, Kim Marriott, Maria Garcia de la Banda, Nicholas Nethercote, Mark Wallace.
    Adding search to Zinc.
    In Principles and Practice of Constraint Programming, pages 624–629, Springer Berlin Heidelberg, 2008. [PDF]
  • Graeme Gange, Kim Marriott, Peter J Stuckey.
    Smooth linear approximation of non-overlap constraints.
    In Diagrammatic Representation and Inference, pages 45–59, Springer Berlin Heidelberg, 2008. [PDF]
  • Michael Wybrow, Kim Marriott, Linda Mciver, Peter J Stuckey.
    Comparing usability of one-way and multi-way constraints for diagram editing.
    In ACM Transactions on Computer-Human Interaction (TOCHI) 14(4), pages 19, ACM, 2008. [PDF]
  • Tim Dwyer, Kim Marriott.
    Constrained stress majorization using diagonally scaled gradient projection.
    In Graph Drawing, pages 219–230, Springer Berlin Heidelberg, 2008. [PDF]
  • Ralph Becket, Sebastian Brand, Mark Brown, Gregory J Duck, Thibaut Feydy, Julien Fischer, Jinbo Huang, Kim Marriott, Nicholas Nethercote, Jakob Puchinger, Reza Rafeh, Peter J Stuckey, Mark G Wallace.
    The many roads leading to Rome: Solving Zinc models by various solvers.
    In Proc. ModRef: 7th International Workshop on Constraint Modelling and Reformulation, 2008. [PDF]
  • Matthew Butler, Peter Neave.
    Object appreciation through haptic interaction.
    In Hello! Where are you in the landscape of educational technology? Proceedings ascilite Melbourne 2008, pages 133–141, 2008. [PDF]
  • Janet Le Yoong Saw, Matthew Butler.
    Exploring graphical user interfaces and interaction strategies in simulations.
    Monash University, 2008. [PDF]
  • Tim Dwyer, Kim Marriott, Peter J Stuckey.
    Corrections-Fast Node Overlap Removal--Correction.
    In Lecture Notes in Computer Science 4372, pages 446, 2007.
  • Tim Dwyer, Kim Marriott, Peter J Stuckey.
    Fast node overlap removal—correction.
    In Graph Drawing, pages 446–447, Springer Berlin Heidelberg, 2007.
  • Markus Chimani, Carsten Gutwenger, Michael Jünger, Karsten Klein, Petra Mutzel, Michael Schulz.
    The open graph drawing framework.
    In 15th International Symposium on Graph Drawing, pages 23–26, 2007.
  • Tim Dwyer, Kim Marriott, Michael Wybrow.
    Integrating edge routing into force-directed layout.
    In Graph Drawing, pages 8–19, Springer Berlin Heidelberg, 2007. [PDF]
  • P Mutzel, M Chimani, C Gutwenger, K Klein.
    OGDF an Open Graph Drawing Framework.
    2007.
  • M Chimani, C Gutwenger, K Klein, P Mutzel.
    OGDF an Open Graph Drawing Framework.
    2007. [PDF]
  • Carsten Gutwenger, Karsten Klein, Petra Mutzel.
    Planarity testing and optimal edge insertion with embedding constraints.
    In Graph Drawing, pages 126–137, Springer Berlin Heidelberg, 2007. [PDF]
  • Tim Dwyer, Kim Marriott, Michael Wybrow.
    Integrating edge routing into force-directed layout.
    In Graph Drawing, pages 8–19, Springer Berlin Heidelberg, 2007. [PDF]
  • Pablo Romero, Benedict Du Boulay, Richard Cox, Rudi Lutz, Sallyann Bryant.
    Debugging strategies and tactics in a multi-representation software environment.
    In International Journal of Human-Computer Studies 65(12), pages 992–1009, Academic Press, 2007. [PDF]
  • Richard Cox.
    Technology?enhanced research: educational ICT systems as research instruments.
    In Technology, Pedagogy and Education 16(3), pages 337–356, Routledge, 2007. [PDF]
  • Richard Cox, Jianxiong Pang.
    Vicarious learning and (virtual) case-based teaching in health science education.
    In Computer-Based Medical Systems, 2007. CBMS'07. Twentieth IEEE International Symposium on, pages 657–662, IEEE, 2007.
  • Richard Cox, Jianxiong Pang.
    VL-PATSy: Facilitating vicarious learning via intelligent resource provision..
    In FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS 158, pages 85, IOS Press, 2007. [PDF]
  • Pablo Romero, Richard Cox, Benedict Du Boulay, Rudi Lutz, Sallyann Bryant.
    A methodology for the capture and analysis of hybrid data: A case study of program debugging.
    In Behavior research methods 39(2), pages 309–317, Springer-Verlag, 2007. [PDF]
  • Kirsty Hoben, Rosemary Varley, Richard Cox.
    Erratum: Clinical reasoning skills of speech and language therapy students (International Journal of Language and Communication Disorders (2007) 42, S1,(123-135)).
    In International Journal of Language and Communication Disorders 42(3), pages 385–385, 2007.
  • Pablo Romero, Richard Cox, Benedict du Boulay, Rudi Lutz, Sallyann Bryant.
    A methodology for the capture and analysis of hybrid data.
    In Behavior Research Methods 29(2), pages 309–317, 2007. [PDF]
  • Kirsty Hoben, Rosemary Varley, Richard Cox.
    Clinical reasoning skills of speech and language therapy students.
    In International journal of language & communication disorders 42(S1), pages 123–135, Informa UK Ltd, 2007.
  • Yuzhang Feng, Yuan Fang Li, CK-Y Tan, Bimlesh Wadhwa, Hai Wang.
    Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs.
    In Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on, pages 165–174, IEEE, 2007. [PDF]
  • Hai H Wang, Yuan Fang Li, Jing Sun, Hongyu Zhang, Jeff Pan.
    Verifying feature models using OWL.
    In Web Semantics: Science, Services and Agents on the World Wide Web 5(2), pages 117–129, Elsevier, 2007. [PDF]
  • Gillian Dobbie, Jing Sun, Yuan Fang Li, Scott UK-Jin Lee.
    towards verifying semistructured data.
    In Proceedings of the fourth Asia-Pacific conference on Comceptual modelling-Volume 67, pages 11–14, Australian Computer Society, Inc., 2007. [PDF]
  • Hai H Wang, Jin-Song Dong, Jing Sun, Terry R Payne, Nicholas Gibbins, Yuan-Fang Li, Jeff Pan.
    An Integrated Formal Approach to Semantic Work Environments Design.
    pages 262–280, IDEA GROUP, 2007.
  • Gillian Dobbie, Jing Sun, Yuan Fang Li, Scott Uk-Jin Lee.
    Extended abstract: towards verifying semistructured data.
    In ACM International Conference Proceeding Series 247, pages 11–14, 2007.
  • Peter J Stuckey, Ralph Becket, Sebastian Brand, Mark Brown, Thibaut Feydy, Julien Fischer, Maria Garcia de la Banda, Kim Marriott, Mark Wallace.
    The Evolving World of MiniZinc.
    In Constraint Modelling and Reformulation (ModRef 09), pages 156–170, 2007. [PDF]
  • Nathan Hurst, Kim Marriott.
    Approximating text by its area.
    In Proceedings of the 2007 ACM symposium on Document engineering, pages 147–150, ACM, 2007.
  • Kim Marriott, Peter Moulder, Nathan Hurst.
    Automatic float placement in multi-column documents.
    In Proceedings of the 2007 ACM symposium on Document engineering, pages 125–134, ACM, 2007. [PDF]
  • Matthew Butler.
    Conflicting Value of Digital Music Piracy..
    In Encyclopedia of Information Ethics and Security, pages 96–101, 2007.
  • Anthony R Jansen, Kim Marriott, Greg W Yelland.
    Parsing of algebraic expressions by experienced users of mathematics.
    In European Journal of Cognitive Psychology 19(2), pages 286–320, Taylor & Francis Group, 2007.
  • Michael Morgan, Matthew Butler, Mark Power.
    Evaluating ICT in education: A comparison of the affordances of the iPod, DS and Wii.
    In ICT: Providing choices for learners: Proceedings ascilite Singapore 2007, 2007. [PDF]
  • Kim Marriott, Peter Sbarski.
    Compact layout of layered trees.
    In Proceedings of the thirtieth Australasian conference on Computer science-Volume 62, pages 7–14, Australian Computer Society, Inc., 2007. [PDF]
  • Matthew Butler, Michael Morgan.
    Learning challenges faced by novice programming students studying high level and low feedback concepts.
    In Proceedings of the 24th ascilite Conference, pages 2–5, 2007. [PDF]
  • Tim Dwyer, Kim Marriott, Peter J Stuckey.
    Corrections-Fast Node Overlap Removal--Correction.
    In Lecture Notes in Computer Science 4372, pages 446, 2007.
  • Marc Christie, Hiroshi Hosobe, Kim Marriott.
    Trends and issues in using constraint programming for graphical applications.
    In Trends in Constraint Programming, pages 371–381, ISTE, 2007.
  • Tim Dwyer, Kim Marriott, Peter J Stuckey.
    Fast node overlap removal—correction.
    In Graph Drawing, pages 446–447, Springer Berlin Heidelberg, 2007.
  • Tim Dwyer, Kim Marriott, Michael Wybrow.
    Integrating edge routing into force-directed layout.
    In Graph Drawing, pages 8–19, Springer Berlin Heidelberg, 2007. [PDF]
  • Reza Rafeh, Maria Garcia de la Banda, Kim Marriott, Mark Wallace.
    From Zinc to design model.
    In Practical Aspects of Declarative Languages, pages 215–229, Springer Berlin Heidelberg, 2007. [PDF]
  • Tim Dwyer, Yehuda Koren, Kim Marriott.
    IPSep-CoLa: An incremental procedure for separation constraint layout of graphs.
    In Visualization and Computer Graphics, IEEE Transactions on 12(5), pages 821–828, IEEE, 2006. [PDF]
  • Tim Dwyer, Yehuda Koren, Kim Marriott.
    Drawing directed graphs using quadratic programming.
    In Visualization and Computer Graphics, IEEE Transactions on 12(4), pages 536–548, IEEE, 2006.
  • Maria Garcia de la Banda, Kim Marriott, Reza Rafeh, Mark Wallace.
    Poster Papers-The Modelling Language Zinc.
    In Lecture Notes in Computer Science 4204, pages 700–705, Berlin: Springer-Verlag, 1973-, 2006.
  • Tim Dwyer, Kim Marriott, Peter J Stuckey.
    Fast Node Overlap Removal—Addendum.
    Technical Report, Monash University, http://www. csse. monash. edu. au/? tdwyer/FNORAddendum. pdf, 2006. [PDF]
  • Ralph Becket, Maria Garcia de la Banda, Kim Marriott, Zoltan Somogyi, Peter J Stuckey, Mark Wallace.
    Adding constraint solving to Mercury.
    In Practical Aspects of Declarative Languages, pages 118–133, Springer Berlin Heidelberg, 2006. [PDF]
  • Tim Dwyer, Yehuda Koren, Kim Marriott.
    Stress majorization with orthogonal ordering constraints.
    In Graph Drawing, pages 141–152, Springer Berlin Heidelberg, 2006. [PDF]
  • Michael Wybrow, Kim Marriott, Peter J Stuckey.
    Incremental connector routing.
    In Graph Drawing, pages 446–457, Springer Berlin Heidelberg, 2006. [PDF]
  • Maria Garcia de la Banda, Kim Marriott, Reza Rafeh, Mark Wallace.
    The modelling language Zinc.
    In Principles and Practice of Constraint Programming-CP 2006, pages 700–705, Springer Berlin Heidelberg, 2006. [PDF]
  • Tim Dwyer, Kim Marriott, Peter J Stuckey.
    Fast node overlap removal.
    In Graph Drawing, pages 153–164, Springer Berlin Heidelberg, 2006. [PDF]
  • Tim Dwyer, Yehuda Koren, Kim Marriott.
    IPSep-CoLa: An incremental procedure for separation constraint layout of graphs.
    In Visualization and Computer Graphics, IEEE Transactions on 12(5), pages 821–828, IEEE, 2006. [PDF]
  • Tim Dwyer, Yehuda Koren, Kim Marriott.
    Drawing directed graphs using quadratic programming.
    In Visualization and Computer Graphics, IEEE Transactions on 12(4), pages 536–548, IEEE, 2006.
  • Tim Dwyer, Kim Marriott, Peter J Stuckey.
    Fast Node Overlap Removal—Addendum.
    Technical Report, Monash University, http://www. csse. monash. edu. au/? tdwyer/FNORAddendum. pdf, 2006. [PDF]
  • Elias Dahlhaus, Karsten Klein, Petra Mutzel.
    Planarity testing for c-connected clustered graphs.
    Univ., System Analysis Research Group, 2006. [PDF]
  • Tim Dwyer, Yehuda Koren, Kim Marriott.
    Stress majorization with orthogonal ordering constraints.
    In Graph Drawing, pages 141–152, Springer Berlin Heidelberg, 2006. [PDF]
  • Tim Dwyer, Seok-Hee Hong, Dirk Koschützki, Falk Schreiber, Kai Xu.
    Visual analysis of network centralities.
    In Proceedings of the 2006 Asia-Pacific Symposium on Information Visualisation-Volume 60, pages 189–197, Australian Computer Society, Inc., 2006. [PDF]
  • Adel Ahmed, Tim Dwyer, Michael Forster, Xiaoyan Fu, Joshua Ho, Seok-Hee Hong, Dirk Koschützki, Colin Murray, Nikola S Nikolov, Ronnie Taib, Alexandre Tarassov, Kai Xu.
    Geomi: Geometry for maximum insight.
    In Graph Drawing, pages 468–479, Springer Berlin Heidelberg, 2006. [PDF]
  • Tim Dwyer, Kim Marriott, Peter J Stuckey.
    Fast node overlap removal.
    In Graph Drawing, pages 153–164, Springer Berlin Heidelberg, 2006. [PDF]
  • Michael Wybrow, Kim Marriott, Peter J Stuckey.
    Incremental connector routing.
    In Graph Drawing, pages 446–457, Springer Berlin Heidelberg, 2006. [PDF]
  • Richard Cox, Kirsty Hoben, B Howorth, John Lee, Julie Morris, Jianxiong Pang, Susen Rabold, Rosemary Varley.
    Clinical reasoning skill acquisition: identifying learning issues and developing vicarious learning resources.
    2006.
  • Keith Stenning, Richard Cox.
    Reconnecting interpretation to reasoning through individual differences.
    In The quarterly journal of experimental psychology 59(8), pages 1454–1483, Psychology Press, 2006. [PDF]
  • Sharon Wood, Richard Cox, Peter Cheng.
    Attention design: Eight issues to consider.
    In Computers in Human Behavior 22(4), pages 588–602, Pergamon, 2006. [PDF]
  • Dave Barker-Plummer, Richard Cox, Nik Swoboda.
    Proceedings of Diagrammatic Representation and Inference (Diagrams 2006): 4th International Conference.
    Springer, 2006.
  • Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Yuan Fang Li.
    AZ approach in validating ORA-SS data models.
    In Electronic Notes in Theoretical Computer Science 157(1), pages 95–109, Elsevier, 2006.
  • Yuan Fang Li.
    A Formal Modeling Approach to Ontology Engineering.
    2006.
  • Gillian Dobbie, Jing Sun, Yuan Fang Li, UK Scott.
    Research into verifying semistructured data.
    In Distributed Computing and Internet Technology, pages 361–374, Springer Berlin Heidelberg, 2006. [PDF]
  • Yuan Fang Li, Jing Sun, Gillian Dobbie, Hai H Wang, Jun Sun.
    Reasoning about ORA-SS data models using the semantic web.
    In Journal on Data Semantics VII, pages 219–241, Springer Berlin Heidelberg, 2006. [PDF]
  • Yuan Fang Li, Jing Sun, Gillian Dobbie, Jun Sun, Hai H Wang.
    Validating semistructured data using OWL.
    In Advances in Web-Age Information Management, pages 520–531, Springer Berlin Heidelberg, 2006. [PDF]
  • Dorel Lucanu, Yuan Fang Li, Jin Song Dong.
    Semantic web languages–towards an institutional perspective.
    In Algebra, Meaning, and Computation, pages 99–123, Springer Berlin Heidelberg, 2006. [PDF]
  • Matthew Butler, Tim Zapart, Raymond Li.
    Video annotation–Improving assessment of transient educational events.
    In Proceedings of the Informing Science and IT Education Joint Conference, pages 19–26, 2006. [PDF]
  • Nathan Hurst, Kim Marriott, David Albrecht.
    Solving the simple continuous table layout problem.
    In Proceedings of the 2006 ACM symposium on Document engineering, pages 28–30, ACM, 2006. [PDF]
  • Nathan Hurst, Kim Marriott, Peter Moulder.
    Minimum sized text containment shapes.
    In Proceedings of the 2006 ACM symposium on Document engineering, pages 3–12, ACM, 2006.
  • Kim Marriott, Reza Rafeh, Mark Wallace, Maria Garcia de la Banda, Nicholas Nethercote.
    Zinc 0.1: Language and libraries.
    Technical report, Monash University, 2006.
  • Nathan Hurst, Kim Marriott, Peter Moulder.
    Toward tighter tables.
    In Proceedings of the 2005 ACM symposium on Document engineering, pages 74–83, ACM, 2005. [PDF]
  • Maric García De La Banda, Warwick Harvey, Kim Marriott, Peter J Stuckey, Bart Demoen.
    Checking modes of HAL programs.
    In Theory and Practice of Logic Programming 5(06), pages 623–667, Cambridge University Press, 2005. [PDF]
  • M WALLACE, T WALSH, P STUCKEY, M DE LA BANDA, MARIJA MAHER, K MARRIOTT, J SLANEY, ZOLTAN SOMOGYI.
    The G12 Project: Mapping Solver Independent Models to Efficient Solutions.
    Springer, 2005.
  • Nathan Hurst, Kim Marriott.
    Towards optimal table layout.
    Monash University, 2005. [PDF]
  • Kim Marriott, Bernd Meyer, Peter J Stuckey.
    Towards flexible graphical communication using adaptive diagrams.
    In Advances in Computer Science-ASIAN 2004. Higher-Level Decision Making, pages 380–394, Springer Berlin Heidelberg, 2005. [PDF]
  • Kim Marriott, Peter Moulder, Lucas Hope, Charles Twardy.
    Layout of Bayesian networks.
    In Proceedings of the Twenty-eighth Australasian conference on Computer Science-Volume 38, pages 97–106, Australian Computer Society, Inc., 2005. [PDF]
  • Peter J Stuckey, Maria Garcia de la Banda, Michael Maher, Kim Marriott, John Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh.
    The G12 project: Mapping solver independent models to efficient solutions.
    In Logic Programming, pages 9–13, Springer Berlin Heidelberg, 2005. [PDF]
  • Tim Dwyer, Yehuda Koren.
    Dig-CoLa: directed graph layout through constrained energy minimization.
    In Information Visualization, 2005. INFOVIS 2005. IEEE Symposium on, pages 65–72, IEEE, 2005. [PDF]
  • Adel Ahmed, Tim Dwyer, Seok-Hee Hong, Colin Murray, Le Song, Ying Xin Wu.
    Visualisation and analysis of large and complex scale-free networks.
    In Proceedings of the Seventh Joint Eurographics/IEEE VGTC conference on Visualization, pages 239–246, Eurographics Association, 2005.
  • Tim Dwyer, Kim Marriott, Peter J Stuckey.
    Fast Node Overlap Removal in Graph Layout Adjustment.
    Monash University, 2005. [PDF]
  • Tim Dwyer.
    Extending the WilmaScope 3D graph visualisation system: software demonstration.
    In proceedings of the 2005 Asia-Pacific symposium on Information visualisation-Volume 45, pages 39–45, Australian Computer Society, Inc., 2005. [PDF]
  • Tim Dwyer.
    Two-and-a-half-dimensional Visualisation of Relational Networks.
    School of Information Technologies, Faculty of Science, University of Sydney, 2005.
  • B Howarth, K Hoben, J Morris, R Varley, J Lee, R Cox.
    Investigating speech therapists' clinical reasoning: analysing think-aloud protocols and integrating multiple-source data.
    2005.
  • Beate Grawemeyer, Richard Cox.
    Developing a Bayes-net based student model for an External Representation Selection Tutor..
    In AIED, pages 810–812, 2005. [PDF]
  • Benjamín Zayas Pérez, Richard Cox.
    Effects of Information Location in Learning Factual Information in a 3D Environment..
    In Computer Graphics and Imaging, pages 112–117, 2005. [PDF]
  • Beate Grawemeyer, Richard Cox.
    Graphical data displays and database queries: Helping users select the right display for the task.
    In Smart Graphics, pages 53–64, Springer Berlin Heidelberg, 2005. [PDF]
  • Richard Cox.
    Vicarious learning, case-based teaching and educational ICT.
    Centre for Research in Lifelong Learning, Glasgow Caledonian University, 2005.
  • Pablo Romero, Benedict Du Boulay, Richard Cox, Rudi Lutz, Sallyann Bryant.
    Graphical visualisations and debugging: A detailed process analysis.
    In Proceedings of the 17th Annual Workshop of the Psychology of Programming Interest Group, pages 62–76, 2005. [PDF]
  • Beate Grawemeyer, Richard Cox.
    A Bayesian approach to modelling users’ information display preferences.
    In User Modeling 2005, pages 225–230, Springer Berlin Heidelberg, 2005. [PDF]
  • Jin Song Dong, Yuzhang Feng, Yuan Fang Li, Jun Sun.
    A tools environment for developing and reasoning about ontologies.
    In Software Engineering Conference, 2005. APSEC'05. 12th Asia-Pacific, pages 8 pp., IEEE, 2005. [PDF]
  • Hai Wang, Yuan Fang Li, Jing Sun, Hongyu Zhang, Jeff Pan.
    A semantic web approach to feature modeling and verification.
    In Workshop on Semantic Web Enabled Software Engineering (SWESE’05), 2005. [PDF]
  • Dorel Lucanu, Yuan-Fang Li, Jin Song Dong.
    Institution Morphisms for Relating OWL and Z..
    In SEKE, pages 286–291, 2005. [PDF]
  • Jing Sun, Hongyu Zhang, Yuan Fang, Hai Wang.
    Formal semantics and verification for feature modeling.
    In Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on, pages 303–312, IEEE, 2005. [PDF]
  • Dorel Lucanu, Yuan Fang Li, Jin Song Dong.
    Soundness proof of Z semantics of OWL using institutions.
    In Special interest tracks and posters of the 14th international conference on World Wide Web, pages 1048–1049, ACM, 2005. [PDF]
  • Hai Wang, Yuan Fang Li, Jing Sun, Hongyu Zhang.
    Verify Feature Models using protegeowl.
    In Special interest tracks and posters of the 14th international conference on World Wide Web, pages 1038–1039, ACM, 2005. [PDF]
  • Ya-gang LIU, Shi-gui LIU, Nei-sheng LIU, Xiao-gang LIU, An-chun CHEN, Sha HUA, Peng HAN, Qiang CHEN, Yuan LI.
    Rosette formation test with erythrocyte on milk cows [J].
    In Journal of Southwest University for Nationalities (Natural Science Edition) 3, pages 018, 2005.
  • Hai H Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li.
    TCOZ approach to OWL-S process model design.
    In 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'05), pages 354–359, Knowledge Systems Institute, 2005.
  • Jun Sun, Yuan Fang Li, Hai Wang, Jing Sun.
    Visualizing and simulating semantic web services ontologies.
    In Formal Methods and Software Engineering, pages 435–449, Springer Berlin Heidelberg, 2005. [PDF]
  • Jin Song Dong, Yuzhang Feng, Yuan Fang Li.
    Verifying OWL and ORL ontologies in PVS.
    In Theoretical Aspects of Computing-ICTAC 2004, pages 265–279, Springer Berlin Heidelberg, 2005. [PDF]
  • Dorel Lucanu, Yuan Fang Li, Jin Song Dong.
    Web Ontology Verification and Analysis in the Z Framework.
    Technical Report TR 05-01, University “Alexandru Ioan Cuza” of Iasi, Romania, 2005.
  • D Dossa, C Matarazzo, S Marshall, C Smith, R Lambert, M Butler, C Cribbs, R Plante, D Sweeney, J Kantor.
    LSST Data Management Infrastructure.
    In Bulletin of the American Astronomical Society 37, pages 1207, 2005.
  • Matthew Butler.
    Teaching Programming: the shift from conventional to student-centred approach.
    In Proceedings of the 2005 Information Resources Management Association International Conference: Managing Modern Organizations with Information Technology, pages 515–517, Idea Group Publishing, 2005.
  • Cameron L McCormack, Kim Marriott, Bernd Meyer.
    Constraint SVG.
    In Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters, pages 310–311, ACM, 2004. [PDF]
  • Bart Demoen, María García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J Stuckey.
    Herbrand constraints in HAL.
    In Program Development in Computational Logic, pages 499–538, Springer Berlin Heidelberg, 2004.
  • Kim Marriott, Peter J Stuckey.
    NP-completeness of minimal width unordered tree layout..
    In J. Graph Algorithms Appl. 8(2), pages 295–312, 2004. [PDF]
  • Alan Blackwell Kim Marriott, Atsushi Shimojima.
    Diagrammatic Representation and Inference.
    2004.
  • Germán Puebla, Jesús Correas, Manuel V Hermenegildo, Francisco Bueno, María García de la Banda, Kim Marriott, Peter J Stuckey.
    A generic framework for context-sensitive analysis of modular programs.
    In Program Development in Computational Logic, pages 233–260, Springer Berlin Heidelberg, 2004. [PDF]
  • Anthony R Jansen, Kim Marriott, Bernd Meyer.
    Cider: A component-based toolkit for creating smart diagram environments.
    In Diagrammatic Representation and Inference, pages 415–419, Springer Berlin Heidelberg, 2004. [PDF]
  • Markus Eiglsperger, Carsten Gutwenger, Michael Kaufmann, Joachim Kupke, Michael Jünger, Sebastian Leipert, Karsten Klein, Petra Mutzel, Martin Siebenhaller.
    Automatic layout of UML class diagrams in orthogonal style.
    In Information Visualization 3(3), pages 189–208, SAGE Publications, 2004.
  • Carsten Gutwenger, Michael Jünger, Karsten Klein, Joachim Kupke, Sebastian Leipert, Petra Mutzel.
    A Diagramming Software for UML Class Diagrams.
    In Graph Drawing Software, pages 257–278, Springer Berlin Heidelberg, 2004.
  • Carsten Gutwenger, Joachim Kupke, Karsten Klein, Sebastian Leipert.
    GoVisual for CASE Tools Borland Together ControlCenter and Gentleware Poseidon–System Demonstration.
    In Graph Drawing, pages 123–128, Springer Berlin Heidelberg, 2004.
  • Carsten Gutwenger, Michael Jünger, Karsten Klein, Joachim Kupke, Sebastian Leipert, Petra Mutzel.
    Go Visual: a diagramming software for UML class diagrams.
    na, 2004.
  • Tim Dwyer, David R Gallagher.
    Visualising changes in fund manager holdings in two and a half-dimensions.
    In Information Visualization 3(4), pages 227–244, SAGE Publications, 2004. [PDF]
  • Adel Ahmed, Tim Dwyer, Colin Murray, Le Song, Ying Xin Wu.
    Wilmascope graph visualisation.
    In Information Visualization, 2004. INFOVIS 2004. IEEE Symposium on, pages r4–r4, IEEE, 2004. [PDF]
  • Ulrik Brandes, Tim Dwyer, Falk Schreiber.
    Visual triangulation of network-based phylogenetic trees.
    In Proceedings of the Sixth Joint Eurographics-IEEE TCVG conference on Visualization, pages 75–84, Eurographics Association, 2004. [PDF]
  • Damian Merrick, Tim Dwyer.
    Skeletal animation for the exploration of graphs.
    In Proceedings of the 2004 Australasian symposium on Information Visualisation-Volume 35, pages 61–70, Australian Computer Society, Inc., 2004. [PDF]
  • Tim Dwyer, Peter Eckersley.
    WilmaScope—a 3D graph visualization system.
    In Graph Drawing Software, pages 55–75, Springer Berlin Heidelberg, 2004.
  • Tim Dwyer, Hardy Rolletschek, Falk Schreiber.
    Representing experimental biological data in metabolic networks.
    In Proceedings of the second conference on Asia-Pacific bioinformatics-Volume 29, pages 13–20, Australian Computer Society, Inc., 2004. [PDF]
  • Tim Dwyer, Falk Schreiber.
    Optimal leaf ordering for two and a half dimensional phylogenetic tree visualisation.
    In Proceedings of the 2004 Australasian symposium on Information Visualisation-Volume 35, pages 109–115, Australian Computer Society, Inc., 2004. [PDF]
  • Ulrik Brandes, Tim Dwyer, Falk Schreiber.
    Visual understanding of metabolic pathways across organisms using layout in two and a half dimensions.
    In Journal of Integrative Bioinformatics 1(1), pages 119–132, 2004. [PDF]
  • Ulrik Brandes, Tim Dwyer, Falk Schreiber.
    Visualizing related metabolic pathways in two and a half dimensions.
    In Graph Drawing, pages 111–122, Springer Berlin Heidelberg, 2004. [PDF]
  • Barbara Howarth, Kirsty Hoben, Julie Morris, Rosemary Varley, John Lee, Richard Cox.
    Investigating students' clinical reasoning: The development of methodologies for analysing think-aloud protocols and integrating multiple-source data.
    2004.
  • Sharon Wood, Richard Cox, Peter Cheng.
    Attention design: seven issues to consider.
    In Workshop, Designing for attention, 18th human computer interaction group annual conference, 2004. [PDF]
  • Pablo Romero, Benedict du Boulay, Richard Cox, Rudi Lutz, Sallyann Bryant.
    Dynamic rich-data capture and analysis of debugging processes.
    In Proceedings of the 16th annual workshop of the Psychology of Programming Interest Group, pages 140–150, 2004. [PDF]
  • Beate Grawemeyer, Richard Cox.
    The effect of knowledge-of-external-representations upon performance and representational choice in a database query task.
    In Diagrammatic Representation and Inference, pages 351–354, Springer Berlin Heidelberg, 2004.
  • Richard Cox, Pablo Romero, Benedict du Boulay, Rudi Lutz.
    A cognitive processing perspective on student programmers’‘graphicacy’.
    In Diagrammatic Representation and Inference, pages 344–346, Springer Berlin Heidelberg, 2004. [PDF]
  • RICHARD Cox, Carmel Lum, S Brumfitt.
    Case-based teaching and clinical reasoning: Seeing how students think with PATSy.
    In Innovations in professional education for speech and language therapy, pages 169–196, 2004.
  • Jin Song Dong, Chew Hung Lee, Yuan Fang Li, Hai Wang.
    Verifying daml+ oil and beyond in z/eves.
    In Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on, pages 201–210, IEEE, 2004. [PDF]
  • Jin Song Dong, Yuan Fang Li, Hai Wang.
    TCOZ approach to semantic web services design.
    In Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters, pages 442–443, ACM, 2004. [PDF]
  • Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai Wang.
    A combined approach to checking web ontologies.
    In Proceedings of the 13th international conference on World Wide Web, pages 714–722, ACM, 2004. [PDF]
  • Dorel Lucanu, Yuan Fang Li, Jin Song Dong.
    RDF framework institutions.
    In The Proceedings of the Romanian Academy 7, 2004. [PDF]
  • Christopher Beggs, Matthew Butler.
    Developing new strategies to combat cyber-terrorism.
    In Innovations Through Information Technology: Proceedings of the 2004 Information Resources Management Association International Conference, pages 388–390, Idea Group Publishing, 2004.
  • Mark Butler.
    The use of games engines to create practical learning environments.
    In Information Technology: Research and Education, 2004. ITRE 2004. 2nd International Conference on, pages 29–33, IEEE, 2004.
  • Michael Wybrow, Kim Marriott, Linda McIver, Peter Stuckey.
    The usefulness of constraints for diagram editing.
    In Proc. of the 2003 Australasian Computer Human Interaction Conference (OzCHI 2003), pages 192–201, 2003. [PDF]
  • Sitt Sen Chok, Kim Marriott.
    Automatic generation of intelligent diagram editors.
    In ACM Transactions on Computer-Human Interaction (TOCHI) 10(3), pages 244–276, ACM, 2003. [PDF]
  • Michael Cameron, Maria Garcia De La Banda, Kim Marriott, Peter Moulder.
    Vimer: a visual debugger for mercury.
    In Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming, pages 56–66, ACM, 2003.
  • Kim Marriott, Peter Stuckey, Vincent Tam, Weiqing He.
    Removing node overlapping in graph layout using constrained optimization.
    In Constraints 8(2), pages 143–171, Kluwer Academic Publishers, 2003.
  • Nathan Hurst, Kim Marriott, Peter Moulder.
    Cobweb: a constraint-based WEB browser.
    In Proceedings of the 26th Australasian computer science conference-Volume 16, pages 247–254, Australian Computer Society, Inc., 2003. [PDF]
  • Anthony R Jansen, Alan F Blackwell, Kim Marriott.
    A tool for tracking visual attention: The Restricted Focus Viewer.
    In Behavior research methods, instruments, & computers 35(1), pages 57–69, Springer-Verlag, 2003.
  • Anthony R Jansen, Kim Marriott, Greg W Yelland.
    Comprehension of algebraic expressions by experienced users of mathematics.
    In The Quarterly Journal of Experimental Psychology: Section A 56(1), pages 3–30, Taylor & Francis Group, 2003.
  • Kim Marriott, Peter J Stuckey, Martin Sulzmann.
    Resource usage verification.
    In Programming Languages and Systems, pages 212–229, Springer Berlin Heidelberg, 2003. [PDF]
  • Carsten Gutwenger, Michael Jünger, Karsten Klein, Joachim Kupke, Sebastian Leipert, Petra Mutzel.
    A new approach for visualizing UML class diagrams.
    In Proceedings of the 2003 ACM symposium on Software visualization, pages 179–188, ACM, 2003. [PDF]
  • Tim Dwyer.
    A scalable method for visualising changes in portfolio data.
    In Proceedings of the Asia-Pacific symposium on Information visualisation-Volume 24, pages 17–25, Australian Computer Society, Inc., 2003. [PDF]
  • Michael Wybrow, Kim Marriott, Linda McIver, Peter Stuckey.
    The usefulness of constraints for diagram editing.
    In Proc. of the 2003 Australasian Computer Human Interaction Conference (OzCHI 2003), pages 192–201, 2003. [PDF]
  • Pablo Romero, Richard Cox, Benedict Du Boulay, Rudi Lutz.
    A survey of external representations employed in object-oriented programming environments.
    In Journal of Visual Languages & Computing 14(5), pages 387–419, Academic Press, 2003. [PDF]
  • Pablo Romero, Benedict du Boulay, Rudi Lutz, Richard Cox.
    The effects of graphical and textual visualisations in multi-representational debugging environments.
    In Human Centric Computing Languages and Environments, 2003. Proceedings. 2003 IEEE Symposium on, pages 236–238, IEEE, 2003. [PDF]
  • Richard Cox, Beate Grawemeyer.
    The mental organisation of external representations.
    In Proceedings of the European Cognitive Science Conference (Euro-CogSci). Osnabrück, 2003. [PDF]
  • Keith Stenning, Richard Cox.
    Rethinking deductive tasks: relating interpretation and.
    2003. [PDF]
  • Beate Grawemeyer, Richard Cox.
    The effects of knowledge of external representations and display selection upon database query performance.
    In Second International Workshop on Interactive Graphical Communication (IGC2003), 2003. [PDF]
  • Benedict du Boulay, Pablo Romero, Richard Cox, Rudi Lutz.
    Towards a debugging tutor for object-oriented environments.
    pages 399–407, University of Sydney, 2003. [PDF]
  • Matthew Butler, Katherine Blashki.
    Creating new distance learning environments from contemporary technologies.
    In Information Technology: Research and Education, 2003. Proceedings. ITRE2003. International Conference on, pages 635–639, IEEE, 2003.
  • Matthew Butler, Kathy Blashki.
    " Amazon. edu": creating interactive distance education.
    In ACIS 2003 Proceedings, pages 5, 2003.
  • Nathan Hurst, Kim Marriott, Peter Moulder.
    Dynamic approximation of complex graphical constraints by linear constraints.
    In Proceedings of the 15th annual ACM symposium on User interface software and technology, pages 191–200, ACM, 2002. [PDF]
  • Kim Marriott, Sitt Sen Chok.
    Qoca: A constraint solving toolkit for interactive graphical applications.
    In Constraints 7(3-4), pages 229–254, Kluwer Academic Publishers, 2002. [PDF]
  • Kim Marriott, Bernd Meyer, Laurent Tardif.
    Fast and efficient client-side adaptivity for SVG.
    In Proceedings of the 11th international conference on World Wide Web, pages 496–507, ACM, 2002. [PDF]
  • Trevor Hansen, Kim Marriott, Bernd Meyer, Peter J Stuckey.
    Flexible graph layout for the web.
    In Journal of Visual Languages & Computing 13(1), pages 35–60, Academic Press, 2002. [PDF]
  • Bernd Meyer, Kim Marriott, Gerard Allwein.
    Intelligent diagrammatic interfaces: State of the art.
    In Diagrammatic Representation and Reasoning, pages 411–429, Springer London, 2002.
  • Maria Garcia de la Banda, Bart Demoen, Kim Marriott, Peter J Stuckey.
    To the gates of HAL: a HAL tutorial.
    In Functional and Logic Programming, pages 47–66, Springer Berlin Heidelberg, 2002. [PDF]
  • Carsten Gutwenger, Michael Junger, Karsten Klein, Joachim Kupke, Sebastian Leipert, Petra Mutzel.
    Caesar automatic layout of uml class diagrams.
    In Lecture notes in computer science, pages 461–462, Springer-Verlag; 1999, 2002.
  • Tim Dwyer, Peter Eckersley.
    WilmaScope—An interactive 3D graph visualisation system.
    In Graph Drawing, pages 442–443, Springer Berlin Heidelberg, 2002.
  • Tim Dwyer, Peter Eades.
    Visualising a fund manager flow graph with columns and worms.
    In Information Visualisation, 2002. Proceedings. Sixth International Conference on, pages 147–152, IEEE, 2002. [PDF]
  • Pablo Romero, Richard Cox, Benedict du Boulay, Rudi Lutz.
    A survey of external representations employed in.
    2002.
  • Pablo Romero, Richard Cox, Benedict du Boulay, Rudi Lutz.
    Tracing the Processes of Diagrammatic Reasoning-Visual Attention and Representation Switching During Java Program Debugging: A Study Using the Restricted Focus Viewer.
    In Lecture Notes in Computer Science 2317, pages 221–235, Berlin: Springer-Verlag, 1973-, 2002.
  • Pablo Romero, Richard Cox, Benedict du Boulay, Rudi Lutz.
    Visual attention and representation switching during java program debugging: A study using the restricted focus viewer.
    In Diagrammatic Representation and Inference, pages 221–235, Springer Berlin Heidelberg, 2002. [PDF]
  • Pablo Romero, Rudi Lutz, Richard Cox, Benedict du Boulay.
    Co-ordination of multiple external representations during Java program debugging.
    In Human Centric Computing Languages and Environments, 2002. Proceedings. IEEE 2002 Symposia on, pages 207–214, IEEE, 2002. [PDF]
  • Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun, Hai Wang.
    XML-based static type checking and dynamic visualization for TCOZ.
    In Formal Methods and Software Engineering, pages 311–322, Springer Berlin Heidelberg, 2002. [PDF]
  • Greg J Badros, Jojada J Tirtowidjojo, Kim Marriott, Bernd Meyer, Will Portnoy, Alan Borning.
    A constraint extension to scalable vector graphics.
    In Proceedings of the 10th international conference on World Wide Web, pages 489–498, ACM, 2001. [PDF]
  • Bowie Owens, Andreas Ernst, Maria Garcia Dela Banda, Kim Marriott.
    Personnel Scheduling Using Hybrid CLP and Meta-Heuristic Approaches.
    In Proceedings Fourth International workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimisation Problems, pages 149–164, 2001.
  • Francisco Bueno Carrillo, M García de la Banda, Manuel V Hermenegildo, Kim Marriott, Alvaro Germán Puebla Sánchez, Peter J Stuckey.
    A model for inter-module analysis and optimizing compilation.
    Springer Berlin Heidelberg, 2001. [PDF]
  • Paolo Bottoni, Bernd Meyer, Kim Marriott, Francesco Parisi Presicce.
    Deductive parsing of visual languages.
    In Logical Aspects of Computational Linguistics, pages 79–94, Springer Berlin Heidelberg, 2001. [PDF]
  • María García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J Stuckey, Christian Holzbaur.
    Building constraint solvers with HAL.
    In Logic Programming, pages 90–104, Springer Berlin Heidelberg, 2001. [PDF]
  • Kim Marriott, Peter Moulder, Peter J Stuckey, Alan Borning.
    Solving disjunctive constraints for interactive graphical applications.
    In Principles and Practice of Constraint Programming—CP 2001, pages 361–376, Springer Berlin Heidelberg, 2001. [PDF]
  • Gunnar W Klau, Karsten Klein, Petra Mutzel.
    of Proceedings: Proceedings of the 8th International Symposium on Graph Drawing (GD-00).
    Springer, 2001.
  • Francisco Bueno, Manuel Hermenegildo, Germán Puebla, María García de la Banda, Kim Marriott, Peter J Stuckey.
    A model for inter-module analysis and optimizing compilation.
    In Logic Based Program Synthesis and Transformation, pages 86–102, Springer Berlin Heidelberg, 2001. [PDF]
  • Gunnar W Klau, Karsten Klein, Petra Mutzel.
    An experimental comparison of orthogonal compaction algorithms.
    In Graph Drawing, pages 37–51, Springer Berlin Heidelberg, 2001. [PDF]
  • Tim Dwyer.
    Three dimensional UML using force directed layout.
    In Proceedings of the 2001 Asia-Pacific symposium on Information visualisation-Volume 9, pages 77–85, Australian Computer Society, Inc., 2001.
  • Richard Cox.
    ER of AIED: Multiple forms and multiple roles.
    In International Journal of Artificial Intelligence in Education 12, pages 1040–1049, 2001.
  • Richard Cox, Carmel Lum, Jonathan Kilgour.
    Investigating domain-knowledge and reasoning as predictors of diagnostic performance with PATSy..
    Advanced Models of Learning for the Wired and Wireless Future, Proceedings of 10th International Conference on Artificial Intelligence in Education (AI-ED 2001), Amsterdam: IOS Press, 2001. [PDF]
  • Paul Brna, Richard Cox, Judith Good.
    Learning to think and communicate with diagrams: 14 questions to consider.
    In Thinking with Diagrams, pages 115–134, Springer Netherlands, 2001. [PDF]
  • Alan Borning, Richard Kuang-Hsu Lin, Kim Marriott.
    Constraint-based document layout for the Web.
    In Multimedia systems 8(3), pages 177–189, Springer-Verlag, 2000. [PDF]
  • Michael Codish, Kim Marriott, Cohavit Taboch.
    Improving program analyses, by structure untupling.
    In The Journal of Logic Programming 43(3), pages 251–263, North-Holland, 2000.
  • Maria Garcia De La Banda, Manuel Hermenegildo, Kim Marriott.
    Independence in CLP languages.
    In ACM Transactions on Programming Languages and Systems (TOPLAS) 22(2), pages 296–339, ACM, 2000. [PDF]
  • Manuel Hermenegildo, German Puebla, Kim Marriott, Peter J Stuckey.
    Incremental analysis of constraint logic programs.
    In ACM Transactions on Programming Languages and Systems (TOPLAS) 22(2), pages 187–223, ACM, 2000. [PDF]
  • Kim Marriott.
    Tutorial 1: Formal Approaches to Visual Language Specification and Understanding.
    In Theory and Application of Diagrams, pages 3–3, Springer Berlin Heidelberg, 2000.
  • Kim Marriott, Bernd Meyer.
    Non-standard logics for diagram interpretation.
    In Theory and Application of Diagrams, pages 42–57, Springer Berlin Heidelberg, 2000.
  • María García de la Banda, Peter J Stuckey, Warwick Harvey, Kim Marriott.
    Mode checking in HAL.
    In Computational Logic—CL 2000, pages 1270–1284, Springer Berlin Heidelberg, 2000.
  • Alan F Blackwell, Anthony R Jansen, Kim Marriott.
    Restricted focus viewer: a tool for tracking visual attention.
    In Theory and application of diagrams, pages 162–177, Springer Berlin Heidelberg, 2000. [PDF]
  • B Grawemeyer, R Cox, C Lum.
    AUDIX: Using Java-based software for remediating auditory perceptual deficits.
    In COGNITIVE SCIENCE RESEARCH PAPER-UNIVERSITY OF SUSSEX CSRP, UNIVERSITY OF SUSSEX, 2000. [PDF]
  • Joshua Underwood, Rosemary Luckin, Richard Cox, Des Watson, Rosemary Tate.
    Focussing User Studies: Requirements Capture for a Decision Support Tool.
    In Proc ICSE2000 Workshop 5, pages 88–92, 2000. [PDF]
  • Beate Grawemeyer, Richard Cox, Carmel Lum.
    AUDIX: a knowledge-based system for speech-therapeutic auditory discrimination exercises.
    In Studies in health technology and informatics, pages 568–572, IOS Press; 1999, 2000. [PDF]
  • Bart Demoen, Maria J García de la Banda, Warwick Harvey, Kim Marriott, Peter J Stuckey.
    Herbrand Constraint Solving in HAL..
    In ICLP, pages 260–274, 1999.
  • Greg J Badros, Alan Borning, Kim Marriott, Peter Stuckey.
    Constraint cascading style sheets for the web.
    In Proceedings of the 12th annual ACM symposium on User interface software and technology, pages 73–82, ACM, 1999. [PDF]
  • Giuseppe De Giacomo, Dolores Canamero, Glenn Wasson, Michael Littman, Gerard Allwein, Kim Marriott, Bernd Meyer, Barbara Webb, Tom Consi.
    Reports on the AAAI Fall Symposia.
    In AI Magazine 20(3), pages 87, 1999. [PDF]
  • SK Chang, Margaret M Burnett, Stefano Levialdi, Kim Marriott, Joseph J Pfeiffer, Steven L Tanimoto.
    The future of visual languages.
    In Visual Languages, IEEE Symposium on, pages 58–58, IEEE Computer Society, 1999.
  • K Marriott, B Meyer.
    Special issue on theory of visual languages.
    pages 313–316, ACADEMIC PRESS LTD, 1999.
  • Anthony R Jansen, Kim Marriott, Greg W Yelland.
    Perceiving structure in mathematical expressions.
    In Proceedings of the twenty first annual conference of the cognitive science society. Lawrence Erlbaum Associates, 1999.
  • Richard Lin, Kim Marriott, Peter Stuckey.
    Flexible font-size specification in Web documents.
    In Proceedings of the 22 Australasian Computer Science Conference, pages 15–26, 1999.
  • Sitt Sen Chok, Kim Marriott, T Pato.
    Constraint-based diagram beautification.
    In Visual Languages, 1999. Proceedings. 1999 IEEE Symposium on, pages 12–19, IEEE, 1999. [PDF]
  • Bart Demoen, Maria Garcia de la Banda, Warwick Harvey, Kim Marriott, Peter Stuckey.
    An overview of HAL.
    In Principles and Practice of Constraint Programming–CP’99, pages 174–188, Springer Berlin Heidelberg, 1999. [PDF]
  • Keith Stenning, Jean McKendree, John Lee, Richard Cox, Finbar Dineen, Terry Mayes.
    Vicarious learning from educational dialogue.
    In Proceedings of the 1999 conference on Computer support for collaborative learning, pages 43, International Society of the Learning Sciences, 1999.
  • Richard Cox, Jean McKendree, Richard Tobin, John Lee, Terry Mayes.
    Vicarious learning from dialogue and discourse.
    In Instructional science 27(6), pages 431–458, Kluwer Academic Publishers, 1999.
  • Richard Cox.
    Representation construction, externalised cognition and individual differences.
    In Learning and instruction 9(4), pages 343–363, Pergamon, 1999. [PDF]
  • Carmel Lum, Richard Cox, Jonathan Kilgour, Julie Morris, Richard Tobin.
    PATSy: a multimedia distributed web-base resource for aphasiologists in research and education.
    In aphasiology 13(7), pages 573–579, Taylor & Francis Group, 1999. [PDF]
  • Jon Oberlander, Padraic Monaghan, Richard Cox, Keith Stenning, Richard Tobin.
    Unnatural language processing.
    In Journal of Logic, Language and Information 8(3), pages 363–384, Kluwer Academic Publishers, 1999. [PDF]
  • Richard Cox, Mick O’Donnell, Jon Oberlander.
    Dynamic versus static hypermedia in museum education: an evaluation of ILEX, the intelligent labelling explorer.
    In Proceedings of the Artificial Intelligence in Education conference, 1999. [PDF]
  • Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey.
    The semantics of constraint logic programs1.
    In The Journal of Logic Programming 37(1-3), pages 1–46, North-Holland, 1998.
  • Andrew D Kelly, Kim Marriott, Andrew MacDonald, Peter J Stuckey, Roland Yap.
    Optimizing compilation of CLP (R).
    In ACM Transactions on Programming Languages and Systems (TOPLAS) 20(6), pages 1223–1250, ACM, 1998. [PDF]
  • Sitt Sen Chok, Kim Marriott.
    Automatic construction of intelligent diagram editors.
    In Proceedings of the 11th annual ACM symposium on User interface software and technology, pages 185–194, ACM, 1998.
  • K Marriott, PJ Stuckey.
    Guest Editors' introduction: Constraint logic programming.
    pages VII–VIII, ELSEVIER SCIENCE INC, 1998.
  • Weiqing He, Kim Marriott.
    Constrained graph layout.
    In Constraints 3(4), pages 289–314, Kluwer Academic Publishers, 1998. [PDF]
  • Alan Borning, Richard Lin, Kim Marriott, Peter Stuckey.
    Using Constraints for Flexible Document Layout.
    In on Reuse of Web-based Information, pages 99, 1998. [PDF]
  • Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard.
    Two classes of Boolean functions for dependency analysis.
    In Science of Computer Programming 31(1), pages 3–45, Elsevier, 1998.
  • KIM MARRIOTT, BERND MEYER.
    Theory of Visual Languages.
    In Journal of Visual Languages & Computing 9(2), pages 259–260, Academic Press, 1998.
  • Maria Garcia De La Banda, Kim Marriott, Peter Stuckey, Harald Søndergaard.
    Differential methods in logic program analysis.
    In The Journal of Logic Programming 35(1), pages 1–37, North-Holland, 1998.
  • Andrew D Kelly, Kim Marriott, Harald Søndergaard, Peter J Stuckey.
    A practical object?oriented analysis engine for CLP.
    In Software: Practice and Experience 28(2), pages 199–224, John Wiley & Sons, Ltd., 1998.
  • Kim Marriott, Bernd E Meyer.
    Visual Language Theory: With 129 Illustrations.
    Springer, 1998.
  • Andrew Kelly, Kim Marriott, Harald Sondergaard, Peter Stuckey.
    A Practical Object-Oriented Analysis Engin for Constraint Logic Programming.
    John Wiley & Sons Ltd, 1998.
  • A Bochman, MG de la Banda, K Marriott, P Stuckey, H Sondergaard, F Giannotti, D Pedreschi, R Hull, J Su, K Inoue, C Sakama, D Toman, J Chomicki, BM Tong, HF Leung.
    Baral, C., M. Gelfond and 0. Kosheleva Expanding queries to incomplete databases by interpolating gener-al logic programs Bochman, A. A logical foundation for logic programming I: Biconsequence rela.
    In The Journal of Logic Programming 35, pages 291, 1998.
  • Kim Marriott, Tania Armstrong, Peter Schachte, Harald Sondergaard.
    Two Classes of Boolean Functions for Dependency Analysis.
    In Science of Computer Programming, pages 3–45, Elsevier Science, 1998.
  • Kim Marriott, Bernd Meyer, Kent B Wittenburg.
    A survey of visual language specification and recognition.
    In Visual language theory, pages 5–85, Springer New York, 1998.
  • Bart Demoen, María García de la Banda, Warwick Harvey, Kim Marriott, Peter Schachte, Peter Stuckey.
    Compiling the HAL variable to Mercury.
    1998.
  • Bart Demoen, Marría García de la Banda, Kim Marriott, Peter Schachte, Peter Stuckey.
    Global variables in HAL, a logic implementation.
    1998.
  • Kim Marriott, Peter J Stuckey, Mark Wallace.
    Constraint logic programming.
    North-Holland, 1998. [PDF]
  • Kim Marriott, Bernd Meyer.
    The CCMG visual language hierarchy.
    In Visual language theory, pages 129–169, Springer New York, 1998.
  • Kim Marriott, Sitt Sen Chok, Alan Finlay.
    A tableau based constraint solving toolkit for interactive graphical applications.
    In Principles and Practice of Constraint Programming—CP98, pages 340–354, Springer Berlin Heidelberg, 1998. [PDF]
  • Kim Marriott, Peter J Stuckey.
    Programming with constraints: an introduction.
    MIT press, 1998.
  • Paul Brna, Richard Cox.
    Adding intelligence to a learning environment: learner?centred design?.
    In Journal of Computer Assisted Learning 14(4), pages 268–277, Blackwell Science Ltd, 1998.
  • Carmel Lum, Richard Cox.
    PATSy: a distributed multimedia approach to client assessment skills training.
    In International Journal of Language & Communication Disorders 33(S1), pages 170–175, Blackwell Publishing Ltd, 1998.
  • Jean McKendree, Keith Stenning, Terry Mayes, John Lee, Richard Cox.
    Why observing a dialogue may benefit learning.
    In Journal of Computer Assisted Learning 14(2), pages 110–119, Blackwell Science Ltd, 1998.
  • Carmel Lum, Richard Cox.
    PATSy-A Web-based multimedia patient database resource for educators and researchers in aphasiology and neuropsychology.
    In Psychology Software News 8 (3): 80-82 8(3), pages 80–82, CTI Psychology, 1998.
  • John Lee, Jean McKendree, Richard Cox, Keith Stenning, Finbar Dineen.
    Vicarious learning: More than common ground.
    In COOP'98 Workshop# 1, The Use of Herbert H. Clark's Models of Language Use for the Design of Cooperative Systems, 1998. [PDF]
  • John Lee, Jean McKendree, Finbar Dineen, Richard Cox.
    Vicarious learning: dialogue and multimodality.
    In Proceedings of the Second International Conference on Cooperative Multimodal Communication (CMC'98), pages 177–180, 1998.
  • Robert Fontenot, Syed Shakir, F Heuze, M Butler.
    Development of a bottom-hole gamma-ray diagnostic capability for high-level environments, during CTBT on-site inspection drilling.
    Lawrence Radiation Laboratory, University of California, Livermore, CA (United States), 1998.
  • Marco Aurelio Santana.
    Price not givenGuimarãesAntonio S. AgierM. CastroNadya A. Imagens e identidades do trabalho1995Hucitec and OrstomAmsterdam186.
    In Bulletin of Latin American Research 16(1), pages 131–132, No longer published by Elsevier, 1997.
  • Matthew Butler.
    C++ Programming for the use of the Transfer Function Method.
    1997.
  • Alan Borning, Richard Lin, Kim Marriott.
    Constraints for the web.
    In Proceedings of the fifth ACM international conference on Multimedia, pages 173–182, ACM, 1997.
  • Alan Borning, Kim Marriott, Peter Stuckey, Yi Xiao.
    Solving linear arithmetic constraints for user interface applications.
    In Proceedings of the 10th annual ACM symposium on User interface software and technology, pages 87–96, ACM, 1997. [PDF]
  • Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi.
    Confluence in concurrent constraint programming.
    In Theoretical Computer Science 183(2), pages 281–315, Elsevier, 1997.
  • Kim Marriott, Bernd Meyer.
    On the classification of visual languages by grammar hierarchies.
    In Journal of Visual Languages & Computing 8(4), pages 375–402, Academic Press, 1997. [PDF]
  • Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi.
    Constraint logic programming with dynamic scheduling: A semantics based on closure operators.
    In Information and Computation 137(1), pages 41–67, Academic Press, 1997.
  • Kim Marriott.
    Algebraic and logical semantics for CLP languages with dynamic scheduling.
    In The Journal of Logic Programming 32(1), pages 71–84, North-Holland, 1997.
  • Alan Boming, Kim Marriott, Peter Stuckey, Yi Xiao.
    Solvtng lln. ear arithmetic constraints for user interface applications: Ai.
    gorithm details. Tech report 97-06-01, Dept. Computer Sctence & Engr, Univ of Washington, Seattle, WA, 1997.
  • Alan Borning, Kim Marriott, Peter Stuckey, Yi Xiao.
    Solving linear arithmetic constraints for user interface applications: Algorithm details.
    Technical Report 97-06-01, Dept. of Computer Science and Engineering, University of Washington, Seattle, WA, 1997. [PDF]
  • Bernd Meyer, Kim Marriott.
    Specifying diagram animation with rewrite systems.
    In Proc. TVL’97, 1997. [PDF]
  • Germán Puebla, Maria J Garcia de la Banda, Kim Marriott, Peter J Stuckey.
    Optimization of Logic Programs with Dynamic Scheduling..
    In ICLP 97, pages 93–107, 1997.
  • Kim Marriott, Martin Odersky.
    A confluent calculus for concurrent constraint programming.
    In Theoretical computer science 173(1), pages 209–233, Elsevier, 1997.
  • Michael Codish, Moreno Falaschi, Kim Marriott, William Winsborough.
    A confluent semantic basis for the analysis of concurrent constraint logic programs.
    In The Journal of Logic Programming 30(1), pages 53–81, North-Holland, 1997.
  • Kim Marriott, Bernd Meyer, Kent Wittenburg.
    A survey of visual language specification and recognition.
    Dept Computer Science, Monash University, 1997.
  • M Falaschi, M Gabbrielli, K Marriott, C Palamidessi.
    EISEVIER Theoretical Computer Science 183 (1997) 317.
    In Theoretical Computer Science 183, pages 317, 1997.
  • Luca Aceto, Stephen Cook, Artur Czumaj, Matt Fairtlough, Moreno Falaschi, Wan Fokkink, Maurizio Gabbrielli, Russell Impagliazzo, Benedetto Intrigila, Yves Lafont, Kim Marriott, Michael Mendler, Friedhelm Meyer auf der Heide, Catuscia Palamidessi, Volker S.
    Information and Computation Author Index.
    In information and computation 137, pages 171, 1997.
  • Alvaro Germán Puebla Sánchez, M García de la Banda, Kim Marriott, Peter J Stuckey.
    Optimization of logic programs with dynamic scheduling.
    MIT Press, 1997. [PDF]
  • Kim Marriott, Bernd Meyer.
    The CCMG visual language hierarchy.
    Dept Computer Science, Monash University, 1997.
  • Kim Marriott.
    Abstract interpretation: A theory of approximate computation.
    In Static Analysis, pages 367–378, Springer Berlin Heidelberg, 1997.
  • Weiqing He, Kim Marriott.
    Removing node overlapping using constrained optimization.
    Dept Computer Science, Monash University, 1997.
  • Weiqing He, Kim Marriott.
    Constrained graph layout.
    In Graph Drawing, pages 217–232, Springer Berlin Heidelberg, 1997.
  • Claire Hewson, Richard Cox, Keith Stenning.
    A study of SPC training needs in small and medium UK companies.
    Human Communication Research Centre, 1997. [PDF]
  • Jon Oberlander, Padraic Monaghan, Richard Cox, Keith Stenning, Richard Tobin.
    Unnatural language processing: an empirical study of multimodal discourse styles.
    1997.
  • Richard Cox.
    Representation interpretation versus representation construction: An ILE-based study using switchERII.
    In Proceedings of the 8th World Conference on Artificial Intelligence in Education, pages 434–41, 1997. [PDF]
  • Kim Marriott, Bernd Meyer.
    Towards a hierarchy of visual languages.
    In Visual Languages, 1996. Proceedings., IEEE Symposium on, pages 196–203, IEEE, 1996. [PDF]
  • Kim Marriott, Martin Odersky.
    Negative boolean constraints.
    In Theoretical Computer Science 160(1), pages 365–380, Elsevier, 1996.
  • Sitt Sen Chok, Kim Marriott.
    Automatic construction of user interfaces for pen-based computers.
    In Proceedings of the workshop on Advanced visual interfaces, pages 254–256, ACM, 1996.
  • Andrew D Kelly, Kim Marriott, Harald SØndergaard, Peter J Stuckey.
    Two applications of an incremental analysis engine for (constraint) logic programs.
    In Static Analysis, pages 385–386, Springer Berlin Heidelberg, 1996.
  • Andrew D Kelly, Andrew Macdonaldy, Kim Marriott, Peter J Stuckeyy, Roland HC Yapz.
    Optimizing Compilation of Constraint Logic Programming Languages.
    1996.
  • Maria Garcia de la Banda, Manuel Hermenegildo, Kim Marriott.
    Independence in dynamically scheduled logic languages.
    In Algebraic and Logic Programming, pages 47–61, Springer Berlin Heidelberg, 1996.
  • Andrew D Kelly, Kim Marriott, Harald Søndergaard, Peter J Stuckey.
    A Generic Object-Oriented Incremental Analyser for Constraint Logic Programs.
    1996.
  • Kim Marriott, Bernd Meyer.
    Formal classification of visual languages.
    In Proc. International Workshop on Theory of Visual Languages, 1996. [PDF]
  • Jon Oberlander, Richard Cox, Robert Inder, Richard Tobin.
    Hierarchical histories for hypertext navigation: a pilot study of individual differences.
    1996.
  • Jon Oberlander, Keith Stenning, Richard Cox.
    Hyperproof: abstraction, visual preference and multimodality.
    In Second Conference on Information-Theoretic Approaches to Logic, Language, and Computation, London, 1996.
  • Jon Oberlander, Richard Cox, Padraic Monaghan, Keith Stenning, Richard Tobin.
    Individual differences in proof structures following multimodal logic teaching.
    In Proceedings of the 18th annual conference of the cognitive science society, pages 201–206, 1996. [PDF]
  • Jon Oberlander, Keith Stenning, Richard Cox.
    Hyperproof: the multimodal moral.
    In Information Theoretic Approaches to Logic Language and Computation, 1996. [PDF]
  • Richard Cox.
    The role of externalisation in reasoning with self-constructed representations.
    In Thinking with Diagrams (Digest No: 1996/010), IEE Colloquium on, pages 4/1–4/7, IET, 1996.
  • Keith Stenning, Peter Yule, Richard Cox.
    Quantifier interpretation and syllogistic reasoning: An individual differences account.
    In Proceedings of the 18th Annual Conference of the Cognitive Science Society, Hillsdale, NJ: Lawrence Erlbaum Associates 678, pages 683, 1996.
  • Richard Cox.
    Analytical reasoning with multiple external representations.
    1996. [PDF]
  • Richard Helm, Kim Marriott, Martin Odersky.
    Spatial query optimization: From Boolean constraints to range queries.
    In Journal of Computer and System Sciences 51(2), pages 197–210, Academic Press, 1995. [PDF]
  • Sitt Sen Chok, Kim Marriott.
    Automatic construction of user interfaces from constraint multiset grammars.
    In Visual Languages, Proceedings., 11th IEEE International Symposium on, pages 242–249, IEEE, 1995.
  • Tien Huynh, Kim Marriott.
    Incremental constraint deletion in systems of linear constraints.
    In Information Processing Letters 55(2), pages 111–115, Elsevier, 1995.
  • Maria Garcia De La Banda, Kimbal Marriott, Peter Stuckey.
    Efficient analysis of logic programs with dynamic scheduling.
    In Proceedings of the 1995 International Symposium on Logic Programming, pages 417–431, The MIT Press, 1995.
  • M García de la Banda, Manuel V Hermenegildo, K Marriott.
    Independence and search space preservation in dynamically scheduled constraint logic languages.
    Facultad de Informática, Universidad Politécnica de Madrid., 1995. [PDF]
  • María García de la Banda, Kim Marriott, Harald Søndergaard, Peter Stuckey.
    Improved Analysis of Logic Programs using a Differential Approach.
    1995.
  • Kim Marriott.
    Parsing visual languages with constraint multiset grammars.
    In Programming Languages: Implementations, Logics and Programs, pages 24–25, Springer Berlin Heidelberg, 1995.
  • K Marriott.
    Parsing visual languages.
    In AUSTRALIAN COMPUTER SCIENCE COMMUNICATIONS 17, pages 90–98, UNIVERSITY OF CANTERBURY, 1995.
  • K Marriott, M Falaschi, M Gabbrelli, C Palamidessi.
    A simple semantics for logic programming languages with dynamic scheduling.
    In AUSTRALIAN COMPUTER SCIENCE COMMUNICATIONS 17, pages 356–363, UNIVERSITY OF CANTERBURY, 1995.
  • Kim Marriott, Martin Odersky.
    A confluent calculus for concurrent constraint programming with guarded choice.
    In Principles and Practice of Constraint Programming—CP'95, pages 310–327, Springer Berlin Heidelberg, 1995. [PDF]
  • Andrew D Kelly, Andrew Macdonald, Kim Marriott, Harald Søndergaard, Peter J Stuckey, Roland HC Yap.
    An optimizing compiler for CLP (?).
    In Principles and Practice of Constraint Programming—CP'95, pages 222–239, Springer Berlin Heidelberg, 1995.
  • Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi.
    Confluence in concurrent constraint programming.
    In Algebraic Methodology and Software Technology, pages 531–545, Springer Berlin Heidelberg, 1995.
  • Maria J García de la Banda, Kim Marriott, Peter J Stuckey.
    Efficient Analysis of Logic Programs with Dynamic Scheduling..
    In ILPS 95, pages 417–431, 1995.
  • Richard Helm, Tien Huynh, Kim Marriott, John Vlissides.
    An object-oriented architecture for constraint-based graphical editing.
    In Object-Oriented Programming for Graphics, pages 217–238, Springer Berlin Heidelberg, 1995. [PDF]
  • Keith Stenning, Richard Cox, Jon Oberlander.
    Contrasting the cognitive effects of graphical and sentential logic teaching: reasoning, representation and individual differences.
    In Language and Cognitive Processes 10(3-4), pages 333–354, Taylor & Francis Group, 1995.
  • Jon Oberlander, Richard Cox, Keith Stenning.
    Proofs as discourse: an empirical study.
    In Working Notes of the AAAI Spring Symposium on Empirical Methods in Discourse Interpretation and Generation, Stanford, March, 1995. [PDF]
  • Richard Cox, Paul Brna.
    Supporting the use of external representations in problem solving: The need for flexible learning environments.
    In Journal of Artificial Intelligence in Education 6, pages 239–302, AACE ASSOCIATION FOR THE ADVANCEMENT OF, 1995. [PDF]
  • Keith Stenning, Richard Cox.
    Attitudes to logical independence: traits in quantifier interpretion.
    1995.
  • Richard Cox, Keith Stenning, Jon Oberlander.
    The e ect of graphical and sentential logic teaching on spontaneous external representation.
    In Cognitive Studies: Bulletin of the Japanese Cognitive Science Society 2(4), pages 56–75, 1995.
  • Kimbal Marriott, Peter J Stuckey.
    Approximating interaction between linear arithmetic constraints.
    In Proceedings of the 1994 International Symposium on Logic programming, pages 571–585, MIT Press, 1994.
  • Kim Marriott.
    Constraint multiset grammars.
    In Visual Languages, 1994. Proceedings., IEEE Symposium on, pages 118–125, IEEE, 1994.
  • Michael Codish, Moreno Falaschi, Kim Marriott.
    Suspension analyses for concurrent logic programs.
    In ACM Transactions on Programming Languages and Systems (TOPLAS) 16(3), pages 649–686, ACM, 1994.
  • Kim Marriott, Harald Søndergaard, Neil D Jones.
    Denotational abstract interpretation of logic programs.
    In ACM Transactions on Programming Languages and Systems (TOPLAS) 16(3), pages 607–648, ACM, 1994. [PDF]
  • Kim Marriott, María José García de la Banda, Manuel Hermenegildo.
    Analyzing logic programs with dynamic scheduling.
    In Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 240–253, ACM, 1994. [PDF]
  • Manuel V Hermenegildo, Kim Marriott, Peter J Stuckey.
    Incremental analysis of logic programs.
    Technical University of Madrid (UPM), 1994. [PDF]
  • Sitt Sen Chok, Kim Marriott.
    Parsing visual languages.
    pages 90–8, Department of Computer Science, Monash University, 1994.
  • Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard.
    Boolean functions for dependency analysis: Algebraic properties and efficient representation.
    In Static Analysis, pages 266–280, Springer Berlin Heidelberg, 1994.
  • Jon Oberlander, Richard Cox, Keith Stenning.
    Proof styles in multimodal reasoning.
    In International Conference on Information-oriented approaches to Language, Logic and Computation, Moraga, Ca, 1994.
  • J Oberlander, R Cox.
    Forrest Hill & 80 South Bridge.
    1994.
  • Richard Cox, Paul Brna.
    Analytical reasoning with external representations: Supporting the stages of selection, construction and use.
    University of Edinburgh, Department of Artificial Intelligence, 1994.
  • Richard Cox, Keith Stenning, Jon Oberlander.
    Graphical effects in learning logic: reasoning, representation and individual differences.
    In Proceedings of the 16th Annual Conference of the Cognitive Science Society, pages 237–242, 1994. [PDF]
  • Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi.
    Compositional analysis for concurrent constraint programming.
    In LICS, pages 210–221, 1993. [PDF]
  • Kim Marriott, Harald Søndergaard.
    Difference-list transformation for prolog.
    In New Generation Computing 11(2), pages 125–157, Springer-Verlag, 1993.
  • Kimball G Marriott, Peter J Stuckey.
    The 3 R's of optimizing constraint logic programs: Refinement, removal and reordering.
    In Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 334–344, ACM, 1993.
  • Kim Marriott, Peter J Stuckey.
    Semantics of constraint logic programs with optimization.
    In ACM Letters on Programming Languages and Systems (LOPLAS) 2(1-4), pages 197–212, ACM, 1993.
  • Kim Marriott, Harald Søndergaard.
    Precise and efficient groundness analysis for logic programs.
    In ACM Letters on Programming Languages and Systems (LOPLAS) 2(1-4), pages 181–196, ACM, 1993. [PDF]
  • Kim Marriott.
    Frameworks for abstract interpretation.
    In Acta Informatica 30(2), pages 103–129, Springer-Verlag, 1993.
  • Kim Marriott, Peter Stuckey.
    Semantics for CLP Programs with Optimization.
    Monash University, Department of Computer Science, 1993.
  • Kim Marriott, Harald Søndergaard.
    On propagation-based analysis of logic programs.
    In Proc. Int. Symp. ILPS’1993 Workshop on Global Compilation, Vancouver, CA, pages 47–65, 1993.
  • Michael Codish, Moreno Falaschi, Kim Marriott, William Winsborough.
    Efficient analysis of concurrent constraint logic programs.
    In Automata, Languages and Programming, pages 633–644, Springer Berlin Heidelberg, 1993.
  • M García de la Banda, Manuel V Hermenegildo, Kim Marriott.
    Independence in constraint logic programs.
    MIT Press, 1993. [PDF]
  • R Cox, P Brna.
    The relationship between external representations and analytical reasoning performance: implications for the design of a learning environment.
    In DAI Research Paper 646, 1993.
  • Richard Cox, Paul Brna.
    Reasoning with external representations: Supporting the stages of selection, construction and use.
    In INTERACT'93 and CHI'93 Conference Companion on Human Factors in Computing Systems, pages 153–154, ACM, 1993.
  • Richard Cox, Paul Brna.
    The Relationship Between External Representations and Analytical Reasoning Performance: Implications for the Design.
    University of Edinburgh, Department of Artificial Intelligence, 1993.
  • Richard Cox.
    Graphical Representations, Reasoning and Communication.
    University of Edinburgh, 1993.
  • Peter A Bigot, Saumya K Debray, Kim Marriott.
    Understanding Finiteness Analysis Using Abstract Interpretation..
    In JICSLP, pages 735–749, 1992. [PDF]
  • Richard Helm, Tien Huynh, Catherine Lassez, Kim Marriot.
    A linear constraint technology for interactive graphic systems.
    In Proceedings of the conference on Graphics interface'92, pages 301–309, Morgan Kaufmann Publishers Inc., 1992.
  • Kim Marriott, Harald Søndergaard.
    Bottom-up dataflow analysis of normal logic programs.
    In The Journal of Logic Programming 13(2), pages 181–204, North-Holland, 1992.
  • Kim Marriott, Martin Odersky.
    Systems of negative Boolean constraints.
    IBM TJ Watson Research Center, 1992.
  • Michael Codish, Moreno Falaschi, Kim Marriott, W Winsborough.
    Efficient analysis of reactive properties of concurrent constraint logic programs.
    In Proc. of the Second International Workshop on Static Program Analysis, 1992.
  • Richard Cox, Charles Hulme, Gordon DA Brown.
    STM Experimenter: Using HyperCard and MacRecorder in short-term memory experiments.
    In Behavior Research Methods, Instruments, & Computers 24(4), pages 575–579, Springer-Verlag, 1992. [PDF]
  • R Cox.
    Reasoning with External Representations: Supporting the Stages of Selection, Construction and Utilisation.
    1992.
  • Richard Cox.
    Issues in Guided Exploratory Learning from Computer-based Systems.
    University of Edinburgh, Department of Artificial Intelligence, 1992.
  • Richard Cox.
    Exploratory learning from computer-based systems.
    In Instructional models in computer-based learning environments, pages 405–419, Springer Berlin Heidelberg, 1992.
  • RJ Cox, C Hulme, GDA Brown.
    USING THE APPLE MACINTOSH FOR THE PRESENTATION OF AUDITORY-STIMULI IN SHORT-TERM-MEMORY EXPERIMENTS.
    In INTERNATIONAL JOURNAL OF PSYCHOLOGY, pages 130–130, 1992.
  • R Cox, C Hulme, G Brown.
    Forrest Hill & 80 South Bridge.
    In Journal Paper 24(4), pages 575–579, 1992.
  • Richard Helm, Kim Marriott.
    A declarative specification and semantics for visual languages.
    In Journal of Visual Languages & Computing 2(4), pages 311–331, Academic Press, 1991.
  • Richard Helm, Kim Marriott, Martin Odersky.
    Constraint-based query optimization for spatial databases.
    In Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, pages 181–191, ACM, 1991.
  • Richard Helm, Kim Marruitt, Martin Odersky.
    Building visual language parsers.
    In Proceedings of the SIGCHI conference on Human factors in computing systems: Reaching through technology, pages 105–112, ACM, 1991.
  • Jean-Louis Lassez, M Maher, Kim Marriott.
    Elimination of negation in term algebras.
    In Mathematical Foundations of Computer Science 1991, pages 1–16, Springer Berlin Heidelberg, 1991.
  • Niels Jørgensen, Kim Marriott, Spiro Michaylov.
    Some Global Compile-Time Optimizations for CLP (R)..
    In ISLP, pages 420–434, 1991.
  • Richard Helm, Kim Marriott.
    Declarative specification of visual languages.
    In Visual Languages, 1990., Proceedings of the 1990 IEEE Workshop on, pages 98–103, IEEE, 1990.
  • Kim Marriott, Lee Naish, J-L Lassez.
    Most specific logic programs.
    In Annals of mathematics and artificial intelligence 1(1-4), pages 303–338, Springer Netherlands, 1990.
  • Kim Marriott, Harald Søndergaard, Philip Dart.
    A characterization of non-floundering logic programs.
    In Proceedings of the 1990 North American conference on Logic programming, pages 661–680, MIT Press, 1990.
  • Kim Marriott, Harald Søndergaard.
    Analysis of constraint logic programs.
    In Proceedings of the 1990 North American conference on Logic programming, pages 531–547, MIT Press, 1990.
  • Roberto Cremonini, Kim Marriott, Harald Søndergaard.
    A general theory of abstraction.
    In Proc. of the 4th Australian Joint Conference on Artificial Intelligence, Australia, pages 121–134, 1990.
  • Richard Cox, Geoff Cumming.
    The role of exploration-based learning in the development of expertise.
    In Proceedings of Computers in Education, pages 359–364, 1990.
  • Kim Marriott, H Sondergaard.
    On Prolog and the occur check problem.
    In ACM SIGPLAN Notices 24(5), pages 76–82, ACM, 1989.
  • Kim Marriott, Harald Søndergaard.
    Semantics-Based Dataflow Analysis of Logic Programs..
    In IFIP Congress, pages 601–606, 1989. [PDF]
  • Kim Marriott, Harald Søndergaard.
    Notes for a tutorial on abstract interpretation of logic programs.
    In North American Conference on Logic Programming, 1989.
  • Kim Marriott, Harald Søndergaard.
    Bottom-up Abstract Interpretation of Logic Programs..
    In ICLP/SLP, pages 733–748, 1988.
  • Kim Marriott.
    Finding Explicit Representation for Subsets of the Herbrand Universe.
    1988.
  • J-L Lassez, Michael J Maher, Kim Marriott.
    Unification revisited.
    In Foundations of logic and functional programming, pages 67–113, Springer Berlin Heidelberg, 1988.
  • J-L Lassez, Kim Marriott.
    Explicit representation of terms defined by counter examples.
    In Journal of Automated Reasoning 3(3), pages 301–317, Kluwer Academic Publishers, 1987.
  • Richard Helm, Kim Marriott.
    Prolog for programmers: Feliks Kluzniak and Stanislaw Szpakowicz.
    In The Journal of Logic Programming 4(1), pages 83–84, North-Holland, 1987.
  • J-L Lassez, Kim Marriott.
    Explicit representation of terms defined by counter examples.
    In Foundations of Software Technology and Theoretical Computer Science, pages 96–107, Springer Berlin Heidelberg, 1986.
  • Richard Helm, Kim Marriott.
    Declarative graphics.
    In Third International Conference on Logic Programming, pages 513–527, Springer Berlin Heidelberg, 1986.
  • Richard Jeffrey Cox.
    Myoelectric and Force Feedback in the Facilitation of Isometric Strength Training: Treatment Effects and Individual Differences.
    1986.
  • A Richard Helm, Cathrine Lassez, Kimbal Marriott.
    Prolog for expert systems: an evaluation.
    Department of Computer Science, University of Melbourne, 1985.
  • Richard J Cox, Thomas A Matyas.
    Myoelectric and force feedback in the facilitation of isometric strength training: a controlled comparison.
    In Psychophysiology 20(1), pages 35–44, Blackwell Publishing Ltd, 1983.
  • Richard J Cox, Diana McGuinness.
    The effect of chronic anxiety level upon self control of heart rate.
    In Biological psychology 5(1), pages 7–14, Elsevier, 1977.