Kim Marriott
Kim Marriott
Dirección de correo verificada de
Citado por
Citado por
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
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
Visual language theory
K Marriott, B Meyer
Springer Science & Business Media, 1998
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
Immersive Analytics
E Chandler, T., Cordeil, M., Czauderna, T., Dwyer, T., Glowacki, J., Goncu ...
2015 IEEE BDVA Syposium, 1-8, 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
A survey of visual language specification and recognition
K Marriott, B Meyer, KB Wittenburg
Visual language theory, 5-85, 1998
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
Fast node overlap removal
T Dwyer, K Marriott, PJ Stuckey
International Symposium on Graph Drawing, 153-164, 2005
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
Explicit representation of terms defined by counter examples
JL Lassez, K Marriott
Journal of Automated Reasoning 3 (3), 301-317, 1987
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
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
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
Constraint-based document layout for the web
A Borning, RKH Lin, K Marriott
Multimedia systems 8 (3), 177-189, 2000
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
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20