Kim Marriott

According to our database1, Kim Marriott
  • authored at least 197 papers between 1986 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Many-to-Many Geographically-Embedded Flow Visualisation: An Evaluation.
IEEE Trans. Vis. Comput. Graph., 2017

Immersive Collaborative Analysis of Network Connectivity: CAVE-style or Head-Mounted Display?
IEEE Trans. Vis. Comput. Graph., 2017

Towards Unambiguous Edge Bundling: Investigating Confluent Drawings for Network Visualization.
IEEE Trans. Vis. Comput. Graph., 2017

Evaluating Perceptually Complementary Views for Network Exploration Tasks.
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

2016
Situated Analytics: Demonstrating immersive analytical tools with Augmented Reality.
J. Vis. Lang. Comput., 2016

High-Quality Ultra-Compact Grid Layout of Grouped Networks.
IEEE Trans. Vis. Comput. Graph., 2016

HOLA: Human-like Orthogonal Network Layout.
IEEE Trans. Vis. Comput. Graph., 2016

ContextuWall: Peer Collaboration Using (Large) Displays.
Proceedings of the 2016 Big Data Visual Analytics, 2016

Blended UI Controls for Situated Analytics.
Proceedings of the 2016 Big Data Visual Analytics, 2016

2015
Automatic Minimal-Height Table Layout.
INFORMS Journal on Computing, 2015

Accessible On-Line Floor Plans.
Proceedings of the 24th International Conference on World Wide Web, 2015

Using augmented reality to support situated analytics.
Proceedings of the 2015 IEEE Virtual Reality, 2015

VEDD: A Visual Editor for Creation and Semi-Automatic Update of Derived Documents.
Proceedings of the 2015 ACM Symposium on Document Engineering, 2015

Creating eBooks with Accessible Graphics Content.
Proceedings of the 2015 ACM Symposium on Document Engineering, 2015

Does a Split-View Aid Navigation Within Academic Documents?
Proceedings of the 2015 ACM Symposium on Document Engineering, 2015

Situated Analytics.
Proceedings of the Big Data Visual Analytics, 2015


GraCALC: An Accessible Graphing Calculator.
Proceedings of the 17th International ACM SIGACCESS Conference on Computers & Accessibility, 2015

2014
Stress-Minimizing Orthogonal Layout of Data Flow Diagrams with Ports.
CoRR, 2014

Stress-Minimizing Orthogonal Layout of Data Flow Diagrams with Ports.
Proceedings of the Graph Drawing - 22nd International Symposium, GD 2014, Würzburg, 2014

What academics want when reading digitally.
Proceedings of the ACM Symposium on Document Engineering 2014, 2014

Seeing Around Corners: Fast Orthogonal Connector Routing.
Proceedings of the Diagrammatic Representation and Inference, 2014

Modelling with Option Types in MiniZinc.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

Improved Optimal and Approximate Power Graph Compression for Clearer Visualisation of Dense Graphs.
Proceedings of the IEEE Pacific Visualization Symposium, 2014

2013
HTML Automatic Table Layout.
TWEB, 2013

Edge Compression Techniques for Visualization of Dense Directed Graphs.
IEEE Trans. Vis. Comput. Graph., 2013

Incremental Grid-like Layout Using Soft and Hard Constraints.
CoRR, 2013

Improved Optimal and Approximate Power Graph Compression for Clearer Visualisation of Dense Graphs.
CoRR, 2013

Conversion of KEGG metabolic pathways to SBGN maps including automatic layout.
BMC Bioinformatics, 2013

Visualization of Large Ontologies with Landmarks.
Proceedings of the GRAPP & IVAPP 2013: Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications, 2013

Incremental Grid-Like Layout Using Soft and Hard Constraints.
Proceedings of the Graph Drawing - 21st International Symposium, 2013

2012
Memorability of Visual Features in Network Diagrams.
IEEE Trans. Vis. Comput. Graph., 2012

Learning how to trade off aesthetic criteria in layout.
Proceedings of the ACM Symposium on Document Engineering, 2012

