dblp.uni-trier.dewww.uni-trier.de

Kim Marriott Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
148EENathan Hurst, Wilmot Li, Kim Marriott: Review of automatic document formatting. ACM Symposium on Document Engineering 2009: 99-108
147EECameron Braganza, Kim Marriott, Peter Moulder, Michael Wybrow, Tim Dwyer: Scrolling behaviour with single- and multi-column layout. WWW 2009: 831-840
2008
146EENathan Hurst, Kim Marriott: Satisficing scrolls: a shortcut to satisfactory layout. ACM Symposium on Document Engineering 2008: 131-140
145EECameron L. McCormack, Kim Marriott, Bernd Meyer: Authoring adaptive diagrams. ACM Symposium on Document Engineering 2008: 154-163
144EECagatay Goncu, Kim Marriott: Tactile chart generation tool. ASSETS 2008: 255-256
143EEReza Rafeh, Kim Marriott, Maria Garcia de la Banda, Nicholas Nethercote, Mark Wallace: Adding Search to Zinc. CP 2008: 624-629
142EEGraeme Gange, Kim Marriott, Peter J. Stuckey: Smooth Linear Approximation of Non-overlap Constraints. Diagrams 2008: 45-59
141EETim Dwyer, Kim Marriott, Michael Wybrow: Topology Preserving Constrained Graph Layout. Graph Drawing 2008: 230-241
140EETim Dwyer, Kim Marriott, Michael Wybrow: Dunnart: A Constraint-Based Network Diagram Authoring Tool. Graph Drawing 2008: 420-431
139EEPeter Sbarski, Tim van Gelder, Kim Marriott, Daniel Prager, Andy Bulka: Visualizing Argument Structure. ISVC (1) 2008: 129-138
138EEMichael 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)
137EEKim 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)
136EETim Dwyer, Kim Marriott, Michael Wybrow: Interactive, Constraint-based Layout of Engineering Diagrams. ECEASST 13: (2008)
135EETim 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
134EEKim Marriott, Peter Moulder, Nathan Hurst: Automatic float placement in multi-column documents. ACM Symposium on Document Engineering 2007: 125-134
133EENathan Hurst, Kim Marriott: Approximating text by its area. ACM Symposium on Document Engineering 2007: 147-150
132EEKim Marriott, Peter Sbarski: Compact Layout of Layered Trees. ACSC 2007: 7-14
131EEAdrian C. Bickerstaffe, Aidan Lane, Bernd Meyer, Kim Marriott: Developing Domain-Specific Gesture Recognizers for Smart Diagram Environments. GREC 2007: 145-156
130EETim Dwyer, Kim Marriott: Constrained Stress Majorization Using Diagonally Scaled Gradient Projection. Graph Drawing 2007: 219-230
129EEReza Rafeh, Maria J. García de la Banda, Kim Marriott, Mark Wallace: From Zinc to Design Model. PADL 2007: 215-229
2006
128EENathan Hurst, Kim Marriott, David W. Albrecht: Solving the simple continuous table layout problem. ACM Symposium on Document Engineering 2006: 28-30
127EENathan Hurst, Kim Marriott, Peter Moulder: Minimum sized text containment shapes. ACM Symposium on Document Engineering 2006: 3-12
126EEMaria J. García de la Banda, Kim Marriott, Reza Rafeh, Mark Wallace: The Modelling Language Zinc. CP 2006: 700-705
125EETim Dwyer, Kim Marriott, Peter J. Stuckey: Fast Node Overlap Removal - Correction. Graph Drawing 2006: 446-447
124EETim Dwyer, Kim Marriott, Michael Wybrow: Integrating Edge Routing into Force-Directed Layout. Graph Drawing 2006: 8-19
123EERalph 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
122EETim Dwyer, Yehuda Koren, Kim Marriott: Drawing Directed Graphs Using Quadratic Programming. IEEE Trans. Vis. Comput. Graph. 12(4): 536-548 (2006)
121EETim 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
120EENathan Hurst, Kim Marriott, Peter Moulder: Toward tighter tables. ACM Symposium on Document Engineering 2005: 74-83
119EEKim Marriott, Peter Moulder, Lucas R. Hope, Charles Twardy: Layout of Bayesian Networks. ACSC 2005: 97-106
118EEPeter 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
117EETim Dwyer, Yehuda Koren, Kim Marriott: Stress Majorization with Orthogonal Ordering Constraints. Graph Drawing 2005: 141-152
116EETim Dwyer, Kim Marriott, Peter J. Stuckey: Fast Node Overlap Removal. Graph Drawing 2005: 153-164
115EEMichael Wybrow, Kim Marriott, Peter J. Stuckey: Incremental Connector Routing. Graph Drawing 2005: 446-457
114EEPeter 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
113EEMaria 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
111EEKim Marriott, Bernd Meyer, Peter J. Stuckey: Towards Flexible Graphical Communication Using Adaptive Diagrams. ASIAN 2004: 380-394
110EEAnthony R. Jansen, Kim Marriott, Bernd Meyer: Cider: A Component-Based Toolkit for Creating Smart Diagram Environments. Diagrams 2004: 415-419
109EEGermá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
108EEBart 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
107EECameron L. McCormack, Kim Marriott, Bernd Meyer: Constraint SVG. WWW (Alternate Track Papers & Posters) 2004: 310-311
106EEMaria 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)
105EEKim Marriott, Peter J. Stuckey: NP-Completeness of Minimal Width Unordered Tree Layout. J. Graph Algorithms Appl. 8(2): 295-312 (2004)
2003
104EENathan Hurst, Kim Marriott, Peter Moulder: Cobweb: A Constraint-Based WEB Browser. ACSC 2003: 247-254
103EEKim Marriott, Peter J. Stuckey, Martin Sulzmann: Resource Usage Verification. APLAS 2003: 212-229
102EEM. Cameron, Maria J. García de la Banda, Kim Marriott, Peter Moulder: ViMer: a visual debugger for mercury. PPDP 2003: 56-66
101EESitt 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
99EEMaria 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
98EENathan Hurst, Kim Marriott, Peter Moulder: Dynamic approximation of complex graphical constraints by linear constraints. UIST 2002: 191-200
97EEKim 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)
95EETrevor Hansen, Kim Marriott, Bernd Meyer, Peter J. Stuckey: Flexible Graph Layout for the Web. J. Vis. Lang. Comput. 13(1): 35-60 (2002)
2001
94EEKim Marriott, Peter Moulder, Peter J. Stuckey, Alan Borning: Solving Disjunctive Constraints for Interactive Graphical Applications. CP 2001: 361-376
93EEMaria 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
92EEPaolo Bottoni, Bernd Meyer, Kim Marriott, Francesco Parisi-Presicce: Deductive Parsing of Visual Languages. LACL 2001: 79-94
91EEGreg 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
90EEMaria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott: Model Checking in HAL. Computational Logic 2000: 1270-1284
89EEAlan F. Blackwell, Anthony R. Jansen, Kim Marriott: Restricted Focus Viewer: A Tool for Tracking Visual Attention. Diagrams 2000: 162-177
88EEKim Marriott: Formal Approaches to Visual Language Specification and Understanding. Diagrams 2000: 3
87EEKim Marriott, Bernd Meyer: Non-standard Logics for Diagram Interpretation. Diagrams 2000: 42-57
86EEFrancisco 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
85EEFrancisco 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
84EEManuel 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)
83EEMaria 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)
81EEAlan Borning, Richard Kuang-Hsu Lin, Kim Marriott: Constraint-based document layout for the Web. Multimedia Syst. 8(3): 177-189 (2000)
1999
80EEGreg 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
77EESitt 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)
75EEKim 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
73EESitt Chen Chok, Kim Marriott: Automatic Construction of Intelligent Diagram Editors. ACM Symposium on User Interface Software and Technology 1998: 185-194
72EEKim Marriott, Sitt Chen Chok, Alan Finlay: A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications. CP 1998: 340-354
71EEAndrew 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
64EEAlan Borning, Richard Kuang-Hsu Lin, Kim Marriott: Constraints for the Web. ACM Multimedia 1997: 173-182
63EEAlan 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)
56EEKim Marriott, Martin Odersky: A Confluent Calculus for Concurrent Constraint Programming. Theor. Comput. Sci. 173(1): 209-233 (1997)
55EEMoreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi: Confluence in Concurrent Constraint Programming. Theor. Comput. Sci. 183(2): 281-315 (1997)
1996
54EEMaria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott: Independence in Dynamically Scheduled Logic Languages. ALP 1996: 47-61
53EESitt 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
48EEKim 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
42EEKim Marriott: Parsing Visual Languages with Constraint Multiset Grammars PLILP 1995: 24-25
41EESitt Sen Chok, Kim Marriott: Automatic Construction of User Interfaces from Constraint Multiset Grammars. VL 1995: 242-249
40EETien 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
37EEKim 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
32EEKim Marriott, Harald Søndergaard, Neil D. Jones: Denotational Abstract Interpretation of Logic Programs. ACM Trans. Program. Lang. Syst. 16(3): 607-648 (1994)
31EEMichael Codish, Moreno Falaschi, Kim Marriott: Suspension Analyses for Concurrent Logic Programs. ACM Trans. Program. Lang. Syst. 16(3): 649-686 (1994)
1993
30EEMichael 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)
25EEKim Marriott, Harald Søndergaard: Precise and Efficient Groundness Analysis for Logic Programs. LOPLAS 2(1-4): 181-196 (1993)
24EEKim 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
16EEJean-Louis Lassez, Michael J. Maher, Kim Marriott: Elimination of Negation in Term Algebras. MFCS 1991: 1-16
15EERichard 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
9EEKim 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
3EEJean-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

