The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kim Marriott: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  128. Compact Layout of Layered Trees. [Citation Graph (, )][DBLP]


  129. Tactile chart generation tool. [Citation Graph (, )][DBLP]


  130. Adding Search to Zinc. [Citation Graph (, )][DBLP]


  131. Smooth Linear Approximation of Non-overlap Constraints. [Citation Graph (, )][DBLP]


  132. Tactile Diagrams: Worth Ten Thousand Words? [Citation Graph (, )][DBLP]


  133. Hi-tree Layout Using Quadratic Programming. [Citation Graph (, )][DBLP]


  134. Usability of Accessible Bar Charts. [Citation Graph (, )][DBLP]


  135. Automatic float placement in multi-column documents. [Citation Graph (, )][DBLP]


  136. Authoring adaptive diagrams. [Citation Graph (, )][DBLP]


  137. Satisficing scrolls: a shortcut to satisfactory layout. [Citation Graph (, )][DBLP]


  138. Approximating text by its area. [Citation Graph (, )][DBLP]


  139. Review of automatic document formatting. [Citation Graph (, )][DBLP]


  140. Topology Preserving Constrained Graph Layout. [Citation Graph (, )][DBLP]


  141. Constrained Stress Majorization Using Diagonally Scaled Gradient Projection. [Citation Graph (, )][DBLP]


  142. Dunnart: A Constraint-Based Network Diagram Authoring Tool. [Citation Graph (, )][DBLP]


  143. Orthogonal Connector Routing. [Citation Graph (, )][DBLP]


  144. Developing Domain-Specific Gesture Recognizers for Smart Diagram Environments. [Citation Graph (, )][DBLP]


  145. Visualizing Argument Structure. [Citation Graph (, )][DBLP]


  146. Scrolling behaviour with single- and multi-column layout. [Citation Graph (, )][DBLP]


  147. A generic algorithm for layout of biological networks. [Citation Graph (, )][DBLP]


  148. The Design of the Zinc Modelling Language. [Citation Graph (, )][DBLP]


  149. Constrained graph layout by stress majorization and gradient projection. [Citation Graph (, )][DBLP]


Search in 0.852secs, Finished in 0.859secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002