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 |