Kim Marriott - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

GraVVITAS: Generic Multi-touch Presentation of Accessible GraphicsCagatay Goncu, Kim Marriott. INTERACT 2011: 30-48 [doi]

Hi-Trees and Their LayoutKim Marriott, Peter Sbarski, Tim van Gelder, Daniel Prager, Andy Bulka. tvcg, 17(3):290-304, 2011. [doi]

2010

2009

2008

Dunnart: A Constraint-Based Network Diagram Authoring ToolTim Dwyer, Kim Marriott, Michael Wybrow. gd 2009: 420-431 [doi]

Interactive, Constraint-based Layout of Engineering DiagramsTim Dwyer, Kim Marriott, Michael Wybrow. eceasst, 13, 2008. [doi]

Exploration of Networks using overview+detail with Constraint-based cooperative layoutTim Dwyer, Kim Marriott, Falk Schreiber, Peter J. Stuckey, Michael Woodward, Michael Wybrow. tvcg, 14(6):1293-1300, 2008. [doi]

Topology Preserving Constrained Graph LayoutTim Dwyer, Kim Marriott, Michael Wybrow. gd 2009: 230-241 [doi]

Smooth Linear Approximation of Non-overlap ConstraintsGraeme Gange, Kim Marriott, Peter J. Stuckey. diagrams 2008: 45-59 [doi]

Tactile chart generation toolCagatay Goncu, Kim Marriott. assets 2008: 255-256 [doi]

Satisficing scrolls: a shortcut to satisfactory layoutNathan Hurst, Kim Marriott. DOCENG 2008: 131-140 [doi]

The Design of the Zinc Modelling LanguageKim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace. constraints, 13(3):229-267, 2008. [doi]

Authoring adaptive diagramsCameron L. McCormack, Kim Marriott, Bernd Meyer. DOCENG 2008: 154-163 [doi]

Adding Search to ZincReza Rafeh, Kim Marriott, Maria Garcia de la Banda, Nicholas Nethercote, Mark Wallace. cp 2008: 624-629 [doi]

Visualizing Argument StructurePeter Sbarski, Tim van Gelder, Kim Marriott, Daniel Prager, Andy Bulka. isvc 2008: 129-138 [doi]

Comparing usability of one-way and multi-way constraints for diagram editingMichael Wybrow, Kim Marriott, Linda Mciver, Peter J. Stuckey. TOCHI, 14(4), 2008. [doi]

2007

2006

Adding Constraint Solving to MercuryRalph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace. padl 2006: 118-133 [doi]

The Modelling Language ZincMaria J. García de la Banda, Kim Marriott, Reza Rafeh, Mark Wallace. cp 2006: 700-705 [doi]

Fast Node Overlap Removal - CorrectionTim Dwyer, Kim Marriott, Peter J. Stuckey. gd 2007: 446-447 [doi]

Integrating Edge Routing into Force-Directed LayoutTim Dwyer, Kim Marriott, Michael Wybrow. gd 2007: 8-19 [doi]

Drawing Directed Graphs Using Quadratic ProgrammingTim Dwyer, Yehuda Koren, Kim Marriott. tvcg, 12(4):536-548, 2006. [doi]

IPSep-CoLa: An Incremental Procedure for Separation Constraint Layout of GraphsTim Dwyer, Yehuda Koren, Kim Marriott. tvcg, 12(5):821-828, 2006. [doi]

Minimum sized text containment shapesNathan Hurst, Kim Marriott, Peter Moulder. DOCENG 2006: 3-12 [doi]

Solving the simple continuous table layout problemNathan Hurst, Kim Marriott, David W. Albrecht. DOCENG 2006: 28-30 [doi]

2005

Checking modes of HAL progamsMaria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen. tplp, 5(6):623-668, 2005. [doi]

Fast Node Overlap RemovalTim Dwyer, Kim Marriott, Peter J. Stuckey. gd 2006: 153-164 [doi]

Stress Majorization with Orthogonal Ordering ConstraintsTim Dwyer, Yehuda Koren, Kim Marriott. gd 2006: 141-152 [doi]

Toward tighter tablesNathan Hurst, Kim Marriott, Peter Moulder. DOCENG 2005: 74-83 [doi]

Layout of Bayesian NetworksKim Marriott, Peter Moulder, Lucas R. Hope, Charles Twardy. acsc 2005: 97-106 [doi]

The G12 Project: Mapping Solver Independent Models to Efficient SolutionsPeter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh. ICLP 2005: 9-13 [doi]

The G12 Project: Mapping Solver Independent Models to Efficient SolutionsPeter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh. cp 2005: 13-16 [doi]

Incremental Connector RoutingMichael Wybrow, Kim Marriott, Peter J. Stuckey. gd 2006: 446-457 [doi]

2004

Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, ProceedingsAlan F. Blackwell, Kim Marriott, Atsushi Shimojima, editors, Volume 2980 of Lecture Notes in Computer Science, Springer, 2004.

Herbrand Constraints in HALBart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey. LOPSTR 2004: 499-538 [doi]

Cider: A Component-Based Toolkit for Creating Smart Diagram EnvironmentsAnthony R. Jansen, Kim Marriott, Bernd Meyer. diagrams 2004: 415-419 [doi]

