Kim Marriott
Kim Marriott
Dirección de correo verificada de monash.edu
Título
Citado por
Citado por
Año
Programming with constraints: an introduction
K Marriott, PJ Stuckey, PJ Stuckey
MIT press, 1998
15071998
Unification revisited
JL Lassez, MJ Maher, K Marriott
Foundations of logic and functional programming, 67-113, 1988
6271988
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
2791998
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
Visual language theory
K Marriott, B Meyer
Springer Science & Business Media, 1998
1761998
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
Immersive Analytics
E Chandler, T., Cordeil, M., Czauderna, T., Dwyer, T., Glowacki, J., Goncu ...
2015 IEEE BDVA Syposium, 1-8, 2015
168*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
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
1521993
Fast node overlap removal
T Dwyer, K Marriott, PJ Stuckey
International Symposium on Graph Drawing, 153-164, 2005
1502005
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
1452016
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
1382006
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
1282017
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20