 | 2009 |
|---|
| 148 |       | Nathan Hurst,
Wilmot Li,
Kim Marriott:
Review of automatic document formatting.
ACM Symposium on Document Engineering 2009: 99-108 |
| 147 | | Cameron Braganza,
Kim Marriott,
Peter Moulder,
Michael Wybrow,
Tim Dwyer:
Scrolling behaviour with single- and multi-column layout.
WWW 2009: 831-840 |
| 2008 |
|---|
| 146 | | Nathan Hurst,
Kim Marriott:
Satisficing scrolls: a shortcut to satisfactory layout.
ACM Symposium on Document Engineering 2008: 131-140 |
| 145 | | Cameron L. McCormack,
Kim Marriott,
Bernd Meyer:
Authoring adaptive diagrams.
ACM Symposium on Document Engineering 2008: 154-163 |
| 144 | | Cagatay Goncu,
Kim Marriott:
Tactile chart generation tool.
ASSETS 2008: 255-256 |
| 143 | | Reza Rafeh,
Kim Marriott,
Maria Garcia de la Banda,
Nicholas Nethercote,
Mark Wallace:
Adding Search to Zinc.
CP 2008: 624-629 |
| 142 | | Graeme Gange,
Kim Marriott,
Peter J. Stuckey:
Smooth Linear Approximation of Non-overlap Constraints.
Diagrams 2008: 45-59 |
| 141 | | Tim Dwyer,
Kim Marriott,
Michael Wybrow:
Topology Preserving Constrained Graph Layout.
Graph Drawing 2008: 230-241 |
| 140 | | Tim Dwyer,
Kim Marriott,
Michael Wybrow:
Dunnart: A Constraint-Based Network Diagram Authoring Tool.
Graph Drawing 2008: 420-431 |
| 139 | | Peter Sbarski,
Tim van Gelder,
Kim Marriott,
Daniel Prager,
Andy Bulka:
Visualizing Argument Structure.
ISVC (1) 2008: 129-138 |
| 138 | | Michael Wybrow,
Kim Marriott,
Linda Mciver,
Peter J. Stuckey:
Comparing usability of one-way and multi-way constraints for diagram editing.
ACM Trans. Comput.-Hum. Interact. 14(4): (2008) |
| 137 | | Kim Marriott,
Nicholas Nethercote,
Reza Rafeh,
Peter J. Stuckey,
Maria Garcia de la Banda,
Mark Wallace:
The Design of the Zinc Modelling Language.
Constraints 13(3): 229-267 (2008) |
| 136 | | Tim Dwyer,
Kim Marriott,
Michael Wybrow:
Interactive, Constraint-based Layout of Engineering Diagrams.
ECEASST 13: (2008) |
| 135 | | Tim Dwyer,
Kim Marriott,
Falk Schreiber,
Peter J. Stuckey,
Michael Woodward,
Michael Wybrow:
Exploration of Networks using overview+detail with Constraint-based cooperative layout.
IEEE Trans. Vis. Comput. Graph. 14(6): 1293-1300 (2008) |
| 2007 |
|---|
| 134 | | Kim Marriott,
Peter Moulder,
Nathan Hurst:
Automatic float placement in multi-column documents.
ACM Symposium on Document Engineering 2007: 125-134 |
| 133 | | Nathan Hurst,
Kim Marriott:
Approximating text by its area.
ACM Symposium on Document Engineering 2007: 147-150 |
| 132 | | Kim Marriott,
Peter Sbarski:
Compact Layout of Layered Trees.
ACSC 2007: 7-14 |
| 131 | | Adrian C. Bickerstaffe,
Aidan Lane,
Bernd Meyer,
Kim Marriott:
Developing Domain-Specific Gesture Recognizers for Smart Diagram Environments.
GREC 2007: 145-156 |
| 130 | | Tim Dwyer,
Kim Marriott:
Constrained Stress Majorization Using Diagonally Scaled Gradient Projection.
Graph Drawing 2007: 219-230 |
| 129 | | Reza Rafeh,
Maria J. García de la Banda,
Kim Marriott,
Mark Wallace:
From Zinc to Design Model.
PADL 2007: 215-229 |
| 2006 |
|---|
| 128 | | Nathan Hurst,
Kim Marriott,
David W. Albrecht:
Solving the simple continuous table layout problem.
ACM Symposium on Document Engineering 2006: 28-30 |
| 127 | | Nathan Hurst,
Kim Marriott,
Peter Moulder:
Minimum sized text containment shapes.
ACM Symposium on Document Engineering 2006: 3-12 |
| 126 | | Maria J. García de la Banda,
Kim Marriott,
Reza Rafeh,
Mark Wallace:
The Modelling Language Zinc.
CP 2006: 700-705 |
| 125 | | Tim Dwyer,
Kim Marriott,
Peter J. Stuckey:
Fast Node Overlap Removal - Correction.
Graph Drawing 2006: 446-447 |
| 124 | | Tim Dwyer,
Kim Marriott,
Michael Wybrow:
Integrating Edge Routing into Force-Directed Layout.
Graph Drawing 2006: 8-19 |
| 123 | | Ralph Becket,
Maria J. García de la Banda,
Kim Marriott,
Zoltan Somogyi,
Peter J. Stuckey,
Mark Wallace:
Adding Constraint Solving to Mercury.
PADL 2006: 118-133 |
| 122 | | Tim Dwyer,
Yehuda Koren,
Kim Marriott:
Drawing Directed Graphs Using Quadratic Programming.
IEEE Trans. Vis. Comput. Graph. 12(4): 536-548 (2006) |
| 121 | | Tim Dwyer,
Yehuda Koren,
Kim Marriott:
IPSep-CoLa: An Incremental Procedure for Separation Constraint Layout of Graphs.
IEEE Trans. Vis. Comput. Graph. 12(5): 821-828 (2006) |
| 2005 |
|---|
| 120 | | Nathan Hurst,
Kim Marriott,
Peter Moulder:
Toward tighter tables.
ACM Symposium on Document Engineering 2005: 74-83 |
| 119 | | Kim Marriott,
Peter Moulder,
Lucas R. Hope,
Charles Twardy:
Layout of Bayesian Networks.
ACSC 2005: 97-106 |
| 118 | | Peter J. Stuckey,
Maria J. García de la Banda,
Michael J. Maher,
Kim Marriott,
John K. Slaney,
Zoltan Somogyi,
Mark Wallace,
Toby Walsh:
The G12 Project: Mapping Solver Independent Models to Efficient Solutions.
CP 2005: 13-16 |
| 117 | | Tim Dwyer,
Yehuda Koren,
Kim Marriott:
Stress Majorization with Orthogonal Ordering Constraints.
Graph Drawing 2005: 141-152 |
| 116 | | Tim Dwyer,
Kim Marriott,
Peter J. Stuckey:
Fast Node Overlap Removal.
Graph Drawing 2005: 153-164 |
| 115 | | Michael Wybrow,
Kim Marriott,
Peter J. Stuckey:
Incremental Connector Routing.
Graph Drawing 2005: 446-457 |
| 114 | | Peter J. Stuckey,
Maria J. García de la Banda,
Michael J. Maher,
Kim Marriott,
John K. Slaney,
Zoltan Somogyi,
Mark Wallace,
Toby Walsh:
The G12 Project: Mapping Solver Independent Models to Efficient Solutions.
ICLP 2005: 9-13 |
| 113 | | Maria J. García de la Banda,
Warwick Harvey,
Kim Marriott,
Peter J. Stuckey,
Bart Demoen:
Checking modes of HAL progams.
TPLP 5(6): 623-668 (2005) |
| 2004 |
|---|
| 112 |  | Alan F. Blackwell,
Kim Marriott,
Atsushi Shimojima:
Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings
Springer 2004 |
| 111 | | Kim Marriott,
Bernd Meyer,
Peter J. Stuckey:
Towards Flexible Graphical Communication Using Adaptive Diagrams.
ASIAN 2004: 380-394 |
| 110 | | Anthony R. Jansen,
Kim Marriott,
Bernd Meyer:
Cider: A Component-Based Toolkit for Creating Smart Diagram Environments.
Diagrams 2004: 415-419 |
| 109 | | Germán Puebla,
Jesús Correas,
Manuel V. Hermenegildo,
Francisco Bueno,
Maria J. García de la Banda,
Kim Marriott,
Peter J. Stuckey:
A Generic Framework for Context-Sensitive Analysis of Modular Programs.
Program Development in Computational Logic 2004: 233-260 |
| 108 | | Bart Demoen,
Maria J. García de la Banda,
Warwick Harvey,
Kim Marriott,
David Overton,
Peter J. Stuckey:
Herbrand Constraints in HAL.
Program Development in Computational Logic 2004: 499-538 |
| 107 | | Cameron L. McCormack,
Kim Marriott,
Bernd Meyer:
Constraint SVG.
WWW (Alternate Track Papers & Posters) 2004: 310-311 |
| 106 | | Maria J. García de la Banda,
Warwick Harvey,
Kim Marriott,
Peter J. Stuckey,
Bart Demoen:
Checking modes of HAL programs
CoRR cs.PL/0409038: (2004) |
| 105 | | Kim Marriott,
Peter J. Stuckey:
NP-Completeness of Minimal Width Unordered Tree Layout.
J. Graph Algorithms Appl. 8(2): 295-312 (2004) |
| 2003 |
|---|
| 104 | | Nathan Hurst,
Kim Marriott,
Peter Moulder:
Cobweb: A Constraint-Based WEB Browser.
ACSC 2003: 247-254 |
| 103 | | Kim Marriott,
Peter J. Stuckey,
Martin Sulzmann:
Resource Usage Verification.
APLAS 2003: 212-229 |
| 102 | | M. Cameron,
Maria J. García de la Banda,
Kim Marriott,
Peter Moulder:
ViMer: a visual debugger for mercury.
PPDP 2003: 56-66 |
| 101 | | Sitt Sen Chok,
Kim Marriott:
Automatic generation of intelligent diagram editors.
ACM Trans. Comput.-Hum. Interact. 10(3): 244-276 (2003) |
| 100 | | Kim Marriott,
Peter J. Stuckey,
Vincent Tam,
Weiqing He:
Removing Node Overlapping in Graph Layout Using Constrained Optimization.
Constraints 8(2): 143-171 (2003) |
| 2002 |
|---|
| 99 | | Maria J. García de la Banda,
Bart Demoen,
Kim Marriott,
Peter J. Stuckey:
To the Gates of HAL: A HAL Tutorial.
FLOPS 2002: 47-66 |
| 98 | | Nathan Hurst,
Kim Marriott,
Peter Moulder:
Dynamic approximation of complex graphical constraints by linear constraints.
UIST 2002: 191-200 |
| 97 | | Kim Marriott,
Bernd Meyer,
Laurent Tardif:
Fast and efficient client-side adaptivity for SVG.
WWW 2002: 496-507 |
| 96 | | Kim Marriott,
Sitt Sen Chok:
QOCA: A Constraint Solving Toolkit for Interactive Graphical Applications.
Constraints 7(3-4): 229-254 (2002) |
| 95 | | Trevor Hansen,
Kim Marriott,
Bernd Meyer,
Peter J. Stuckey:
Flexible Graph Layout for the Web.
J. Vis. Lang. Comput. 13(1): 35-60 (2002) |
| 2001 |
|---|
| 94 | | Kim Marriott,
Peter Moulder,
Peter J. Stuckey,
Alan Borning:
Solving Disjunctive Constraints for Interactive Graphical Applications.
CP 2001: 361-376 |
| 93 | | Maria J. García de la Banda,
David Jeffery,
Kim Marriott,
Nicholas Nethercote,
Peter J. Stuckey,
Christian Holzbaur:
Building Constraint Solvers with HAL.
ICLP 2001: 90-104 |
| 92 | | Paolo Bottoni,
Bernd Meyer,
Kim Marriott,
Francesco Parisi-Presicce:
Deductive Parsing of Visual Languages.
LACL 2001: 79-94 |
| 91 | | Greg J. Badros,
Jojada J. Tirtowidjojo,
Kim Marriott,
Bernd Meyer,
Will Portnoy,
Alan Borning:
A constraint extension to scalable vector graphics.
WWW 2001: 489-498 |
| 2000 |
|---|
| 90 | | Maria J. García de la Banda,
Peter J. Stuckey,
Warwick Harvey,
Kim Marriott:
Model Checking in HAL.
Computational Logic 2000: 1270-1284 |
| 89 | | Alan F. Blackwell,
Anthony R. Jansen,
Kim Marriott:
Restricted Focus Viewer: A Tool for Tracking Visual Attention.
Diagrams 2000: 162-177 |
| 88 | | Kim Marriott:
Formal Approaches to Visual Language Specification and Understanding.
Diagrams 2000: 3 |
| 87 | | Kim Marriott,
Bernd Meyer:
Non-standard Logics for Diagram Interpretation.
Diagrams 2000: 42-57 |
| 86 | | Francisco Bueno,
Maria J. García de la Banda,
Manuel V. Hermenegildo,
Kim Marriott,
Germán Puebla,
Peter J. Stuckey:
A model for inter-module analysis and optimizing compilation.
LOPSTR 2000 |
| 85 | | Francisco Bueno,
Maria J. García de la Banda,
Manuel V. Hermenegildo,
Kim Marriott,
Germán Puebla,
Peter J. Stuckey:
A Model for Inter-module Analysis and Optimizing Compilation.
LOPSTR (LNCS 2042: Selected Papers) 2000: 86-102 |
| 84 | | Manuel V. Hermenegildo,
Germán Puebla,
Kim Marriott,
Peter J. Stuckey:
Incremental analysis of constraint logic programs.
ACM Trans. Program. Lang. Syst. 22(2): 187-223 (2000) |
| 83 | | Maria J. García de la Banda,
Manuel V. Hermenegildo,
Kim Marriott:
Independence in CLP languages.
ACM Trans. Program. Lang. Syst. 22(2): 296-339 (2000) |
| 82 | | Michael Codish,
Kim Marriott,
Cohavit Taboch:
Improving Program Analyses, by Structure Untupling.
J. Log. Program. 43(3): 251-263 (2000) |
| 81 | | Alan Borning,
Richard Kuang-Hsu Lin,
Kim Marriott:
Constraint-based document layout for the Web.
Multimedia Syst. 8(3): 177-189 (2000) |
| 1999 |
|---|
| 80 | | Greg J. Badros,
Alan Borning,
Kim Marriott,
Peter J. Stuckey:
Constraint Cascading Style Sheets for the Web.
ACM Symposium on User Interface Software and Technology 1999: 73-82 |
| 79 | | Bart Demoen,
Maria J. García de la Banda,
Warwick Harvey,
Kim Marriott,
Peter J. Stuckey:
An Overview of HAL.
CP 1999: 174-188 |
| 78 | | Bart Demoen,
Maria J. García de la Banda,
Warwick Harvey,
Kim Marriott,
Peter J. Stuckey:
Herbrand Constraint Solving in HAL.
ICLP 1999: 260-274 |
| 77 | | Sitt Sen Chok,
Kim Marriott,
Tom Paton:
Constraint-Based Diagram Beautification.
VL 1999: 12-19 |
| 76 | | Giuseppe De Giacomo,
Marie desJardins,
Dolores Cañamero,
Glenn S. Wasson,
Michael L. Littman,
Gerard Allwein,
Kim Marriott,
Bernd Meyer,
Barbara Webb,
Tom Con:
The AAAI Fall Symposia.
AI Magazine 20(3): 87-89 (1999) |
| 75 | | Kim Marriott,
Peter J. Stuckey:
Book reviews.
Intelligence 10(2): 39-47 (1999) |
| 74 | | Kim Marriott,
Bernd Meyer:
Guest Editor's Introduction.
J. Vis. Lang. Comput. 10(4): 313-316 (1999) |
| 1998 |
|---|
| 73 | | Sitt Chen Chok,
Kim Marriott:
Automatic Construction of Intelligent Diagram Editors.
ACM Symposium on User Interface Software and Technology 1998: 185-194 |
| 72 | | Kim Marriott,
Sitt Chen Chok,
Alan Finlay:
A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications.
CP 1998: 340-354 |
| 71 | | Andrew D. Kelly,
Kim Marriott,
Andrew D. Macdonald,
Peter J. Stuckey,
Roland H. C. Yap:
Optimizing Compilation of CLP(R).
ACM Trans. Program. Lang. Syst. 20(6): 1223-1250 (1998) |
| 70 | | Isabel F. Cruz,
Kim Marriott,
Pascal Van Hentenryck:
Introduction to the Special Issue.
Constraints 3(1): 5-7 (1998) |
| 69 | | Weiqing He,
Kim Marriott:
Constrained Graph Layout.
Constraints 3(4): 289-314 (1998) |
| 68 | | Maria J. García de la Banda,
Kim Marriott,
Peter J. Stuckey,
Harald Søndergaard:
Differential Methods in Logic Program Analysis.
J. Log. Program. 35(1): 1-37 (1998) |
| 67 | | Joxan Jaffar,
Michael J. Maher,
Kim Marriott,
Peter J. Stuckey:
The Semantics of Constraint Logic Programs.
J. Log. Program. 37(1-3): 1-46 (1998) |
| 66 | | Tania Armstrong,
Kim Marriott,
Peter Schachte,
Harald Søndergaard:
Two Classes of Boolean Functions for Dependency Analysis.
Sci. Comput. Program. 31(1): 3-45 (1998) |
| 65 | | Kim Marriott,
Harald Søndergaard,
Peter J. Stuckey:
A Practical Object-Oriented Analysis Engine for CLP.
Softw., Pract. Exper. 28(2): 199-224 (1998) |
| 1997 |
|---|
| 64 | | Alan Borning,
Richard Kuang-Hsu Lin,
Kim Marriott:
Constraints for the Web.
ACM Multimedia 1997: 173-182 |
| 63 | | Alan Borning,
Kim Marriott,
Peter J. Stuckey,
Yi Xiao:
Solving Linear Arithmetic Constraints for User Interface Applications.
ACM Symposium on User Interface Software and Technology 1997: 87-96 |
| 62 | | Germán Puebla,
Maria J. García de la Banda,
Kim Marriott,
Peter J. Stuckey:
Optimization of Logic Programs with Dynamic Scheduling.
ICLP 1997: 93-107 |
| 61 | | Kim Marriott:
Abstract Interpretation: A Theory of Approximate Computation.
SAS 1997: 367-378 |
| 60 | | Moreno Falaschi,
Maurizio Gabbrielli,
Kim Marriott,
Catuscia Palamidessi:
Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators.
Inf. Comput. 137(1): 41-67 (1997) |
| 59 | | Michael Codish,
Moreno Falaschi,
Kim Marriott,
William H. Winsborough:
A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs.
J. Log. Program. 30(1): 53-81 (1997) |
| 58 | | Kim Marriott:
Algebraic and Logical Semantics for CLP Languages with Dynamic Scheduling.
J. Log. Program. 32(1): 71-84 (1997) |
| 57 | | Kim Marriott,
Bernd Meyer:
On the Classification of Visual Languages by Grammar Hierarchies.
J. Vis. Lang. Comput. 8(4): 375-402 (1997) |
| 56 | | Kim Marriott,
Martin Odersky:
A Confluent Calculus for Concurrent Constraint Programming.
Theor. Comput. Sci. 173(1): 209-233 (1997) |
| 55 | | Moreno Falaschi,
Maurizio Gabbrielli,
Kim Marriott,
Catuscia Palamidessi:
Confluence in Concurrent Constraint Programming.
Theor. Comput. Sci. 183(2): 281-315 (1997) |
| 1996 |
|---|
| 54 | | Maria J. García de la Banda,
Manuel V. Hermenegildo,
Kim Marriott:
Independence in Dynamically Scheduled Logic Languages.
ALP 1996: 47-61 |
| 53 | | Sitt Sen Chok,
Kim Marriott:
Automatic construction of user interfaces for pen-based computers.
AVI 1996: 254-256 |
| 52 | | Weiqing He,
Kim Marriott:
Constrained Graph Layout.
Graph Drawing 1996: 217-232 |
| 51 | | Andrew D. Kelly,
Andrew D. Macdonald,
Kim Marriott,
Peter J. Stuckey,
Roland H. C. Yap:
Effectiveness of Optimizing Compilation for CLP(R).
JICSLP 1996: 37-51 |
| 50 | | Andrew D. Kelly,
Kim Marriott,
Harald Søndergaard,
Peter J. Stuckey:
Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs.
SAS 1996: 385-386 |
| 49 | | Kim Marriott,
Bernd Meyer:
Towards a Hierarchy of Visual Languages.
VL 1996: 196-203 |
| 48 | | Kim Marriott,
Martin Odersky:
Negative Boolean Constraints.
Theor. Comput. Sci. 160(1&2): 365-380 (1996) |
| 1995 |
|---|
| 47 | | Moreno Falaschi,
Maurizio Gabbrielli,
Kim Marriott,
Catuscia Palamidessi:
Confluence in Concurrent Constraint Programming.
AMAST 1995: 531-545 |
| 46 | | Andrew D. Kelly,
Andrew D. Macdonald,
Kim Marriott,
Harald Søndergaard,
Peter J. Stuckey,
Roland H. C. Yap:
An Optimizing Compiler for CLP(R).
CP 1995: 222-239 |
| 45 | | Kim Marriott,
Martin Odersky:
A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice.
CP 1995: 310-327 |
| 44 | | Manuel V. Hermenegildo,
Germán Puebla,
Kim Marriott,
Peter J. Stuckey:
Incremental Analysis of Logic Programs.
ICLP 1995: 797-811 |
| 43 | | Maria J. García de la Banda,
Kim Marriott,
Peter J. Stuckey:
Efficient Analysis of Logic Programs with Dynamic Scheduling.
ILPS 1995: 417-431 |
| 42 | | Kim Marriott:
Parsing Visual Languages with Constraint Multiset Grammars
PLILP 1995: 24-25 |
| 41 | | Sitt Sen Chok,
Kim Marriott:
Automatic Construction of User Interfaces from Constraint Multiset Grammars.
VL 1995: 242-249 |
| 40 | | Tien Huynh,
Kim Marriott:
Incremental Constraint Deletion in Systems of Linear Constraints.
Inf. Process. Lett. 55(2): 111-115 (1995) |
| 39 | | Richard Helm,
Kim Marriott,
Martin Odersky:
Spatial Query Optimization: From Boolean Constraints to Range Queries.
J. Comput. Syst. Sci. 51(2): 197-210 (1995) |
| 1994 |
|---|
| 38 | | Moreno Falaschi,
Maurizio Gabbrielli,
Kim Marriott,
Catuscia Palamidessi:
Confluence and Concurrent Constraint Programming.
GULP-PRODE (1) 1994: 140-154 |
| 37 | | Kim Marriott,
Peter J. Stuckey:
Semantics of Constraint Logic Programs with Optimization.
ICLP Workshop: Integration of Declarative Paradigms 1994: 23-35 |
| 36 | | Kim Marriott,
Maria J. García de la Banda,
Manuel V. Hermenegildo:
Analyzing Logic Programs with Dynamic Scheduling.
POPL 1994: 240-253 |
| 35 | | Tania Armstrong,
Kim Marriott,
Peter Schachte,
Harald Søndergaard:
Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation.
SAS 1994: 266-280 |
| 34 | | Kim Marriott,
Peter J. Stuckey:
Approximating Interaction between Linear Arithmetic Constraints.
SLP 1994: 571-585 |
| 33 | | Kim Marriott:
Constraint Multiset Grammars.
VL 1994: 118-125 |
| 32 | | Kim Marriott,
Harald Søndergaard,
Neil D. Jones:
Denotational Abstract Interpretation of Logic Programs.
ACM Trans. Program. Lang. Syst. 16(3): 607-648 (1994) |
| 31 | | Michael Codish,
Moreno Falaschi,
Kim Marriott:
Suspension Analyses for Concurrent Logic Programs.
ACM Trans. Program. Lang. Syst. 16(3): 649-686 (1994) |
| 1993 |
|---|
| 30 | | Michael Codish,
Moreno Falaschi,
Kim Marriott,
William H. Winsborough:
Efficient Analysis of Concurrent Constraint Logic Programs.
ICALP 1993: 633-644 |
| 29 | | Maria J. García de la Banda,
Manuel V. Hermenegildo,
Kim Marriott:
Independence in Constraint Logic Programs.
ILPS 1993: 130-146 |
| 28 | | Moreno Falaschi,
Maurizio Gabbrielli,
Kim Marriott,
Catuscia Palamidessi:
Compositional Analysis for Concurrent Constraint Programming
LICS 1993: 210-221 |
| 27 | | Kim Marriott,
Peter J. Stuckey:
The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering.
POPL 1993: 334-344 |
| 26 | | Kim Marriott:
Frameworks for Abstract Interpretation.
Acta Inf. 30(2): 103-129 (1993) |
| 25 | | Kim Marriott,
Harald Søndergaard:
Precise and Efficient Groundness Analysis for Logic Programs.
LOPLAS 2(1-4): 181-196 (1993) |
| 24 | | Kim Marriott,
Peter J. Stuckey:
Semantics of Constraint Logic Programs with Optimization.
LOPLAS 2(1-4): 197-212 (1993) |
| 23 | | Kim Marriott,
Harald Søndergaard:
Difference-List Transformation for Prolog.
New Generation Comput. 11(2): 125-157 (1993) |
| 1992 |
|---|
| 22 | | Peter A. Bigot,
Saumya K. Debray,
Kim Marriott:
Understanding Finiteness Analysis Using Abstract Interpretation.
JICSLP 1992: 735-749 |
| 21 | | Michael Codish,
Moreno Falaschi,
Kim Marriott,
William H. Winsborough:
Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs.
WSA 1992: 35-42 |
| 20 | | Richard Helm,
Tien Huynh,
Kim Marriott,
John M. Vlissides:
An Object-Oriented Architecture for Constraint-Based Graphical Editing.
Workshops on Object-Oriented Graphics (2) 1992: 217-238 |
| 19 | | Kim Marriott,
Harald Søndergaard:
Bottom-Up Dataflow Analysis of Normal Logic Programs.
J. Log. Program. 13(2&3): 181-204 (1992) |
| 1991 |
|---|
| 18 | | Michael Codish,
Moreno Falaschi,
Kim Marriott:
Suspension Analysis for Concurrent Logic Programs.
ICLP 1991: 331-345 |
| 17 | | Niels Jørgensen,
Kim Marriott,
Spiro Michaylov:
Some Global Compile-Time Optimizations for CLP(R).
ISLP 1991: 420-434 |
| 16 | | Jean-Louis Lassez,
Michael J. Maher,
Kim Marriott:
Elimination of Negation in Term Algebras.
MFCS 1991: 1-16 |
| 15 | | Richard Helm,
Kim Marriott,
Martin Odersky:
Constraint-Based Query Optimization for Spatial Databases.
PODS 1991: 181-191 |
| 1990 |
|---|
| 14 | | Kim Marriott,
Harald Søndergaard:
Analysis of Constraint Logic Programs.
NACLP 1990: 531-547 |
| 13 | | Kim Marriott,
Harald Søndergaard,
Philip W. Dart:
A Characterization of Non-Floundering Logic Programs.
NACLP 1990: 661-680 |
| 12 | | Richard Helm,
Kim Marriott:
Declarative Specification of Visual Languages.
VL 1990: 98-103 |
| 11 | | Kim Marriott,
Lee Naish,
Jean-Louis Lassez:
Most Specific Logic Programs.
Ann. Math. Artif. Intell. 1: (1990) |
| 1989 |
|---|
| 10 | | Kim Marriott,
Harald Søndergaard:
Semantics-Based Dataflow Analysis of Logic Programs.
IFIP Congress 1989: 601-606 |
| 9 | | Kim Marriott,
Harald Søndergaard:
On prolog and the occur check problem.
SIGPLAN Notices 24(5): 76-82 (1989) |
| 1988 |
|---|
| 8 | | Kim Marriott,
Harald Søndergaard:
Bottom-up Abstract Interpretation of Logic Programs.
ICLP/SLP 1988: 733-748 |
| 7 | | Kim Marriott,
Lee Naish,
Jean-Louis Lassez:
Most Specific Logic Programs.
ICLP/SLP 1988: 909-923 |
| 6 | | Jean-Louis Lassez,
Michael J. Maher,
Kim Marriott:
Unification Revisited
Foundations of Deductive Databases and Logic Programming. 1988: 587-625 |
| 1987 |
|---|
| 5 | | Jean-Louis Lassez,
Kim Marriott:
Explicit Representation of Terms Defined by Counter Examples.
J. Autom. Reasoning 3(3): 301-317 (1987) |
| 4 | | Richard Helm,
Kim Marriott:
Book Review: Prolog for Programmers, by Feliks Kluzniak and Stanislaw Szpakowicz.
J. Log. Program. 4(1): 83-84 (1987) |
| 1986 |
|---|
| 3 | | Jean-Louis Lassez,
Kim Marriott:
Explicit Representation of Terms Defined by Counter Examples.
FSTTCS 1986: 96-107 |
| 2 | | Jean-Louis Lassez,
Michael J. Maher,
Kim Marriott:
Unification Revisited.
Foundations of Logic and Functional Programming 1986: 67-113 |
| 1 | | Richard Helm,
Kim Marriott:
Declarative Graphics.
ICLP 1986: 513-527 |