Towards Flexible Graphical Communication Using Adaptive DiagramsKim Marriott, Bernd Meyer, Peter J. Stuckey. asian 2004: 380-394 [doi]

NP-Completeness of Minimal Width Unordered Tree LayoutKim Marriott, Peter J. Stuckey. jgaa, 8(2):295-312, 2004. [doi]

Constraint SVGCameron L. McCormack, Kim Marriott, Bernd Meyer. WWW 2004: 310-311 [doi]

A Generic Framework for Context-Sensitive Analysis of Modular ProgramsGermán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey. LOPSTR 2004: 233-260 [doi]

2003

2002

2001

2000

Restricted Focus Viewer: A Tool for Tracking Visual AttentionAlan F. Blackwell, Anthony R. Jansen, Kim Marriott. diagrams 2000: 162-177 [doi]

Constraint-based document layout for the WebAlan Borning, Richard Kuang-Hsu Lin, Kim Marriott. mms, 8(3):177-189, 2000. [doi]

A Model for Inter-module Analysis and Optimizing CompilationFrancisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey. LOPSTR 2001: 86-102 [doi]

A model for inter-module analysis and optimizing compilationFrancisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey. LOPSTR 2001: [doi]

Improving Program Analyses, by Structure UntuplingMichael Codish, Kim Marriott, Cohavit Taboch. jlp, 43(3):251-263, 2000.

Independence in CLP languagesMaria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott. TOPLAS, 22(2):296-339, 2000. [doi]

Model Checking in HALMaria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott. cl 2000: 1270-1284 [doi]

Incremental analysis of constraint logic programsManuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey. TOPLAS, 22(2):187-223, 2000. [doi]

Non-standard Logics for Diagram InterpretationKim Marriott, Bernd Meyer. diagrams 2000: 42-57 [doi]

Formal Approaches to Visual Language Specification and UnderstandingKim Marriott. diagrams 2000: 3 [doi]

1999

Constraint Cascading Style Sheets for the WebGreg J. Badros, Alan Borning, Kim Marriott, Peter J. Stuckey. uist 1999: 73-82 [doi]

Constraint-Based Diagram BeautificationSitt Sen Chok, Kim Marriott, Tom Paton. vl 1999: 12-19 [doi]

An Overview of HALBart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey. cp 1999: 174-188

Herbrand Constraint Solving in HALBart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey. ICLP 1999: 260-274

The AAAI Fall SymposiaGiuseppe De Giacomo, Marie desJardins, Dolores Cañamero, Glenn S. Wasson, Michael L. Littman, Gerard Allwein, Kim Marriott, Bernd Meyer, Barbara Webb, Tom Con. aim, 20(3):87-89, 1999.

Guest Editor s IntroductionKim Marriott, Bernd Meyer. vlc, 10(4):313-316, 1999.

Book reviewsKim Marriott, Peter J. Stuckey. sigart, 10(2):39-47, 1999. [doi]

1998

Two Classes of Boolean Functions for Dependency AnalysisTania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard. SCP, 31(1):3-45, 1998.

Automatic Construction of Intelligent Diagram EditorsSitt Chen Chok, Kim Marriott. uist 1998: 185-194 [doi]

Introduction to the Special IssueIsabel F. Cruz, Kim Marriott, Pascal Van Hentenryck. constraints, 3(1):5-7, 1998.

Differential Methods in Logic Program AnalysisMaria J. García de la Banda, Kim Marriott, Peter J. Stuckey, Harald Søndergaard. jlp, 35(1):1-37, 1998.

Constrained Graph LayoutWeiqing He, Kim Marriott. constraints, 3(4):289-314, 1998.

The Semantics of Constraint Logic ProgramsJoxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey. jlp, 37(1-3):1-46, 1998.

Optimizing Compilation of CLP(R)Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap. TOPLAS, 20(6):1223-1250, 1998. [doi]

A Tableau Based Constraint Solving Toolkit for Interactive Graphical ApplicationsKim Marriott, Sitt Chen Chok, Alan Finlay. cp 1998: 340-354 [doi]

A Practical Object-Oriented Analysis Engine for CLPKim Marriott, Harald Søndergaard, Peter J. Stuckey. SPE, 28(2):199-224, 1998.

1997

Solving Linear Arithmetic Constraints for User Interface ApplicationsAlan Borning, Kim Marriott, Peter J. Stuckey, Yi Xiao. uist 1997: 87-96 [doi]

Constraints for the WebAlan Borning, Richard Lin, Kim Marriott. mm 1997: 173-182 [doi]

Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure OperatorsMoreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi. iandc, 137(1):41-67, 1997.

Abstract Interpretation: A Theory of Approximate ComputationKim Marriott. SAS 1997: 367-378

Algebraic and Logical Semantics for CLP Languages with Dynamic SchedulingKim Marriott. jlp, 32(1):71-84, 1997.

On the Classification of Visual Languages by Grammar HierarchiesKim Marriott, Bernd Meyer. vlc, 8(4):375-402, 1997.

A Confluent Calculus for Concurrent Constraint ProgrammingKim Marriott, Martin Odersky. TCS, 173(1):209-233, 1997. [doi]

Optimization of Logic Programs with Dynamic SchedulingGermán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey. ICLP 1997: 93-107

PreviousNext