If you made any changes in Pure these will be visible here soon.

Research Output 1987 2019

Filter
Article
1987
73 Citations (Scopus)

Explicit representation of terms defined by counter examples

Lassez, J. L. & Marriott, K., 1 Sep 1987, In : Journal of Automated Reasoning. 3, 3, p. 301-317 17 p.

Research output: Contribution to journalArticleResearchpeer-review

1990
14 Citations (Scopus)

Most specific logic programs

Marriott, K., Naish, L. & Lassez, J. L., 1 Sep 1990, In : Annals of Mathematics and Artificial Intelligence. 1, 1-4, p. 303-338 36 p.

Research output: Contribution to journalArticleResearchpeer-review

1991
36 Citations (Scopus)

A declarative specification and semantics for visual languages

Helm, R. & Marriott, K., 1 Jan 1991, In : Journal of Visual Languages and Computing. 2, 4, p. 311-331 21 p.

Research output: Contribution to journalArticleResearchpeer-review

1992
27 Citations (Scopus)

Bottom-up dataflow analysis of normal logic programs

Marriott, K. & Søndergaard, H., 1 Jan 1992, In : The Journal of Logic Programming. 13, 2-3, p. 181-204 24 p.

Research output: Contribution to journalArticleResearchpeer-review

1993
7 Citations (Scopus)

Difference-list transformation for Prolog

Marriott, K. & Søndergaard, H., 1 Jun 1993, In : New Generation Computing. 11, 2, p. 125-157 33 p.

Research output: Contribution to journalArticleResearchpeer-review

22 Citations (Scopus)

Frameworks for abstract interpretation

Marriott, K., 1 Feb 1993, In : Acta Informatica. 30, 2, p. 103-129 27 p.

Research output: Contribution to journalArticleResearchpeer-review

74 Citations (Scopus)

Precise and Efficient Groundness Analysis for Logic Programs

Marriott, K. & Søndergaard, H., 3 Jan 1993, In : ACM Letters on Programming Languages and Systems (LOPLAS). 2, 1-4, p. 181-196 16 p.

Research output: Contribution to journalArticleResearchpeer-review

8 Citations (Scopus)

Semantics of Constraint Logic Programs with Optimization

Marriott, K. & Stuckey, P. J., 3 Jan 1993, In : ACM Letters on Programming Languages and Systems (LOPLAS). 2, 1-4, p. 197-212 16 p.

Research output: Contribution to journalArticleResearchpeer-review

1994
55 Citations (Scopus)

Denotational Abstract Interpretation of Logic Programs

Marriott, K., Søndergaard, H. & Jones, N. D., 5 Jan 1994, In : ACM Transactions on Programming Languages and Systems (TOPLAS). 16, 3, p. 607-648 42 p.

Research output: Contribution to journalArticleResearchpeer-review

29 Citations (Scopus)

Suspension Analyses for Concurrent Logic Programs

Codish, M., Falaschi, M. & Marriott, K., 5 Jan 1994, In : ACM Transactions on Programming Languages and Systems (TOPLAS). 16, 3, p. 649-686 38 p.

Research output: Contribution to journalArticleResearchpeer-review

1995
6 Citations (Scopus)

Incremental constraint deletion in systems of linear constraints

Huynh, T. & Marriott, K., 21 Jul 1995, In : Information Processing Letters. 55, 2, p. 111-115 5 p.

Research output: Contribution to journalArticleResearchpeer-review

7 Citations (Scopus)

Spatial query optimization: From boolean constraints to range queries

Helm, R., Marriott, K. & Odersky, M., 1 Jan 1995, In : Journal of Computer and System Sciences. 51, 2, p. 197-210 14 p.

Research output: Contribution to journalArticleResearchpeer-review

1996
1 Citation (Scopus)

Independence in dynamically scheduled logic languages

Garcia De La Banda, M. J., Hermenegildo, M. & Marriott, K. G., 1996, In : Lecture Notes in Computer Science. 1139, p. 47 - 61 15 p.

Research output: Contribution to journalArticleResearchpeer-review

9 Citations (Scopus)

Negative Boolean constraints

Marriott, K. & Odersky, M., 10 Jun 1996, In : Theoretical Computer Science. 160, 1-2, p. 365-380 16 p.

Research output: Contribution to journalArticleResearchpeer-review

1997
2 Citations (Scopus)

A confluent calculus for concurrent constraint programming

Marriott, K. & Odersky, M., 1997, In : Theoretical Computer Science. p. 209 - 233 25 p.

Research output: Contribution to journalArticleResearchpeer-review

8 Citations (Scopus)

A confluent semantic basis for the analysis of concurrent constraint logic programs

Codish, M., Falaschi, M., Marriott, K. & Winsborough, W., 1997, In : Journal of Logic Programming. p. 53 - 81 29 p.

Research output: Contribution to journalArticleResearchpeer-review

2 Citations (Scopus)

Algebraic and logical semantics for CLP languages with dynamic scheduling

Marriott, K., 1997, In : Journal of Logic Programming. p. 71 - 84 14 p.

Research output: Contribution to journalArticleResearchpeer-review

