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
14751998
Unification revisited
JL Lassez, MJ Maher, K Marriott
Foundations of logic and functional programming, 67-113, 1988
6191988
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
2691998
Building visual language parsers
R Helm, K Marruitt, M Odersky
Proceedings of the SIGCHI conference on Human factors in computing systems …, 1991
2041991
Constraint multiset grammars
K Marriott
Proceedings of 1994 IEEE Symposium on Visual Languages, 118-125, 1994
1981994
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
Visual language theory
K Marriott, B Meyer
Springer Science & Business Media, 2012
1692012
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
1581997
A survey of visual language specification and recognition
K Marriott, B Meyer, KB Wittenburg
Visual language theory, 5-85, 1998
1551998
Immersive Analytics
E Chandler, T., Cordeil, M., Czauderna, T., Dwyer, T., Glowacki, J., Goncu ...
2015 IEEE BDVA Syposium, 1-8, 2015
150*2015
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
1481993
Fast node overlap removal
T Dwyer, K Marriott, PJ Stuckey
International Symposium on Graph Drawing, 153-164, 2005
1452005
Explicit representation of terms defined by counter examples
JL Lassez, K Marriott
Journal of Automated Reasoning 3 (3), 301-317, 1987
1381987
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
1312016
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
1312006
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
1231998
Constraint-based document layout for the web
A Borning, RKH Lin, K Marriott
Multimedia systems 8 (3), 177-189, 2000
1162000
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
1141999
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
1121994
Constrained graph layout
W He, K Marriott
International Symposium on Graph Drawing, 217-232, 1996
1091996
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20