Coauthor Index

1David W. Albrecht [128]
2Gerard Allwein [76]
3Tania Armstrong [35] [66]
4Greg J. Badros [80] [91]
5Maria Garcia de la Banda (Maria J. García de la Banda) [29] [36] [43] [54] [62] [68] [78] [79] [83] [85] [86] [90] [93] [99] [102] [106] [108] [109] [113] [114] [118] [123] [126] [129] [137] [143]
6Ralph Becket [123]
7Adrian C. Bickerstaffe [131]
8Peter A. Bigot [22]
9Alan F. Blackwell [89] [112]
10Alan Borning [63] [64] [80] [81] [91] [94]
11Paolo Bottoni [92]
12Cameron Braganza [147]
13Francisco Bueno [85] [86] [109]
14Andy Bulka [139]
15M. Cameron [102]
16Dolores Cañamero [76]
17Sitt Chen Chok [72] [73]
18Sitt Sen Chok [41] [53] [77] [96] [101]
19Michael Codish [18] [21] [30] [31] [59] [82]
20Tom Con [76]
21Jesús Correas [109]
22Isabel F. Cruz [70]
23Philip W. Dart [13]
24Saumya K. Debray [22]
25Bart Demoen [78] [79] [99] [106] [108] [113]
26Tim Dwyer [116] [117] [121] [122] [124] [125] [130] [135] [136] [140] [141] [147]
27Moreno Falaschi [18] [21] [28] [30] [31] [38] [47] [55] [59] [60]
28Alan Finlay [72]
29Maurizio Gabbrielli [28] [38] [47] [55] [60]
30Graeme Gange [142]
31Tim van Gelder [139]
32Giuseppe De Giacomo [76]
33Cagatay Goncu [144]
34Trevor Hansen [95]
35Warwick Harvey [78] [79] [90] [106] [108] [113]
36Weiqing He [52] [69] [100]
37Richard Helm [1] [4] [12] [15] [20] [39]
38Pascal Van Hentenryck [70]
39Manuel V. Hermenegildo [29] [36] [44] [54] [83] [84] [85] [86] [109]
40Christian Holzbaur [93]
41Lucas R. Hope [119]
42Nathan Hurst [98] [104] [120] [127] [128] [133] [134] [146] [148]
43Tien Huynh [20] [40]
44Joxan Jaffar [67]
45Anthony R. Jansen [89] [110]
46David Jeffery [93]
47Neil D. Jones [32]
48Niels Jørgensen [17]
49Andrew D. Kelly [46] [50] [51] [71]
50Yehuda Koren [117] [121] [122]
51Aidan Lane [131]
52Jean-Louis Lassez [2] [3] [5] [6] [7] [11] [16]
53Wilmot Li [148]
54Richard Kuang-Hsu Lin [64] [81]
55Michael L. Littman [76]
56Andrew D. Macdonald [46] [51] [71]
57Michael J. Maher [2] [6] [16] [67] [114] [118]
58Cameron L. McCormack [107] [145]
59Linda Mciver [138]
60Bernd Meyer [49] [57] [74] [76] [87] [91] [92] [95] [97] [107] [110] [111] [131] [145]
61Spiro Michaylov [17]
62Peter Moulder [94] [98] [102] [104] [119] [120] [127] [134] [147]
63Lee Naish [7] [11]
64Nicholas Nethercote [93] [137] [143]
65Martin Odersky [15] [39] [45] [48] [56]
66David Overton [108]
67Catuscia Palamidessi [28] [38] [47] [55] [60]
68Francesco Parisi-Presicce [92]
69Tom Paton [77]
70Will Portnoy [91]
71Daniel Prager [139]
72Germán Puebla (German Puebla) [44] [62] [84] [85] [86] [109]
73Reza Rafeh [126] [129] [137] [143]
74Peter Sbarski [132] [139]
75Peter Schachte [35] [66]
76Falk Schreiber [135]
77Atsushi Shimojima [112]
78John K. Slaney [114] [118]
79Zoltan Somogyi [114] [118] [123]
80Harald Søndergaard [8] [9] [10] [13] [14] [19] [23] [25] [32] [35] [46] [50] [65] [66] [68]
81Peter J. Stuckey [24] [27] [34] [37] [43] [44] [46] [50] [51] [62] [63] [65] [67] [68] [71] [75] [78] [79] [80] [84] [85] [86] [90] [93] [94] [95] [99] [100] [103] [105] [106] [108] [109] [111] [113] [114] [115] [116] [118] [123] [125] [135] [137] [138] [142]
82Martin Sulzmann [103]
83Cohavit Taboch [82]
84Vincent Tam [100]
85Laurent Tardif [97]
86Jojada J. Tirtowidjojo [91]
87Charles Twardy [119]
88John M. Vlissides [20]
89Mark Wallace [114] [118] [123] [126] [129] [137] [143]
90Toby Walsh [114] [118]
91Glenn S. Wasson [76]
92Barbara Webb [76]
93William H. Winsborough [21] [30] [59]
94Michael Woodward [135]
95Michael Wybrow [115] [124] [135] [136] [138] [140] [141] [147]
96Yi Xiao [63]
97Roland H. C. Yap [46] [51] [71]
98Marie desJardins [76]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)