Follow
Kim Marriott
Title
Cited by
Cited by
Year
Programming with constraints: an introduction
K Marriott, PJ Stuckey
MIT press, 1998
1564*1998
Unification revisited
JL Lassez, MJ Maher, K Marriott
Foundations of Logic and Functional Programming: Workshop Trento, Italy …, 1988
6771988
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
2851998
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
2372017
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
2322016
Immersive analytics
K Marriott, F Schreiber, T Dwyer, K Klein, NH Riche, T Itoh, W Stuerzlinger, ...
Springer, 2018
2212018
Building visual language parsers
R Helm, K Marruitt, M Odersky
Proceedings of the SIGCHI conference on Human factors in computing systems …, 1991
2101991
Constraint multiset grammars
K Marriott
Proceedings of 1994 IEEE Symposium on Visual Languages, 118-125, 1994
2051994
Visual language theory
K Marriott, B Meyer
Springer Science & Business Media, 2012
1902012
The design of the Zinc modelling language
K Marriott, N Nethercote, R Rafeh, PJ Stuckey, M Garcia De La Banda, ...
Constraints 13, 229-267, 2008
1862008
Fast node overlap removal
T Dwyer, K Marriott, PJ Stuckey
Graph Drawing: 13th International Symposium, GD 2005, Limerick, Ireland …, 2006
1792006
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
1671997
A survey of visual language specification and recognition
K Marriott, B Meyer, KB Wittenburg
Visual language theory, 5-85, 1998
1641998
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
1602006
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
1561993
Explicit representation of terms defined by counter examples
JL Lassez, K Marriott
Journal of Automated reasoning 3, 301-317, 1987
1471987
Accessible maps for the blind: Comparing 3D printed models with tactile graphics
L Holloway, K Marriott, M Butler
Proceedings of the 2018 chi conference on human factors in computing systems …, 2018
1402018
IATK: An immersive analytics toolkit
M Cordeil, A Cunningham, B Bach, C Hurter, BH Thomas, K Marriott, ...
2019 IEEE Conference on Virtual Reality and 3D User Interfaces (VR), 200-209, 2019
1322019
Review of automatic document formatting
N Hurst, W Li, K Marriott
Proceedings of the 9th ACM symposium on Document engineering, 99-108, 2009
1292009
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
1271994
The system can't perform the operation now. Try again later.
Articles 1–20