Kim Marriott
Kim Marriott
Verified email at
Cited by
Cited by
Programming with constraints: an introduction
K Marriott, PJ Stuckey, PJ Stuckey
MIT press, 1998
Unification revisited
JL Lassez, MJ Maher, K Marriott
Foundations of logic and functional programming, 67-113, 1988
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
Visual language theory
K Marriott, B Meyer
Springer Science & Business Media, 1998
Building visual language parsers
R Helm, K Marruitt, M Odersky
Proceedings of the SIGCHI conference on Human factors in computing systems …, 1991
Constraint multiset grammars
K Marriott
Proceedings of 1994 IEEE Symposium on Visual Languages, 118-125, 1994
Immersive Analytics
E Chandler, T., Cordeil, M., Czauderna, T., Dwyer, T., Glowacki, J., Goncu ...
2015 IEEE BDVA Syposium, 1-8, 2015
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
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
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
A survey of visual language specification and recognition
K Marriott, B Meyer, KB Wittenburg
Visual language theory, 5-85, 1998
Explicit representation of terms defined by counter examples
JL Lassez, K Marriott
Journal of Automated Reasoning 3 (3), 301-317, 1987
Fast node overlap removal
T Dwyer, K Marriott, PJ Stuckey
International Symposium on Graph Drawing, 153-164, 2005
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
Unification revisited, Foundations of deductive databases and logic programming
JL Lassez, MJ Maher, K Marriott
Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
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
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
Constraint-based document layout for the Web
A Borning, RKH Lin, K Marriott
Multimedia systems 8 (3), 177-189, 2000
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
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
The system can't perform the operation now. Try again later.
Articles 1–20