Følg
Kim Marriott
Kim Marriott
Bekræftet mail på monash.edu
Titel
Citeret af
Citeret af
År
Programming with constraints: an introduction
K Marriott, PJ Stuckey, PJ Stuckey
MIT press, 1998
15351998
Unification revisited
JL Lassez, MJ Maher, K Marriott
Foundations of Logic and Functional Programming: Workshop Trento, Italy …, 1988
6581988
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
2811998
Immersive analytics
T Chandler, M Cordeil, T Czauderna, T Dwyer, J Glowacki, C Goncu, ...
2015 Big Data Visual Analytics (BDVA), 1-8, 2015
2792015
Building visual language parsers
R Helm, K Marruitt, M Odersky
Proceedings of the SIGCHI conference on Human factors in computing systems …, 1991
2121991
Constraint multiset grammars
K Marriott
Proceedings of 1994 IEEE Symposium on Visual Languages, 118-125, 1994
2081994
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
1902016
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
1832008
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
1792017
Visual language theory
K Marriott, B Meyer
Springer Science & Business Media, 1998
1781998
Fast node overlap removal
T Dwyer, K Marriott, PJ Stuckey
Graph Drawing: 13th International Symposium, GD 2005, Limerick, Ireland …, 2006
1632006
A survey of visual language specification and recognition
K Marriott, B Meyer, KB Wittenburg
Visual language theory, 5-85, 1998
1611998
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
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
1591993
Immersive analytics
K Marriott, F Schreiber, T Dwyer, K Klein, NH Riche, T Itoh, W Stuerzlinger, ...
Springer, 2018
1572018
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
1542006
Explicit representation of terms defined by counter examples
JL Lassez, K Marriott
Journal of Automated reasoning 3, 301-317, 1987
1441987
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
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
1261998
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
1201999
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–20