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

Research Output 1987 2019

Filter
Book

Abstract interpretation: A theory of approximate computation

Marriott, K., 1997, Melbourne Vic Australia: Monash University. 13 p.

Research output: Book/ReportBookOther

35 Citations (Scopus)

An Overview of HAL

Demoen, B., Garcia De La Banda, M. J., Harvey, W., Marriott, K. & Stuckey, P. J., 1999, Clayton Vic Australia: Monash University. 17 p.

Research output: Book/ReportBookOther

A survey of visual language specification and recognition

Marriott, K., Meyer, B. & Wittenburg, K., 1997, Melbourne Vic Australia: Monash University. 62 p.

Research output: Book/ReportBookOther

Automatic Generation of Intelligent Diagram Editors

Chok, S. S. & Marriott, K., 1999, Clayton Vic Australia: Monash University. 25 p.

Research output: Book/ReportBookOther

12 Citations (Scopus)

Constraint-Based Diagram Beautification

Chok, S. S., Marriott, K. & Paton, T., 1999, Clayton Vic Australia: Monash University. 8 p.

Research output: Book/ReportBookOther

Constraints for the web

Borning, A., Lin, R. K-H. & Marriott, K., 1997, Melbourne Vic Australia: Monash University. 22 p.

Research output: Book/ReportBookOther

Herbrand Constraint Solving in HAL

Demoen, B., Garcia De La Banda, M. J., Harvey, W., Marriott, K. & Stuckey, P. J., 1999, Clayton Vic Australia: Monash University. 17 p.

Research output: Book/ReportBookOther

Programming with Constraints - An Introduction

Marriott, K. & Stuckey, P. J., 1998, London UK: The MIT Press. 459 p.

Research output: Book/ReportBookResearchpeer-review

Removing node overlapping using constrained optimization

He, W. & Marriott, K., 1997, Melbourne Vic Australia: Monash University. 15 p.

Research output: Book/ReportBookOther

The CCMG visual language hierarchy

Marriott, K. & Meyer, B., 1997, Melbourne Vic Australia: Monash University. 32 p.

Research output: Book/ReportBookOther