Optimal guillotine layout.
Proceedings of the ACM Symposium on Document Engineering, 2012

Orthogonal Hyperedge Routing.
Proceedings of the Diagrammatic Representation and Inference, 2012

Accessible Graphics: Graphics for Vision Impaired People.
Proceedings of the Diagrammatic Representation and Inference, 2012

2011
Hi-Trees and Their Layout.
IEEE Trans. Vis. Comput. Graph., 2011

GraVVITAS: Generic Multi-touch Presentation of Accessible Graphics.
Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011

Optimal automatic table layout.
Proceedings of the 2011 ACM Symposium on Document Engineering, 2011

2010
Optimal k-Level Planarization and Crossing Minimization.
Proceedings of the Graph Drawing - 18th International Symposium, GD 2010, Konstanz, 2010

Usability of Accessible Bar Charts.
Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

Tactile Diagrams: Worth Ten Thousand Words?
Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

Hi-tree Layout Using Quadratic Programming.
Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

2009
Constrained graph layout by stress majorization and gradient projection.
Discrete Mathematics, 2009

A generic algorithm for layout of biological networks.
BMC Bioinformatics, 2009

Scrolling behaviour with single- and multi-column layout.
Proceedings of the 18th International Conference on World Wide Web, 2009

Orthogonal Connector Routing.
Proceedings of the Graph Drawing, 17th International Symposium, 2009

Review of automatic document formatting.
Proceedings of the 2009 ACM Symposium on Document Engineering, 2009

2008
Exploration of Networks using overview+detail with Constraint-based cooperative layout.
IEEE Trans. Vis. Comput. Graph., 2008

Comparing usability of one-way and multi-way constraints for diagram editing.
ACM Trans. Comput.-Hum. Interact., 2008

Interactive, Constraint-based Layout of Engineering Diagrams.
ECEASST, 2008

The Design of the Zinc Modelling Language.
Constraints, 2008

Visualizing Argument Structure.
Proceedings of the Advances in Visual Computing, 4th International Symposium, 2008

Dunnart: A Constraint-Based Network Diagram Authoring Tool.
Proceedings of the Graph Drawing, 16th International Symposium, GD 2008, Heraklion, Crete, 2008

Topology Preserving Constrained Graph Layout.
Proceedings of the Graph Drawing, 16th International Symposium, GD 2008, Heraklion, Crete, 2008

Authoring adaptive diagrams.
Proceedings of the 2008 ACM Symposium on Document Engineering, 2008

Satisficing scrolls: a shortcut to satisfactory layout.
Proceedings of the 2008 ACM Symposium on Document Engineering, 2008

Smooth Linear Approximation of Non-overlap Constraints.
Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

Adding Search to Zinc.
Proceedings of the Principles and Practice of Constraint Programming, 2008

Tactile chart generation tool.
Proceedings of the 10th International ACM SIGACCESS Conference on Computers and Accessibility, 2008

2007
From Zinc to Design Model.
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Developing Domain-Specific Gesture Recognizers for Smart Diagram Environments.
Proceedings of the Graphics Recognition. Recent Advances and New Opportunities, 2007

Constrained Stress Majorization Using Diagonally Scaled Gradient Projection.
Proceedings of the Graph Drawing, 15th International Symposium, 2007

Automatic float placement in multi-column documents.
Proceedings of the 2007 ACM Symposium on Document Engineering, 2007

Approximating text by its area.
Proceedings of the 2007 ACM Symposium on Document Engineering, 2007

Compact Layout of Layered Trees.
Proceedings of the Computer Science 2007. Proceedings of the Thirtieth Australasian Computer Science Conference (ACSC2007). Ballarat, Victoria, Australia, January 30, 2007

2006
Constraint Logic Programming.
Proceedings of the Handbook of Constraint Programming, 2006

IPSep-CoLa: An Incremental Procedure for Separation Constraint Layout of Graphs.
IEEE Trans. Vis. Comput. Graph., 2006