13 Citations (Scopus)

Confluence in concurrent constraint programming

Falaschi, M., Gabbrielli, M., Marriott, K. & Palamidessi, C., 1997, In : Theoretical Computer Science. p. 281 - 315 35 p.

Research output: Contribution to journalArticleResearchpeer-review

13 Citations (Scopus)

Constraint logic programming with dynamic scheduling: A semantics based on closure operators

Falaschi, M., Gabbrielli, M., Marriott, K. & Palamidessi, C., 1997, In : Information and Computation. p. 41 - 67 27 p.

Research output: Contribution to journalArticleResearchpeer-review

28 Citations (Scopus)

On the classification of visual languages by grammar hierarchies

Marriott, K. & Meyer, B., 1997, In : Journal of Visual Languages and Computing. p. 375 - 402 28 p.

Research output: Contribution to journalArticleResearchpeer-review

1998
4 Citations (Scopus)

A practical object-oriented analysis engine for CLP

Kelly, A. D., Marriott, K., Søndergaard, H. & Stuckey, P. J., 1 Jan 1998, In : Software - Practice and Experience. 28, 2, p. 199-224 26 p.

Research output: Contribution to journalArticleResearchpeer-review

A Practical Object-Oriented Analysis Engin for Constraint Logic Programming

Kelly, A. D., Marriott, K., Sondergaard, H. & Stuckey, P. J., 1998, In : Software-Practice & Experience. p. 199 - 224 26 p.

Research output: Contribution to journalArticleResearchpeer-review

24 Citations (Scopus)

A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications

Marriott, K., Chok, S. S. & Finlay, A., 1998, In : Lecture Notes in Computer Science. p. 340 - 354 15 p.

Research output: Contribution to journalArticleResearchpeer-review

26 Citations (Scopus)

Constrained graph layout

Weiqing, H. E. & Marriott, K., 1 Oct 1998, In : Constraints. 3, 4, p. 289-314 26 p.

Research output: Contribution to journalArticleResearchpeer-review

11 Citations (Scopus)

Differential Methods in Logic Program Analysis

Garcia De La Banda, M. J., Marriott, K., Stuckey, P. J. & Sondergaard, H., 1998, In : Journal of Logic Programming. p. 1 - 37 37 p.

Research output: Contribution to journalArticleResearchpeer-review

8 Citations (Scopus)

Optimizing compilation of CLP(R)

Kelly, A. D., Marriott, K., Macdonald, A., Stuckey, P. J. & Yap, R., 1 Nov 1998, In : ACM Transactions on Programming Languages and Systems. 20, 6, p. 1223-1250 28 p.

Research output: Contribution to journalArticleResearchpeer-review

120 Citations (Scopus)

The Semantics of Constraint Logic Programs

Jaffar, J., Maher, M., Marriott, K. & Stuckey, P. J., 1998, In : Journal of Logic Programming. p. 1 - 46 46 p.

Research output: Contribution to journalArticleResearchpeer-review

60 Citations (Scopus)

Two Classes of Boolean Functions for Dependency Analysis

Marriott, K., Armstrong, T., Schachte, P. & Sondergaard, H., 1998, In : Science of Computer Programming. p. 3 - 45 43 p.

Research output: Contribution to journalArticleResearchpeer-review

1999
35 Citations (Scopus)

An Overview of HAL

Demoen, B., Garcia De La Banda, M. J., Harvey, W., Marriott, K. & Stuckey, P. J., 1999, In : Lecture Notes in Computer Science. p. 174 - 188 15 p.

Research output: Contribution to journalArticleResearchpeer-review

2000
53 Citations (Scopus)

Constraint-based Document Layout for the Web

Borning, A., Lin, R. K-H. & Marriott, K., 2000, In : Multimedia Systems. p. 177 - 189 13 p.

Research output: Contribution to journalArticleResearchpeer-review

6 Citations (Scopus)

Improving Program Analyses by Structure Untupling

Codish, M., Marriott, K. & Taboch, C., 2000, In : Journal of Logic Programming. p. 251 - 263 13 p.

Research output: Contribution to journalArticleResearchpeer-review

50 Citations (Scopus)

Incremental Analysis of Constraint Logic Programs

Hermenegildo, M., Puebla, G., Marriott, K. & Stuckey, P. J., 2000, In : ACM Transactions on Programming Languages and Systems. p. 187 - 223 37 p.

Research output: Contribution to journalArticleResearchpeer-review

11 Citations (Scopus)

Independence in CLP Languages

Garcia De La Banda, M. J., Hermenegildo, M. & Marriott, K., 2000, In : ACM Transactions on Programming Languages and Systems. p. 296 - 339 44 p.

Research output: Contribution to journalArticleResearchpeer-review

6 Citations (Scopus)

Mode Checking in HAL

Garcia De La Banda, M. J., Stuckey, P. J., Harvey, W. & Marriott, K., 2000, In : Lecture Notes in Computer Science. p. 1270 - 1284 15 p.

Research output: Contribution to journalArticleResearchpeer-review

1 Citation (Scopus)

Non-standard Logics for Diagram Interpretation

