Kim Marriott
Kim Marriott
Verified email at monash.edu
Title
Cited by
Cited by
Year
Programming with constraints: an introduction
K Marriott, PJ Stuckey, PJ Stuckey
MIT press, 1998
15021998
Unification revisited
JL Lassez, MJ Maher, K Marriott
Foundations of logic and functional programming, 67-113, 1988
6251988
The semantics of constraint logic programs
J Jaffar, M Maher, K Marriott, P Stuckey
The Journal of Logic Programming 37 (1-3), 1-46, 1998
2781998
Building visual language parsers
R Helm, K Marruitt, M Odersky
Proceedings of the SIGCHI conference on Human factors in computing systems …, 1991
2071991
Constraint multiset grammars
K Marriott
Proceedings of 1994 IEEE Symposium on Visual Languages, 118-125, 1994
1991994
The design of the Zinc modelling language
K Marriott, N Nethercote, R Rafeh, PJ Stuckey, MG De La Banda, ...
Constraints 13 (3), 229-267, 2008
1742008
Visual language theory
K Marriott, B Meyer
Springer Science & Business Media, 1998
1741998
Immersive Analytics
E Chandler, T., Cordeil, M., Czauderna, T., Dwyer, T., Glowacki, J., Goncu ...
2015 IEEE BDVA Syposium, 1-8, 2015
165*2015
Solving linear arithmetic constraints for user interface applications
A Borning, K Marriott, P Stuckey, Y Xiao
Proceedings of the 10th annual acm symposium on user interface software and …, 1997
1611997
A survey of visual language specification and recognition
K Marriott, B Meyer, KB Wittenburg
Visual language theory, 5-85, 1998
1551998
Fast node overlap removal
T Dwyer, K Marriott, PJ Stuckey
International Symposium on Graph Drawing, 153-164, 2005
1502005
Precise and efficient groundness analysis for logic programs
K Marriott, H Søndergaard
ACM Letters on Programming Languages and Systems (LOPLAS) 2 (1-4), 181-196, 1993
1501993
Immersive collaborative analysis of network connectivity: CAVE-style or head-mounted display?
M Cordeil, T Dwyer, K Klein, B Laha, K Marriott, BH Thomas
IEEE transactions on visualization and computer graphics 23 (1), 441-450, 2016
1442016
Explicit representation of terms defined by counter examples
JL Lassez, K Marriott
Journal of Automated Reasoning 3 (3), 301-317, 1987
1431987
IPSep-CoLa: An incremental procedure for separation constraint layout of graphs
T Dwyer, Y Koren, K Marriott
IEEE Transactions on Visualization and Computer Graphics 12 (5), 821-828, 2006
1362006
Two classes of Boolean functions for dependency analysis
T Armstrong, K Marriott, P Schachte, H Søndergaard
Science of Computer Programming 31 (1), 3-45, 1998
1251998
Constraint-based document layout for the web
A Borning, RKH Lin, K Marriott
Multimedia systems 8 (3), 177-189, 2000
1202000
Denotational abstract interpretation of logic programs
K Marriott, H Søndergaard, ND Jones
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (3), 607-648, 1994
1181994
Constraint cascading style sheets for the web
GJ Badros, A Borning, K Marriott, P Stuckey
Proceedings of the 12th annual ACM symposium on User interface software and …, 1999
1171999
Imaxes: Immersive axes as embodied affordances for interactive multivariate data visualisation
M Cordeil, A Cunningham, T Dwyer, BH Thomas, K Marriott
Proceedings of the 30th Annual ACM Symposium on User Interface Software and …, 2017
1162017
The system can't perform the operation now. Try again later.
Articles 1–20