Drawing Directed Graphs Using Quadratic Programming.
IEEE Trans. Vis. Comput. Graph., 2006

Adding Constraint Solving to Mercury.
Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

Integrating Edge Routing into Force-Directed Layout.
Proceedings of the Graph Drawing, 14th International Symposium, GD 2006, Karlsruhe, 2006

Fast Node Overlap Removal - Correction.
Proceedings of the Graph Drawing, 14th International Symposium, GD 2006, Karlsruhe, 2006

Minimum sized text containment shapes.
Proceedings of the 2006 ACM Symposium on Document Engineering, 2006

Solving the simple continuous table layout problem.
Proceedings of the 2006 ACM Symposium on Document Engineering, 2006

The Modelling Language Zinc.
Proceedings of the Principles and Practice of Constraint Programming, 2006

2005
Checking modes of HAL programs.
TPLP, 2005

The G12 Project: Mapping Solver Independent Models to Efficient Solutions.
Proceedings of the Logic Programming, 21st International Conference, 2005

Incremental Connector Routing.
Proceedings of the Graph Drawing, 13th International Symposium, 2005

Fast Node Overlap Removal.
Proceedings of the Graph Drawing, 13th International Symposium, 2005

Stress Majorization with Orthogonal Ordering Constraints.
Proceedings of the Graph Drawing, 13th International Symposium, 2005

Toward tighter tables.
Proceedings of the 2005 ACM Symposium on Document Engineering, 2005

The G12 Project: Mapping Solver Independent Models to Efficient Solutions.
Proceedings of the Principles and Practice of Constraint Programming, 2005

Layout of Bayesian Networks.
Proceedings of the Computer Science 2005, 2005

2004
NP-Completeness of Minimal Width Unordered Tree Layout.
J. Graph Algorithms Appl., 2004

Checking modes of HAL programs
CoRR, 2004

Constraint SVG.
Proceedings of the 13th international conference on World Wide Web, 2004

A Generic Framework for Context-Sensitive Analysis of Modular Programs.
Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

Herbrand Constraints in HAL.
Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

Cider: A Component-Based Toolkit for Creating Smart Diagram Environments.
Proceedings of the Diagrammatic Representation and Inference, 2004

Towards Flexible Graphical Communication Using Adaptive Diagrams.
Proceedings of the Advances in Computer Science, 2004

2003
Automatic generation of intelligent diagram editors.
ACM Trans. Comput.-Hum. Interact., 2003

Removing Node Overlapping in Graph Layout Using Constrained Optimization.
Constraints, 2003

ViMer: a visual debugger for mercury.
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

Resource Usage Verification.
Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

Cobweb: A Constraint-Based WEB Browser.
Proceedings of the Computer Science 2003, 2003

2002
Flexible Graph Layout for the Web.
J. Vis. Lang. Comput., 2002

QOCA: A Constraint Solving Toolkit for Interactive Graphical Applications.
Constraints, 2002

Fast and efficient client-side adaptivity for SVG.
Proceedings of the Eleventh International World Wide Web Conference, 2002

Dynamic approximation of complex graphical constraints by linear constraints.
Proceedings of the 15th Annual ACM Symposium on User Interface Software and Technology, 2002

To the Gates of HAL: A HAL Tutorial.
Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

2001
A constraint extension to scalable vector graphics.
Proceedings of the Tenth International World Wide Web Conference, 2001

Deductive Parsing of Visual Languages.
Proceedings of the Logical Aspects of Computational Linguistics, 2001

Building Constraint Solvers with HAL.
Proceedings of the Logic Programming, 17th International Conference, 2001

Solving Disjunctive Constraints for Interactive Graphical Applications.
Proceedings of the Principles and Practice of Constraint Programming, 2001

2000
Incremental analysis of constraint logic programs.
ACM Trans. Program. Lang. Syst., 2000

Independence in CLP languages.
ACM Trans. Program. Lang. Syst., 2000

Constraint-based document layout for the Web.
Multimedia Syst., 2000