Marriott, K. & Meyer, B., 2000, In : Lecture Notes in Computer Science. p. 42 - 57 16 p.

Research output: Contribution to journalArticleResearchpeer-review

20 Citations (Scopus)

Restricted Focus Viewer: A Tool for Tracking Visual Attention

Blackwell, A. F., Jansen, A. R. & Marriott, K., 2000, In : Lecture Notes in Computer Science. p. 162 - 177 16 p.

Research output: Contribution to journalArticleResearchpeer-review

2001
12 Citations (Scopus)

A model of inter-module analysis and optimizing compilation

Bueno, F., Garcia De La Banda, M. J., Hermenegildo, M., Marriott, K., Puebla, G. & Stuckey, P. J., 2001, In : Lecture Notes in Computer Science. 2042, p. 86 - 102 17 p.

Research output: Contribution to journalArticleResearchpeer-review

4 Citations (Scopus)

Building constraint solvers with HAL

Garcia De La Banda, M. J., Jeffery, D. G., Marriott, K., Nethercote, N., Stuckey, P. J. & Holzbaur, C., 2001, In : Lecture Notes in Computer Science. 2237, p. 90 - 104 15 p.

Research output: Contribution to journalArticleResearchpeer-review

6 Citations (Scopus)

Deductive parsing of visual languages

Bottoni, P., Meyer, B., Marriott, K. & Presicce, F. P., 2001, In : Lecture Notes in Computer Science. 2099, p. 79 - 94 16 p.

Research output: Contribution to journalArticleResearchpeer-review

19 Citations (Scopus)

Solving disjunctive constraints for interactive graphical applications

Marriott, K., Moulder, P., Stuckey, P. J. & Borning, A., 2001, In : Lecture Notes in Computer Science. 2239, p. 361 - 376 16 p.

Research output: Contribution to journalArticleResearchpeer-review

2002
1 Citation (Scopus)

Flexible graph layout for the web

Hansen, T., Marriott, K., Meyer, B. & Stuckey, P. J., 2002, In : Journal of Visual Languages and Computing. 13, 1, p. 35 - 60 26 p.

Research output: Contribution to journalArticleResearchpeer-review

20 Citations (Scopus)

QOCA: a constraint solving toolkit for interactive graphical applications

Marriott, K. & Chok, S. S., 2002, In : Constraints. 7, 3/4, p. 229 - 254 26 p.

Research output: Contribution to journalArticleResearchpeer-review

13 Citations (Scopus)

To the Gates of HAL: a HAL tutorial

Garcia De La Banda, M. J., Demoen, B., Marriott, K. & Stuckey, P. J., 2002, In : Lecture Notes in Computer Science. 2441, p. 47 - 66 20 p.

Research output: Contribution to journalArticleResearchpeer-review

2003
34 Citations (Scopus)

A tool for tracking visual attention: the Restricted Focus Viewer

Jansen, A. R., Blackwell, A. F. & Marriott, K. G., 2003, In : Behavior Research Methods Instruments & Computers. 35, 1, p. 57 - 69 13 p.

Research output: Contribution to journalArticleResearchpeer-review

23 Citations (Scopus)

Automatic generation of intelligent diagram editors

Chok, S. S. & Marriott, K. G., 2003, In : ACM Transactions on Computer-Human Interaction. 10, 3, p. 244 - 276 33 p.

Research output: Contribution to journalArticleResearchpeer-review

10 Citations (Scopus)

Comprehension of algebraic expressions by experienced users of mathematics

Jansen, A. R., Marriott, K. G. & Yelland, G. W., 2003, In : Quarterly Journal of Experimental Psychology Section A: Human Experimental Psychology. 56, 1, p. 3 - 30 28 p.

Research output: Contribution to journalArticleResearchpeer-review

24 Citations (Scopus)

Removing node overlapping in graph layout using constrained optimization

Marriott, K. G., Stuckey, P. J., Tam, V. & He, W., 2003, In : Constraints. 8, 2, p. 143 - 171 29 p.

Research output: Contribution to journalArticleResearchpeer-review

2004
8 Citations (Scopus)

A generic framework for context-sensitive analysis of modular programs

Puebla, G., Correas, J., Hermenegildo, M. V., Bueno, F., Garcia De La Banda, M. J., Marriott, K. G. & Stuckey, P. J., 2004, In : Lecture Notes in Computer Science. 3049, p. 233 - 260 28 p.

Research output: Contribution to journalArticleResearchpeer-review

Herbrand constraints in HAL

Demoen, B., Garcia De La Banda, M. J., Harvey, W., Marriott, K. G., Overton, D. M. & Stuckey, P. J., 2004, In : Lecture Notes in Computer Science. 3049, p. 499 - 538 40 p.

Research output: Contribution to journalArticleResearchpeer-review

6 Citations (Scopus)

NP-completeness of minimal width unordered tree layout

Marriott, K. G. & Stuckey, P. J., 2004, In : Journal of Graph Algorithms and Applications. 8, 3, p. 295 - 312 18 p.

Research output: Contribution to journalArticleResearchpeer-review