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

Research Output 1987 2019

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

2 Citations (Scopus)

Interactive, constraint-based layout of engineering diagrams

Dwyer, T. G., Marriott, K. G. & Wybrow, M. J., 2008, In : Electronic Communications of the EASST. 13, p. 1 - 8 8 p.

Research output: Contribution to journalArticleResearchpeer-review

69 Citations (Scopus)

IPSEP-CoLA: an incremental procedure for separation constraint layout of graphs

Dwyer, T. G., Koren, Y. & Marriott, K. G., 2006, In : IEEE Transactions on Visualization and Computer Graphics. 12, 5, p. 821 - 828 8 p.

Research output: Contribution to journalArticleResearchpeer-review

24 Citations (Scopus)

Many-to-many geographically-embedded flow visualisation: An evaluation

Yang, Y., Dwyer, T. G., Goodwin, S. & Marriott, K., Jan 2017, In : IEEE Transactions on Visualization and Computer Graphics. 23, 1, p. 411-420 10 p., 7539669.

Research output: Contribution to journalArticleResearchpeer-review

7 Citations (Scopus)

Maps and globes in virtual reality

Yang, Y., Jenny, B., Dwyer, T., Marriott, K., Chen, H. & Cordeil, M., 1 Jun 2018, In : Computer Graphics Forum. 37, 3, p. 427-438 12 p.

Research output: Contribution to journalArticleResearchpeer-review

35 Citations (Scopus)

Memorability of visual features in network diagrams

Marriott, K. G., Purchase, H., Wybrow, M. J. & Goncu, C., 2012, In : IEEE Transactions on Visualization and Computer Graphics. 18, 12, p. 2477 - 2485 9 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

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

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

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

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

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

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

4 Citations (Scopus)

Origin-destination flow maps in immersive environments

Yang, Y., Dwyer, T., Jenny, B., Marriott, K., Cordeil, M. & Chen, H., Jan 2019, In : IEEE Transactions on Visualization and Computer Graphics. 25, 1, p. 693-703 11 p.

Research output: Contribution to journalArticleResearchpeer-review

11 Citations (Scopus)

Parsing of algebraic expressions by experienced users of mathematics

Jansen, A., Marriott, K. G. & Yelland, G. W., 2007, In : European Journal of Cognitive Psychology. 19, 2, p. 286 - 320 35 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

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

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

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

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

20 Citations (Scopus)

Situated analytics: Demonstrating immersive analytical tools with augmented reality

ElSayed, N. A. M., Thomas, B. H., Marriott, K., Piantadosi, J. & Smith, R. T., 1 Oct 2016, In : Journal of Visual Languages and Computing. 36, p. 13-23 11 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

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

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

96 Citations (Scopus)

The design of the Zinc modelling language

Marriott, K. G., Nethercote, N., Rafeh, R., Stuckey, P. J., Garcia De La Banda, M. J. & Wallace, M., 2008, In : Constraints. 13, 3, p. 229 - 267 39 p.

Research output: Contribution to journalArticleResearchpeer-review

13 Citations (Scopus)

The G12 project: mapping solver independent models to efficient solutions

Stuckey, P. J., Garcia De La Banda, M. J., Maher, M., Marriott, K. G., Slaney, J., Somogyi, Z., Wallace, M. & Walsh, T., 2005, In : Lecture Notes in Computer Science. 3709, p. 13-16 5 p.

Research output: Contribution to journalArticleResearchpeer-review

16 Citations (Scopus)

The G12 project: Mapping solver independent models to efficient solutions

Stuckey, P. J., De La Banda, M. G., Maher, M., Marriott, K., Slaney, J., Somogyi, Z., Wallace, M. & Walsh, T., 31 Oct 2005, In : Lecture Notes in Computer Science. 3668, p. 9-13 5 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

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

23 Citations (Scopus)

Towards unambiguous edge bundling: Investigating confluent drawings for network visualization

Bach, B., Riche, N. H., Hurter, C., Marriott, K. & Dwyer, T., 1 Jan 2017, In : IEEE Transactions on Visualization and Computer Graphics. 23, 1, p. 541-550 10 p., 7539373.

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

8 Citations (Scopus)

Understanding the graphical challenges faced by vision-impaired students in Australian universities

Butler, M., Holloway, L., Marriott, K. & Goncu, C., 2 Jan 2017, In : Higher Education Research and Development. 36, 1, p. 59-72 14 p.

Research output: Contribution to journalArticleResearchpeer-review

4 Citations (Scopus)

Understanding the relationship between interactive optimisation and visual analytics in the context of prostate brachytherapy

Liu, J., Dwyer, T., Marriott, K., Millar, J. & Haworth, A., Jan 2018, In : IEEE Transactions on Visualization and Computer Graphics. 24, 1, p. 319-329 11 p.

Research output: Contribution to journalArticleResearchpeer-review