Improving Program Analyses, by Structure Untupling.
J. Log. Program., 2000

A Model for Inter-module Analysis and Optimizing Compilation.
Proceedings of the Logic Based Program Synthesis and Transformation, 2000

A model for inter-module analysis and optimizing compilation.
Proceedings of the Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, 2000

Non-standard Logics for Diagram Interpretation.
Proceedings of the Theory and Application of Diagrams, First International Conference, 2000

Formal Approaches to Visual Language Specification and Understanding.
Proceedings of the Theory and Application of Diagrams, First International Conference, 2000

Restricted Focus Viewer: A Tool for Tracking Visual Attention.
Proceedings of the Theory and Application of Diagrams, First International Conference, 2000

Model Checking in HAL.
Proceedings of the Computational Logic, 2000

1999
Guest Editor's Introduction.
J. Vis. Lang. Comput., 1999

Book reviews.
Intelligence, 1999

The AAAI Fall Symposia.
AI Magazine, 1999

Constraint-Based Diagram Beautification.
Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

Constraint Cascading Style Sheets for the Web.
Proceedings of the 12th Annual ACM Symposium on User Interface Software and Technology, 1999

Herbrand Constraint Solving in HAL.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

An Overview of HAL.
Proceedings of the Principles and Practice of Constraint Programming, 1999

1998
Optimizing Compilation of CLP(R).
ACM Trans. Program. Lang. Syst., 1998

A Practical Object-Oriented Analysis Engine for CLP.
Softw., Pract. Exper., 1998

Two Classes of Boolean Functions for Dependency Analysis.
Sci. Comput. Program., 1998

The Semantics of Constraint Logic Programs.
J. Log. Program., 1998

Differential Methods in Logic Program Analysis.
J. Log. Program., 1998

Constrained Graph Layout.
Constraints, 1998

Introduction to the Special Issue.
Constraints, 1998

Automatic Construction of Intelligent Diagram Editors.
Proceedings of the 11th Annual ACM Symposium on User Interface Software and Technology, 1998

A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications.
Proceedings of the Principles and Practice of Constraint Programming, 1998

1997
On the Classification of Visual Languages by Grammar Hierarchies.
J. Vis. Lang. Comput., 1997

A Confluent Calculus for Concurrent Constraint Programming.
Theor. Comput. Sci., 1997

Confluence in Concurrent Constraint Programming.
Theor. Comput. Sci., 1997

Algebraic and Logical Semantics for CLP Languages with Dynamic Scheduling.
J. Log. Program., 1997

A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs.
J. Log. Program., 1997

Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators.
Inf. Comput., 1997

Solving Linear Arithmetic Constraints for User Interface Applications.
Proceedings of the 10th Annual ACM Symposium on User Interface Software and Technology, 1997

Abstract Interpretation: A Theory of Approximate Computation.
Proceedings of the Static Analysis, 4th International Symposium, 1997

Constraints for the Web.
Proceedings of the Fifth ACM International Conference on Multimedia '97, 1997

Optimization of Logic Programs with Dynamic Scheduling.
Proceedings of the Logic Programming, 1997

1996
Negative Boolean Constraints.
Theor. Comput. Sci., 1996

Towards a Hierarchy of Visual Languages.
Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996

Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs.
Proceedings of the Static Analysis, Third International Symposium, 1996

Effectiveness of Optimizing Compilation for CLP(R).
Proceedings of the Logic Programming, 1996

Constrained Graph Layout.
Proceedings of the Graph Drawing, Symposium on Graph Drawing, 1996

Automatic construction of user interfaces for pen-based computers.
Proceedings of the workshop on Advanced visual interfaces 1996, 1996

Independence in Dynamically Scheduled Logic Languages.
Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

1995
Spatial Query Optimization: From Boolean Constraints to Range Queries.
J. Comput. Syst. Sci., 1995

Incremental Constraint Deletion in Systems of Linear Constraints.
Inf. Process. Lett., 1995

Automatic Construction of User Interfaces from Constraint Multiset Grammars.
Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995

