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

Kim Marriott Home Page Coauthor index pubzone.org

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

DBLP keys2011
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGraeme Gange, Kim Marriott, Peter Moulder, Peter J. Stuckey: Optimal automatic table layout. ACM Symposium on Document Engineering 2011: 23-32
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCagatay Goncu, Kim Marriott: GraVVITAS: Generic Multi-touch Presentation of Accessible Graphics. INTERACT (1) 2011: 30-48
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Peter Sbarski, Tim van Gelder, Daniel Prager, Andy Bulka: Hi-Trees and Their Layout. IEEE Trans. Vis. Comput. Graph. 17(3): 290-304 (2011)
2010
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCagatay Goncu, Kim Marriott, John Hurst: Usability of Accessible Bar Charts. Diagrams 2010: 167-181
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Dwyer, Kim Marriott, Peter Sbarski: Hi-tree Layout Using Quadratic Programming. Diagrams 2010: 212-219
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCagatay Goncu, Kim Marriott, Frances Aldrich: Tactile Diagrams: Worth Ten Thousand Words? Diagrams 2010: 257-263
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGraeme Gange, Peter J. Stuckey, Kim Marriott: Optimal k-Level Planarization and Crossing Minimization. Graph Drawing 2010: 238-249
2009
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathan Hurst, Wilmot Li, Kim Marriott: Review of automatic document formatting. ACM Symposium on Document Engineering 2009: 99-108
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Wybrow, Kim Marriott, Peter J. Stuckey: Orthogonal Connector Routing. Graph Drawing 2009: 219-231
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCameron Braganza, Kim Marriott, Peter Moulder, Michael Wybrow, Tim Dwyer: Scrolling behaviour with single- and multi-column layout. WWW 2009: 831-840
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFalk Schreiber, Tim Dwyer, Kim Marriott, Michael Wybrow: A generic algorithm for layout of biological networks. BMC Bioinformatics 10: 375 (2009)
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Dwyer, Yehuda Koren, Kim Marriott: Constrained graph layout by stress majorization and gradient projection. Discrete Mathematics 309(7): 1895-1908 (2009)
2008
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathan Hurst, Kim Marriott: Satisficing scrolls: a shortcut to satisfactory layout. ACM Symposium on Document Engineering 2008: 131-140
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCameron L. McCormack, Kim Marriott, Bernd Meyer: Authoring adaptive diagrams. ACM Symposium on Document Engineering 2008: 154-163
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCagatay Goncu, Kim Marriott: Tactile chart generation tool. ASSETS 2008: 255-256
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReza Rafeh, Kim Marriott, Maria Garcia de la Banda, Nicholas Nethercote, Mark Wallace: Adding Search to Zinc. CP 2008: 624-629
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGraeme Gange, Kim Marriott, Peter J. Stuckey: Smooth Linear Approximation of Non-overlap Constraints. Diagrams 2008: 45-59
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Dwyer, Kim Marriott, Michael Wybrow: Topology Preserving Constrained Graph Layout. Graph Drawing 2008: 230-241
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Dwyer, Kim Marriott, Michael Wybrow: Dunnart: A Constraint-Based Network Diagram Authoring Tool. Graph Drawing 2008: 420-431
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Sbarski, Tim van Gelder, Kim Marriott, Daniel Prager, Andy Bulka: Visualizing Argument Structure. ISVC (1) 2008: 129-138
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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)
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim 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)
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Dwyer, Kim Marriott, Michael Wybrow: Interactive, Constraint-based Layout of Engineering Diagrams. ECEASST 13: (2008)
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim 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
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Peter Moulder, Nathan Hurst: Automatic float placement in multi-column documents. ACM Symposium on Document Engineering 2007: 125-134
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathan Hurst, Kim Marriott: Approximating text by its area. ACM Symposium on Document Engineering 2007: 147-150
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Peter Sbarski: Compact Layout of Layered Trees. ACSC 2007: 7-14
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdrian C. Bickerstaffe, Aidan Lane, Bernd Meyer, Kim Marriott: Developing Domain-Specific Gesture Recognizers for Smart Diagram Environments. GREC 2007: 145-156
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Dwyer, Kim Marriott: Constrained Stress Majorization Using Diagonally Scaled Gradient Projection. Graph Drawing 2007: 219-230
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReza Rafeh, Maria J. García de la Banda, Kim Marriott, Mark Wallace: From Zinc to Design Model. PADL 2007: 215-229
2006
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathan Hurst, Kim Marriott, David W. Albrecht: Solving the simple continuous table layout problem. ACM Symposium on Document Engineering 2006: 28-30
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathan Hurst, Kim Marriott, Peter Moulder: Minimum sized text containment shapes. ACM Symposium on Document Engineering 2006: 3-12
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria J. García de la Banda, Kim Marriott, Reza Rafeh, Mark Wallace: The Modelling Language Zinc. CP 2006: 700-705
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Dwyer, Kim Marriott, Peter J. Stuckey: Fast Node Overlap Removal - Correction. Graph Drawing 2006: 446-447
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Dwyer, Kim Marriott, Michael Wybrow: Integrating Edge Routing into Force-Directed Layout. Graph Drawing 2006: 8-19
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph 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
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Dwyer, Yehuda Koren, Kim Marriott: Drawing Directed Graphs Using Quadratic Programming. IEEE Trans. Vis. Comput. Graph. 12(4): 536-548 (2006)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim 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
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathan Hurst, Kim Marriott, Peter Moulder: Toward tighter tables. ACM Symposium on Document Engineering 2005: 74-83
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Peter Moulder, Lucas R. Hope, Charles Twardy: Layout of Bayesian Networks. ACSC 2005: 97-106
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Dwyer, Yehuda Koren, Kim Marriott: Stress Majorization with Orthogonal Ordering Constraints. Graph Drawing 2005: 141-152
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Dwyer, Kim Marriott, Peter J. Stuckey: Fast Node Overlap Removal. Graph Drawing 2005: 153-164
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Wybrow, Kim Marriott, Peter J. Stuckey: Incremental Connector Routing. Graph Drawing 2005: 446-457
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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
113no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan F. Blackwell, Kim Marriott, Atsushi Shimojima: Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings Springer 2004
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Bernd Meyer, Peter J. Stuckey: Towards Flexible Graphical Communication Using Adaptive Diagrams. ASIAN 2004: 380-394
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony R. Jansen, Kim Marriott, Bernd Meyer: Cider: A Component-Based Toolkit for Creating Smart Diagram Environments. Diagrams 2004: 415-419
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermá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
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart 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
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCameron L. McCormack, Kim Marriott, Bernd Meyer: Constraint SVG. WWW (Alternate Track Papers & Posters) 2004: 310-311
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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)
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Peter J. Stuckey: NP-Completeness of Minimal Width Unordered Tree Layout. J. Graph Algorithms Appl. 8(2): 295-312 (2004)
2003
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathan Hurst, Kim Marriott, Peter Moulder: Cobweb: A Constraint-Based WEB Browser. ACSC 2003: 247-254
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Peter J. Stuckey, Martin Sulzmann: Resource Usage Verification. APLAS 2003: 212-229
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. Cameron, Maria J. García de la Banda, Kim Marriott, Peter Moulder: ViMer: a visual debugger for mercury. PPDP 2003: 56-66
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSitt Sen Chok, Kim Marriott: Automatic generation of intelligent diagram editors. ACM Trans. Comput.-Hum. Interact. 10(3): 244-276 (2003)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Peter J. Stuckey, Vincent Tam, Weiqing He: Removing Node Overlapping in Graph Layout Using Constrained Optimization. Constraints 8(2): 143-171 (2003)
2002
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathan Hurst, Kim Marriott, Peter Moulder: Dynamic approximation of complex graphical constraints by linear constraints. UIST 2002: 191-200
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Bernd Meyer, Laurent Tardif: Fast and efficient client-side adaptivity for SVG. WWW 2002: 496-507
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Sitt Sen Chok: QOCA: A Constraint Solving Toolkit for Interactive Graphical Applications. Constraints 7(3-4): 229-254 (2002)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrevor Hansen, Kim Marriott, Bernd Meyer, Peter J. Stuckey: Flexible Graph Layout for the Web. J. Vis. Lang. Comput. 13(1): 35-60 (2002)
2001
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Peter Moulder, Peter J. Stuckey, Alan Borning: Solving Disjunctive Constraints for Interactive Graphical Applications. CP 2001: 361-376
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bottoni, Bernd Meyer, Kim Marriott, Francesco Parisi-Presicce: Deductive Parsing of Visual Languages. LACL 2001: 79-94
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGreg 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
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott: Model Checking in HAL. Computational Logic 2000: 1270-1284
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan F. Blackwell, Anthony R. Jansen, Kim Marriott: Restricted Focus Viewer: A Tool for Tracking Visual Attention. Diagrams 2000: 162-177
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott: Formal Approaches to Visual Language Specification and Understanding. Diagrams 2000: 3
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Bernd Meyer: Non-standard Logics for Diagram Interpretation. Diagrams 2000: 42-57
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco 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
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco 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
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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)
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Codish, Kim Marriott, Cohavit Taboch: Improving Program Analyses, by Structure Untupling. J. Log. Program. 43(3): 251-263 (2000)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Borning, Richard Kuang-Hsu Lin, Kim Marriott: Constraint-based document layout for the Web. Multimedia Syst. 8(3): 177-189 (2000)
1999
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGreg 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
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey: An Overview of HAL. CP 1999: 174-188
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey: Herbrand Constraint Solving in HAL. ICLP 1999: 260-274
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSitt Sen Chok, Kim Marriott, Tom Paton: Constraint-Based Diagram Beautification. VL 1999: 12-19
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe 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)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Peter J. Stuckey: Book reviews. Intelligence 10(2): 39-47 (1999)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Bernd Meyer: Guest Editor's Introduction. J. Vis. Lang. Comput. 10(4): 313-316 (1999)
1998
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSitt Chen Chok, Kim Marriott: Automatic Construction of Intelligent Diagram Editors. ACM Symposium on User Interface Software and Technology 1998: 185-194
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Sitt Chen Chok, Alan Finlay: A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications. CP 1998: 340-354
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew 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)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIsabel F. Cruz, Kim Marriott, Pascal Van Hentenryck: Introduction to the Special Issue. Constraints 3(1): 5-7 (1998)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWeiqing He, Kim Marriott: Constrained Graph Layout. Constraints 3(4): 289-314 (1998)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey: The Semantics of Constraint Logic Programs. J. Log. Program. 37(1-3): 1-46 (1998)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard: Two Classes of Boolean Functions for Dependency Analysis. Sci. Comput. Program. 31(1): 3-45 (1998)
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Harald Søndergaard, Peter J. Stuckey: A Practical Object-Oriented Analysis Engine for CLP. Softw., Pract. Exper. 28(2): 199-224 (1998)
1997
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Borning, Richard Kuang-Hsu Lin, Kim Marriott: Constraints for the Web. ACM Multimedia 1997: 173-182
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan 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
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermá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
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott: Abstract Interpretation: A Theory of Approximate Computation. SAS 1997: 367-378
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoreno 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)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott: Algebraic and Logical Semantics for CLP Languages with Dynamic Scheduling. J. Log. Program. 32(1): 71-84 (1997)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Bernd Meyer: On the Classification of Visual Languages by Grammar Hierarchies. J. Vis. Lang. Comput. 8(4): 375-402 (1997)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Martin Odersky: A Confluent Calculus for Concurrent Constraint Programming. Theor. Comput. Sci. 173(1): 209-233 (1997)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi: Confluence in Concurrent Constraint Programming. Theor. Comput. Sci. 183(2): 281-315 (1997)
1996
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott: Independence in Dynamically Scheduled Logic Languages. ALP 1996: 47-61
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSitt Sen Chok, Kim Marriott: Automatic construction of user interfaces for pen-based computers. AVI 1996: 254-256
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWeiqing He, Kim Marriott: Constrained Graph Layout. Graph Drawing 1996: 217-232
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew 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
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew 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
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Bernd Meyer: Towards a Hierarchy of Visual Languages. VL 1996: 196-203
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Martin Odersky: Negative Boolean Constraints. Theor. Comput. Sci. 160(1&2): 365-380 (1996)
1995
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi: Confluence in Concurrent Constraint Programming. AMAST 1995: 531-545
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew 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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Martin Odersky: A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice. CP 1995: 310-327
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey: Incremental Analysis of Logic Programs. ICLP 1995: 797-811
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria J. García de la Banda, Kim Marriott, Peter J. Stuckey: Efficient Analysis of Logic Programs with Dynamic Scheduling. ILPS 1995: 417-431
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott: Parsing Visual Languages with Constraint Multiset Grammars PLILP 1995: 24-25
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSitt Sen Chok, Kim Marriott: Automatic Construction of User Interfaces from Constraint Multiset Grammars. VL 1995: 242-249
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTien Huynh, Kim Marriott: Incremental Constraint Deletion in Systems of Linear Constraints. Inf. Process. Lett. 55(2): 111-115 (1995)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Helm, Kim Marriott, Martin Odersky: Spatial Query Optimization: From Boolean Constraints to Range Queries. J. Comput. Syst. Sci. 51(2): 197-210 (1995)
1994
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi: Confluence and Concurrent Constraint Programming. GULP-PRODE (1) 1994: 140-154
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Peter J. Stuckey: Semantics of Constraint Logic Programs with Optimization. ICLP Workshop: Integration of Declarative Paradigms 1994: 23-35
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Maria J. García de la Banda, Manuel V. Hermenegildo: Analyzing Logic Programs with Dynamic Scheduling. POPL 1994: 240-253
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard: Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation. SAS 1994: 266-280
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Peter J. Stuckey: Approximating Interaction between Linear Arithmetic Constraints. SLP 1994: 571-585
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott: Constraint Multiset Grammars. VL 1994: 118-125
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Harald Søndergaard, Neil D. Jones: Denotational Abstract Interpretation of Logic Programs. ACM Trans. Program. Lang. Syst. 16(3): 607-648 (1994)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Codish, Moreno Falaschi, Kim Marriott: Suspension Analyses for Concurrent Logic Programs. ACM Trans. Program. Lang. Syst. 16(3): 649-686 (1994)
1993
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough: Efficient Analysis of Concurrent Constraint Logic Programs. ICALP 1993: 633-644
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott: Independence in Constraint Logic Programs. ILPS 1993: 130-146
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi: Compositional Analysis for Concurrent Constraint Programming LICS 1993: 210-221
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Peter J. Stuckey: The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering. POPL 1993: 334-344
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott: Frameworks for Abstract Interpretation. Acta Inf. 30(2): 103-129 (1993)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Harald Søndergaard: Precise and Efficient Groundness Analysis for Logic Programs. LOPLAS 2(1-4): 181-196 (1993)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Peter J. Stuckey: Semantics of Constraint Logic Programs with Optimization. LOPLAS 2(1-4): 197-212 (1993)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Harald Søndergaard: Difference-List Transformation for Prolog. New Generation Comput. 11(2): 125-157 (1993)
1992
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter A. Bigot, Saumya K. Debray, Kim Marriott: Understanding Finiteness Analysis Using Abstract Interpretation. JICSLP 1992: 735-749
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough: Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs. WSA 1992: 35-42
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Harald Søndergaard: Bottom-Up Dataflow Analysis of Normal Logic Programs. J. Log. Program. 13(2&3): 181-204 (1992)
1991
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Codish, Moreno Falaschi, Kim Marriott: Suspension Analysis for Concurrent Logic Programs. ICLP 1991: 331-345
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Jørgensen, Kim Marriott, Spiro Michaylov: Some Global Compile-Time Optimizations for CLP(R). ISLP 1991: 420-434
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Louis Lassez, Michael J. Maher, Kim Marriott: Elimination of Negation in Term Algebras. MFCS 1991: 1-16
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Helm, Kim Marriott, Martin Odersky: Constraint-Based Query Optimization for Spatial Databases. PODS 1991: 181-191
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Helm, Kim Marriott: A declarative specification and semantics for visual languages. J. Vis. Lang. Comput. 2(4): 311-331 (1991)
1990
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Harald Søndergaard: Analysis of Constraint Logic Programs. NACLP 1990: 531-547
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Harald Søndergaard, Philip W. Dart: A Characterization of Non-Floundering Logic Programs. NACLP 1990: 661-680
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Helm, Kim Marriott: Declarative Specification of Visual Languages. VL 1990: 98-103
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Lee Naish, Jean-Louis Lassez: Most Specific Logic Programs. Ann. Math. Artif. Intell. 1: 303-338 (1990)
1989
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Harald Søndergaard: Semantics-Based Dataflow Analysis of Logic Programs. IFIP Congress 1989: 601-606
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Harald Søndergaard: On prolog and the occur check problem. SIGPLAN Notices 24(5): 76-82 (1989)
1988
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Harald Søndergaard: Bottom-up Abstract Interpretation of Logic Programs. ICLP/SLP 1988: 733-748
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Lee Naish, Jean-Louis Lassez: Most Specific Logic Programs. ICLP/SLP 1988: 909-923
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Louis Lassez, Michael J. Maher, Kim Marriott: Unification Revisited Foundations of Deductive Databases and Logic Programming. 1988: 587-625
1987
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Louis Lassez, Kim Marriott: Explicit Representation of Terms Defined by Counter Examples. J. Autom. Reasoning 3(3): 301-317 (1987)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Helm, Kim Marriott: Book Review: Prolog for Programmers, by Feliks Kluzniak and Stanislaw Szpakowicz. J. Log. Program. 4(1): 83-84 (1987)
1986
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Louis Lassez, Kim Marriott: Explicit Representation of Terms Defined by Counter Examples. FSTTCS 1986: 96-107
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Louis Lassez, Michael J. Maher, Kim Marriott: Unification Revisited. Foundations of Logic and Functional Programming 1986: 67-113
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Helm, Kim Marriott: Declarative Graphics. ICLP 1986: 513-527

Coauthor Index

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

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri Feb 17 00:12:51 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page