2009 |
147 | EE | Cameron Braganza,
Kim Marriott,
Peter Moulder,
Michael Wybrow,
Tim Dwyer:
Scrolling behaviour with single- and multi-column layout.
WWW 2009: 831-840 |
2008 |
146 | EE | Nathan Hurst,
Kim Marriott:
Satisficing scrolls: a shortcut to satisfactory layout.
ACM Symposium on Document Engineering 2008: 131-140 |
145 | EE | Cameron L. McCormack,
Kim Marriott,
Bernd Meyer:
Authoring adaptive diagrams.
ACM Symposium on Document Engineering 2008: 154-163 |
144 | EE | Cagatay Goncu,
Kim Marriott:
Tactile chart generation tool.
ASSETS 2008: 255-256 |
143 | EE | Reza Rafeh,
Kim Marriott,
Maria Garcia de la Banda,
Nicholas Nethercote,
Mark Wallace:
Adding Search to Zinc.
CP 2008: 624-629 |
142 | EE | Graeme Gange,
Kim Marriott,
Peter J. Stuckey:
Smooth Linear Approximation of Non-overlap Constraints.
Diagrams 2008: 45-59 |
141 | EE | Tim Dwyer,
Kim Marriott,
Michael Wybrow:
Topology Preserving Constrained Graph Layout.
Graph Drawing 2008: 230-241 |
140 | EE | Tim Dwyer,
Kim Marriott,
Michael Wybrow:
Dunnart: A Constraint-Based Network Diagram Authoring Tool.
Graph Drawing 2008: 420-431 |
139 | EE | Peter Sbarski,
Tim van Gelder,
Kim Marriott,
Daniel Prager,
Andy Bulka:
Visualizing Argument Structure.
ISVC (1) 2008: 129-138 |
138 | EE | 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 | EE | 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 | EE | Tim Dwyer,
Kim Marriott,
Michael Wybrow:
Interactive, Constraint-based Layout of Engineering Diagrams.
ECEASST 13: (2008) |
135 | EE | 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 | EE | Kim Marriott,
Peter Moulder,
Nathan Hurst:
Automatic float placement in multi-column documents.
ACM Symposium on Document Engineering 2007: 125-134 |
133 | EE | Nathan Hurst,
Kim Marriott:
Approximating text by its area.
ACM Symposium on Document Engineering 2007: 147-150 |
132 | EE | Kim Marriott,
Peter Sbarski:
Compact Layout of Layered Trees.
ACSC 2007: 7-14 |
131 | EE | Adrian C. Bickerstaffe,
Aidan Lane,
Bernd Meyer,
Kim Marriott:
Developing Domain-Specific Gesture Recognizers for Smart Diagram Environments.
GREC 2007: 145-156 |
130 | EE | Tim Dwyer,
Kim Marriott:
Constrained Stress Majorization Using Diagonally Scaled Gradient Projection.
Graph Drawing 2007: 219-230 |
129 | EE | Reza Rafeh,
Maria J. García de la Banda,
Kim Marriott,
Mark Wallace:
From Zinc to Design Model.
PADL 2007: 215-229 |
2006 |
128 | EE | Nathan Hurst,
Kim Marriott,
David W. Albrecht:
Solving the simple continuous table layout problem.
ACM Symposium on Document Engineering 2006: 28-30 |
127 | EE | Nathan Hurst,
Kim Marriott,
Peter Moulder:
Minimum sized text containment shapes.
ACM Symposium on Document Engineering 2006: 3-12 |
126 | EE | Maria J. García de la Banda,
Kim Marriott,
Reza Rafeh,
Mark Wallace:
The Modelling Language Zinc.
CP 2006: 700-705 |
125 | EE | Tim Dwyer,
Kim Marriott,
Peter J. Stuckey:
Fast Node Overlap Removal - Correction.
Graph Drawing 2006: 446-447 |
124 | EE | Tim Dwyer,
Kim Marriott,
Michael Wybrow:
Integrating Edge Routing into Force-Directed Layout.
Graph Drawing 2006: 8-19 |
123 | EE | 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 | EE | Tim Dwyer,
Yehuda Koren,
Kim Marriott:
Drawing Directed Graphs Using Quadratic Programming.
IEEE Trans. Vis. Comput. Graph. 12(4): 536-548 (2006) |
121 | EE | 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 | EE | Nathan Hurst,
Kim Marriott,
Peter Moulder:
Toward tighter tables.
ACM Symposium on Document Engineering 2005: 74-83 |
119 | EE | Kim Marriott,
Peter Moulder,
Lucas R. Hope,
Charles Twardy:
Layout of Bayesian Networks.
ACSC 2005: 97-106 |
118 | EE | 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 | EE | Tim Dwyer,
Yehuda Koren,
Kim Marriott:
Stress Majorization with Orthogonal Ordering Constraints.
Graph Drawing 2005: 141-152 |
116 | EE | Tim Dwyer,
Kim Marriott,
Peter J. Stuckey:
Fast Node Overlap Removal.
Graph Drawing 2005: 153-164 |
115 | EE | Michael Wybrow,
Kim Marriott,
Peter J. Stuckey:
Incremental Connector Routing.
Graph Drawing 2005: 446-457 |
114 | EE | 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 | EE | 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 | EE | Kim Marriott,
Bernd Meyer,
Peter J. Stuckey:
Towards Flexible Graphical Communication Using Adaptive Diagrams.
ASIAN 2004: 380-394 |
110 | EE | Anthony R. Jansen,
Kim Marriott,
Bernd Meyer:
Cider: A Component-Based Toolkit for Creating Smart Diagram Environments.
Diagrams 2004: 415-419 |
109 | EE | 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 | EE | 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 | EE | Cameron L. McCormack,
Kim Marriott,
Bernd Meyer:
Constraint SVG.
WWW (Alternate Track Papers & Posters) 2004: 310-311 |
106 | EE | 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 | EE | Kim Marriott,
Peter J. Stuckey:
NP-Completeness of Minimal Width Unordered Tree Layout.
J. Graph Algorithms Appl. 8(2): 295-312 (2004) |
2003 |
104 | EE | Nathan Hurst,
Kim Marriott,
Peter Moulder:
Cobweb: A Constraint-Based WEB Browser.
ACSC 2003: 247-254 |
103 | EE | Kim Marriott,
Peter J. Stuckey,
Martin Sulzmann:
Resource Usage Verification.
APLAS 2003: 212-229 |
102 | EE | M. Cameron,
Maria J. García de la Banda,
Kim Marriott,
Peter Moulder:
ViMer: a visual debugger for mercury.
PPDP 2003: 56-66 |
101 | EE | 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 | EE | 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 | EE | Nathan Hurst,
Kim Marriott,
Peter Moulder:
Dynamic approximation of complex graphical constraints by linear constraints.
UIST 2002: 191-200 |
97 | EE | 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 | EE | 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 | EE | Kim Marriott,
Peter Moulder,
Peter J. Stuckey,
Alan Borning:
Solving Disjunctive Constraints for Interactive Graphical Applications.
CP 2001: 361-376 |
93 | EE | 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 | EE | Paolo Bottoni,
Bernd Meyer,
Kim Marriott,
Francesco Parisi-Presicce:
Deductive Parsing of Visual Languages.
LACL 2001: 79-94 |
91 | EE | 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 | EE | Maria J. García de la Banda,
Peter J. Stuckey,
Warwick Harvey,
Kim Marriott:
Model Checking in HAL.
Computational Logic 2000: 1270-1284 |
89 | EE | Alan F. Blackwell,
Anthony R. Jansen,
Kim Marriott:
Restricted Focus Viewer: A Tool for Tracking Visual Attention.
Diagrams 2000: 162-177 |
88 | EE | Kim Marriott:
Formal Approaches to Visual Language Specification and Understanding.
Diagrams 2000: 3 |
87 | EE | Kim Marriott,
Bernd Meyer:
Non-standard Logics for Diagram Interpretation.
Diagrams 2000: 42-57 |
86 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Alan Borning,
Richard Kuang-Hsu Lin,
Kim Marriott:
Constraint-based document layout for the Web.
Multimedia Syst. 8(3): 177-189 (2000) |
1999 |
80 | EE | 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 | EE | 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 | EE | 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 | EE | Sitt Chen Chok,
Kim Marriott:
Automatic Construction of Intelligent Diagram Editors.
ACM Symposium on User Interface Software and Technology 1998: 185-194 |
72 | EE | Kim Marriott,
Sitt Chen Chok,
Alan Finlay:
A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications.
CP 1998: 340-354 |
71 | EE | 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 | EE | Alan Borning,
Richard Lin,
Kim Marriott:
Constraints for the Web.
ACM Multimedia 1997: 173-182 |
63 | EE | 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 | EE | Kim Marriott,
Martin Odersky:
A Confluent Calculus for Concurrent Constraint Programming.
Theor. Comput. Sci. 173(1): 209-233 (1997) |
55 | EE | 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 | EE | 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 | EE | 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 | EE | Sitt Sen Chok,
Kim Marriott:
Automatic Construction of User Interfaces from Constraint Multiset Grammars.
VL 1995: 242-249 |
40 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Kim Marriott,
Harald Søndergaard:
Precise and Efficient Groundness Analysis for Logic Programs.
LOPLAS 2(1-4): 181-196 (1993) |
24 | EE | 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 | EE | 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 | EE | 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 |