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

Research Output 1987 2019

Filter
Article
Article
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

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

21 Citations (Scopus)

A generic algorithm for layout of biological networks

Schreiber, F., Dwyer, T., Marriott, K. G. & Wybrow, M. J., 2009, In : BMC Bioinformatics. 10, p. 1 - 12 12 p.

Research output: Contribution to journalArticleResearchpeer-review

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

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

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

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

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

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

Authoring diagrams that adapt to their viewing context

McCormack, C., Marriott, K. & Meyer, B., Jun 2018, In : Journal of Visual Languages and Computing. 46, p. 20-34 15 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

Automatic minimal-height table layout

Bilauca, M., Gange, G., Healy, P., Marriott, K. G., Moulder, P. & Stuckey, P. J., 2015, In : INFORMS Journal on Computing. 27, 3, p. 449 - 461 13 p.

Research output: Contribution to journalArticleResearchpeer-review

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

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

Chapter 12 Constraint logic programming

Marriott, K., Wallace, M. & Stuckey, P. J., 1 Dec 2006, In : Lecture Notes in Computer Science. 2, C, p. 409-452 44 p.

Research output: Contribution to journalArticleResearchpeer-review

2 Citations (Scopus)

Checking modes of HAL programs

Garcia De La Banda, M. J., Harvey, W., Marriott, K. G., Stuckey, P. J. & Demoen, B., 2005, In : Theory and Practice of Logic Programming. 5, 6, p. 623 - 667 45 p.

Research output: Contribution to journalArticleResearchpeer-review

7 Citations (Scopus)

Comparing usability of one-way and multi-way constraints for diagram editing

Wybrow, M. J., Marriott, K. G., McIver, L. K. & Stuckey, P. J., 2008, In : ACM Transactions on Computer-Human Interaction. 14, 4, p. 1 - 38 38 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

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

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

8 Citations (Scopus)

Constrained graph layout by stress majorization and gradient projection

Dwyer, T. G., Koren, Y. & Marriott, K. G., 2009, In : Discrete Mathematics. 309, 7, p. 1895 - 1908 14 p.

Research output: Contribution to journalArticleResearchpeer-review

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

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

5 Citations (Scopus)

Context-aware design pattern for situated analytics: Blended Model View Controller

ElSayed, N. A. M., Smith, R. T., Marriott, K. & Thomas, B. H., 1 Feb 2018, In : Journal of Visual Languages and Computing. 44, p. 1-12 12 p.

Research output: Contribution to journalArticleResearchpeer-review

4 Citations (Scopus)

ContextuWall: multi-site collaboration using display walls

Klapperstueck, M., Czauderna, T., Goncu, C., Glowacki, J., Dwyer, T., Schreiber, F. & Marriott, K., Jun 2018, In : Journal of Visual Languages and Computing. 46, p. 35-42 8 p.

Research output: Contribution to journalArticleResearchpeer-review

5 Citations (Scopus)

Conversion of KEGG metabolic pathways to SBGN maps including automatic layout

Czauderna, T., Wybrow, M. J., Marriott, K. G. & Schreiber, F., 2013, In : BMC Bioinformatics. 14, p. 1 - 17 17 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
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

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

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

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

25 Citations (Scopus)

Drawing directed graphs using quadratic programming

Dwyer, T. G., Koren, Y. & Marriott, K. G., 2006, In : IEEE Transactions on Visualization and Computer Graphics. 12, 4, p. 536 - 548 13 p.

Research output: Contribution to journalArticleResearchpeer-review

30 Citations (Scopus)

Edge compression techniques for visualisation of dense directed graphs

Dwyer, T. G., Riche, N., Marriott, K. G. & Mears, C. D., 2013, In : IEEE Transactions on Visualization and Computer Graphics. 19, 12, p. 2596 - 2605 10 p.

Research output: Contribution to journalArticleResearchpeer-review

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

41 Citations (Scopus)

Exploration of networks using overview+detail with constraint-based cooperative layout

Dwyer, T., Marriott, K. G., Schreiber, F., Stuckey, P. J., Woodward, M. & Wybrow, M. J., 2008, In : IEEE Transactions on Visualization and Computer Graphics. 14, 6, p. 1293 - 1300 8 p.

Research output: Contribution to journalArticleResearchpeer-review

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

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

4 Citations (Scopus)

Graph Thumbnails: Identifying and Comparing Multiple Graphs at a Glance

Yoghourdjian, V., Dwyer, T., Klein, K., Marriott, K. & Wybrow, M., 2018, In : IEEE Transactions on Visualization and Computer Graphics. 14, 18, p. 1-14 14 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

13 Citations (Scopus)

High-Quality Ultra-Compact Grid Layout of Grouped Networks

Yoghourdjian, V., Dwyer, T., Gange, G., Kieffer, S., Klein, K. & Marriott, K. G., Jan 2016, In : IEEE Transactions on Visualization and Computer Graphics. 22, 1, p. 339 - 348 10 p.

Research output: Contribution to journalArticleResearchpeer-review

5 Citations (Scopus)

Hi-trees and their layout

Marriott, K. G., Sbarski, P., van Gelder, T., Prager, D. & Bulka, A., 2011, In : IEEE Transactions on Visualization and Computer Graphics. 17, 3, p. 290 - 304 15 p.

Research output: Contribution to journalArticleResearchpeer-review

31 Citations (Scopus)

HOLA: Human-like orthogonal network layout

Kieffer, S., Dwyer, T. G., Marriott, K. G. & Wybrow, M. J., Jan 2016, In : IEEE Transactions on Visualization and Computer Graphics. 22, 1, p. 349 - 358 10 p.

Research output: Contribution to journalArticleResearchpeer-review

4 Citations (Scopus)

HTML automatic table layout

Marriott, K. G., Moulder, P. & Hurst, N., 2013, In : ACM Transactions on the Web. 7, 1, p. 1 - 27 27 p.

Research output: Contribution to journalArticleResearchpeer-review

46 Citations (Scopus)

Immersive collaborative analysis of network connectivity: CAVE-style or head-mounted display?

Cordeil, M., Dwyer, T., Klein, K., Laha, B., Marriott, K. & Thomas, B. H., 1 Jan 2017, In : IEEE Transactions on Visualization and Computer Graphics. 23, 1, p. 441-450 10 p., 7539620.

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

51 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

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

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