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

Research Output 1987 2019

Filter
Book
1999
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

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

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

1998

Programming with Constraints - An Introduction

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

Research output: Book/ReportBookResearchpeer-review

1997

Abstract interpretation: A theory of approximate computation

Marriott, K., 1997, Melbourne Vic Australia: Monash University. 13 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

Constraints for the web

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

Research output: Book/ReportBookOther

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