Efficient Analysis of Logic Programs with Dynamic Scheduling.
Proceedings of the Logic Programming, 1995

Parsing Visual Languages with Constraint Multiset Grammars
Proceedings of the Programming Languages: Implementations, 1995

Incremental Analysis of Logic Programs.
Proceedings of the Logic Programming, 1995

A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice.
Proceedings of the Principles and Practice of Constraint Programming, 1995

An Optimizing Compiler for CLP(R).
Proceedings of the Principles and Practice of Constraint Programming, 1995

Confluence in Concurrent Constraint Programming.
Proceedings of the Algebraic Methodology and Software Technology, 1995

1994
Denotational Abstract Interpretation of Logic Programs.
ACM Trans. Program. Lang. Syst., 1994

Suspension Analyses for Concurrent Logic Programs.
ACM Trans. Program. Lang. Syst., 1994

Constraint Multiset Grammars.
Proceedings of the Proceedings IEEE Symposium on Visual Languages, 1994

Approximating Interaction between Linear Arithmetic Constraints.
Proceedings of the Logic Programming, 1994

Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation.
SAS, 1994

Analyzing Logic Programs with Dynamic Scheduling.
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Semantics of Constraint Logic Programs with Optimization.
Proceedings of the Integration of Declarative Paradigms, 1994

Denotational semantics for Concurrent Constraint Programs analyses.
Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

Confluence and Concurrent Constraint Programming.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993
Difference-List Transformation for Prolog.
New Generation Comput., 1993

Semantics of Constraint Logic Programs with Optimization.
LOPLAS, 1993

Precise and Efficient Groundness Analysis for Logic Programs.
LOPLAS, 1993

Frameworks for Abstract Interpretation.
Acta Inf., 1993

Independence in Constraint Logic Programs.
Proceedings of the Logic Programming, 1993

The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering.
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Compositional Analysis for Concurrent Constraint Programming
Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

Independence in Constraint Logic Programs.
Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, 1993

Efficient Analysis of Concurrent Constraint Logic Programs.
Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

1992
Bottom-Up Dataflow Analysis of Normal Logic Programs.
J. Log. Program., 1992

Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs.
Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux), 1992

An Object-Oriented Architecture for Constraint-Based Graphical Editing.
Proceedings of the Object-Oriented Programming for Graphics, 1992

Understanding Finiteness Analysis Using Abstract Interpretation.
Proceedings of the Logic Programming, 1992

1991
A declarative specification and semantics for visual languages.
J. Vis. Lang. Comput., 1991

Some Global Compile-Time Optimizations for CLP(R).
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Constraint-Based Query Optimization for Spatial Databases.
Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1991

Elimination of Negation in Term Algebras.
Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

Suspension Analysis for Concurrent Logic Programs.
Proceedings of the Logic Programming, 1991

1990
Most Specific Logic Programs.
Ann. Math. Artif. Intell., 1990

Declarative Specification of Visual Languages.
Proceedings of the 1990 IEEE Workshop on Visual Languages, 1990

A Characterization of Non-Floundering Logic Programs.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Analysis of Constraint Logic Programs.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

1989
On prolog and the occur check problem.
SIGPLAN Notices, 1989

Semantics-Based Dataflow Analysis of Logic Programs.
IFIP Congress, 1989

1988
Bottom-up Abstract Interpretation of Logic Programs.
Proceedings of the Logic Programming, 1988

Most Specific Logic Programs.
Proceedings of the Logic Programming, 1988

Unification Revisited
Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

1987
Book Review: Prolog for Programmers, by Feliks Kluzniak and Stanislaw Szpakowicz.
J. Log. Program., 1987

Explicit Representation of Terms Defined by Counter Examples.
J. Autom. Reasoning, 1987

1986
Declarative Graphics.
Proceedings of the Third International Conference on Logic Programming, 1986

Explicit Representation of Terms Defined by Counter Examples.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1986

Unification Revisited.
Proceedings of the Foundations of Logic and Functional Programming, 1986


  Loading...