Edit Profile (opens in new tab) Marriott, Kim Compute Distance To: Compute Author ID: marriott.kim Published as: Marriott, Kim; Marriott, K. Documents Indexed: 63 Publications since 1986, including 1 Book 4 Contributions as Editor Co-Authors: 62 Co-Authors with 65 Joint Publications 883 Co-Co-Authors all top 5 Co-Authors 2 single-authored 26 Stuckey, Peter James 11 Garcia de la Banda, Maria 10 Dwyer, Tim 8 Meyer, Bernd E. 7 Wybrow, Michael 5 Lassez, Jean-Louis 4 Falaschi, Moreno 4 Maher, Michael J. 4 Søndergaard, Harald 3 Codish, Michael 3 Demoen, Bart 3 Harvey, Warwick 3 Odersky, Martin 3 Wallace, Mark G. 2 Blackwell, Alan F. 2 Borning, Alan H. 2 Bueno, Francisco 2 Gabbrielli, Maurizio 2 Gange, Graeme 2 He, Weiqing 2 Hermenegildo, Manuel V. 2 Jansen, Anthony R. 2 Kieffer, Steve 2 Koren, Yehuda 2 Lin, Richard Kuang-Hsu 2 Moulder, Peter 2 Nethercote, Nicholas 2 Palamidessi, Catuscia 2 Puebla, Germán 2 Winsborough, William H. 1 Allwein, Gerard 1 Armstrong, Tania 1 Bilauca, Mihai 1 Bottoni, Paolo 1 Chok, Sitt Sen 1 Correas, Jesús 1 Cruz, Isabel F. 1 Healy, Patrick 1 Helm, Richard 1 Hermengildo, Manuel 1 Holzbaur, Christian 1 Huynh, Tien 1 Jaffar, Joxan 1 Jeffery, David 1 Mears, Christopher 1 Naish, Lee 1 Overton, David 1 Parisi-Presicce, Francesco 1 Rafeh, Reza 1 Rüegg, Ulf 1 Schachte, Peter 1 Schütt, Andreas 1 Shimojima, Atsushi 1 Slaney, John K. 1 Somogyi, Zoltan 1 Sulzmann, Martin 1 Taboch, Cohavit 1 Tack, Guido 1 Tam, Vincent H. 1 Van Hentenryck, Pascal 1 Walsh, Toby 1 Wittenburg, Kent B. all top 5 Serials 7 The Journal of Logic Programming 5 Constraints 3 Theoretical Computer Science 1 Acta Informatica 1 Discrete Mathematics 1 Information Processing Letters 1 Journal of Computer and System Sciences 1 Science of Computer Programming 1 New Generation Computing 1 Information and Computation 1 Journal of Automated Reasoning 1 Annals of Mathematics and Artificial Intelligence 1 INFORMS Journal on Computing 1 1 Journal of Graph Algorithms and Applications 1 Theory and Practice of Logic Programming 1 Lecture Notes in Computer Science all top 5 Fields 66 Computer science (68-XX) 13 Combinatorics (05-XX) 7 Operations research, mathematical programming (90-XX) 4 General and overarching topics; collections (00-XX) 2 Mathematical logic and foundations (03-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Numerical analysis (65-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 45 Publications have been cited 274 times in 234 Documents Cited by ▼ Year ▼ Unification revisited. Zbl 0645.68046Lassez, J.-L.; Maher, M. J.; Marriott, K. 59 1988 Programming with constraints. An introduction. Zbl 0935.68098Marriott, Kim; Stuckey, Peter J. 44 1998 The semantics of constraint logic programs. Zbl 0920.68068Jaffar, Joxan; Maher, Michael; Marriott, Kim; Stuckey, Peter 25 1998 The design of the zinc modelling language. Zbl 1146.68352Marriott, Kim; Nethercote, Nicholas; Rafeh, Reza; Stuckey, Peter J.; Garcia de la Banda, Maria; Wallace, Mark 22 2008 Explicit representation of terms defined by counter examples. Zbl 0641.68124Lassez, J.-L.; Marriott, K. 20 1987 Two classes of Boolean functions for dependency analysis. Zbl 0942.68018Armstrong, Tania; Marriott, Kim; Schachte, Peter; Søndergaard, Harald 11 1998 Elimination of negation in term algebras. Zbl 0776.68070Lassez, J.-L.; Maher, M.; Marriott, K. 9 1991 The G12 project: Mapping solver independent models to efficient solutions. Zbl 1165.68517Stuckey, Peter J.; Garcia de la Banda, Maria; Maher, Michael; Marriott, Kim; Slaney, John; Somogyi, Zoltan; Wallace, Mark; Walsh, Toby 7 2005 Most specific logic programs. Zbl 0878.68036Marriott, K.; Naish, L.; Lassez, J.-L. 6 1990 Confluence in concurrent constraint programming. Zbl 0901.68032Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia 5 1997 Bottom-up dataflow analysis of normal logic programs. Zbl 0776.68025Marriott, Kim; Søndergaard, Harald 4 1992 Constraint logic programming with dynamic scheduling: A semantics based on closure operators. Zbl 0882.68035Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia 4 1997 Fast node overlap removal. Zbl 1171.68609Dwyer, Tim; Marriott, Kim; Stuckey, Peter J. 4 2006 A survey of visual language specification and recognition. Zbl 0933.68075Marriott, Kim; Meyer, Bernd; Wittenburg, Kent B. 3 1998 Checking modes of HAL programs. Zbl 1083.68019García de la Banda, Maria; Harvey, Warwick; Marriott, Kim; Stuckey, Peter J.; Demoen, Bart 3 2005 Removing node overlapping in graph layout using constrained optimization. Zbl 1039.68121Marriott, Kim; Stuckey, Peter; Tam, Vincent; He, Weiqing 3 2003 Differential methods in logic program analysis. Zbl 0905.68029García de la Banda, María; Marriott, Kim; Stuckey, Peter; Søndergaard, Harald 3 1998 Integrating edge routing into force-directed layout. Zbl 1185.68471Dwyer, Tim; Marriott, Kim; Wybrow, Michael 3 2007 Resource usage verification. Zbl 1254.68082Marriott, Kim; Stuckey, Peter J.; Sulzmann, Martin 3 2003 Efficient analysis of concurrent constraint logic programs. Zbl 1418.68052Codish, Michael; Falaschi, Moreno; Marriott, Kim; Winsborough, William 2 1993 Topology preserving constrained graph layout. Zbl 1213.68441Dwyer, Tim; Marriott, Kim; Wybrow, Michael 2 2009 Constrained graph layout. Zbl 0917.68164He, Weiqing; Marriott, Kim 2 1998 A generic framework for context-sensitive analysis of modular programs. Zbl 1080.68557Puebla, Germán; Correas, Jesús; Hermenegildo, Manuel V.; Bueno, Francisco; García de la Banda, María; Marriott, Kim; Stuckey, Peter J. 2 2004 Solving disjunctive constraints for interactive graphical applications. Zbl 1067.68652Marriott, Kim; Moulder, Peter; Stuckey, Peter J.; Borning, Alan 2 2001 To the gates of HAL: A HAL tutorial. Zbl 1019.68514García de la Banda, María; Demoen, Bart; Marriott, Kim; Stuckey, Peter J. 2 2002 Constraint-based document layout for the Web. Zbl 1060.68522Borning, Alan; Lin, Richard Kuang-Hsu; Marriott, Kim 2 2000 Negative Boolean constraints. Zbl 0872.68017Marriott, Kim; Odersky, Martin 2 1996 Constrained graph layout by stress majorization and gradient projection. Zbl 1201.05093Dwyer, Tim; Koren, Yehuda; Marriott, Kim 2 2009 Stress majorization with orthogonal ordering constraints. Zbl 1171.68608Dwyer, Tim; Koren, Yehuda; Marriott, Kim 2 2006 Constrained stress majorization using diagonally scaled gradient projection. Zbl 1137.68480Dwyer, Tim; Marriott, Kim 1 2008 Frameworks for abstract interpretation. Zbl 0790.68074Marriott, Kim 1 1993 Visual language theory. Zbl 0910.00030 1 1998 Incremental grid-like layout using soft and hard constraints. Zbl 1406.68085Kieffer, Steve; Dwyer, Tim; Marriott, Kim; Wybrow, Michael 1 2013 Herbrand constraints in HAL. Zbl 1080.68551Demoen, Bart; García de la Banda, María; Harvey, Warwick; Marriott, Kim; Overton, David; Stuckey, Peter J. 1 2004 Spatial query optimization: From Boolean constraints to range queries. Zbl 0831.68039Helm, Richard; Marriott, Kim; Odersky, Martin 1 1995 QOCA: A constraint solving toolkit for interactive graphical applications. Zbl 1020.68024Marriott, Kim; Chok, Sitt Sen 1 2002 A model for inter-module analysis and optimizing compilation. Zbl 1018.68501Bueno, Francisco; García de la Banda, María; Hermenegildo, Manuel; Marriott, Kim; Puebla, Germán; Stuckey, Peter J. 1 2001 A confluent calculus for concurrent constraint programming. Zbl 0902.68034Marriott, Kim; Odersky, Martin 1 1997 A confluent semantic basis for the analysis of concurrent constraint logic programs. Zbl 0884.68023Codish, Michael; Falaschi, Moreno; Marriott, Kim; Winsborough, William 1 1997 Incremental constraint deletion in systems of linear constraints. Zbl 0873.65059Huynh, Tien; Marriott, Kim 1 1995 Modelling with option types in MiniZinc. Zbl 1407.68458Mears, Christopher; Schutt, Andreas; Stuckey, Peter J.; Tack, Guido; Marriott, Kim; Wallace, Mark 1 2014 Improving program analyses by structure untupling. Zbl 0955.68021Codish, Michael; Marriott, Kim; Taboch, Cohavit 1 2000 Diagrammatic representation and inference. Third international conference, Diagrams 2004, Cambridge, UK, March 22–24, 2004. Proceedings. Zbl 1047.68002 1 2004 NP-completeness of minimal width unordered tree layout. Zbl 1088.68070Marriott, Kim; Stuckey, Peter J. 1 2004 Automatic minimal-height table layout. Zbl 1328.90120Bilauca, Mihai; Gange, Graeme; Healy, Patrick; Marriott, Kim; Moulder, Peter; Stuckey, Peter J. 1 2015 Automatic minimal-height table layout. Zbl 1328.90120Bilauca, Mihai; Gange, Graeme; Healy, Patrick; Marriott, Kim; Moulder, Peter; Stuckey, Peter J. 1 2015 Modelling with option types in MiniZinc. Zbl 1407.68458Mears, Christopher; Schutt, Andreas; Stuckey, Peter J.; Tack, Guido; Marriott, Kim; Wallace, Mark 1 2014 Incremental grid-like layout using soft and hard constraints. Zbl 1406.68085Kieffer, Steve; Dwyer, Tim; Marriott, Kim; Wybrow, Michael 1 2013 Topology preserving constrained graph layout. Zbl 1213.68441Dwyer, Tim; Marriott, Kim; Wybrow, Michael 2 2009 Constrained graph layout by stress majorization and gradient projection. Zbl 1201.05093Dwyer, Tim; Koren, Yehuda; Marriott, Kim 2 2009 The design of the zinc modelling language. Zbl 1146.68352Marriott, Kim; Nethercote, Nicholas; Rafeh, Reza; Stuckey, Peter J.; Garcia de la Banda, Maria; Wallace, Mark 22 2008 Constrained stress majorization using diagonally scaled gradient projection. Zbl 1137.68480Dwyer, Tim; Marriott, Kim 1 2008 Integrating edge routing into force-directed layout. Zbl 1185.68471Dwyer, Tim; Marriott, Kim; Wybrow, Michael 3 2007 Fast node overlap removal. Zbl 1171.68609Dwyer, Tim; Marriott, Kim; Stuckey, Peter J. 4 2006 Stress majorization with orthogonal ordering constraints. Zbl 1171.68608Dwyer, Tim; Koren, Yehuda; Marriott, Kim 2 2006 The G12 project: Mapping solver independent models to efficient solutions. Zbl 1165.68517Stuckey, Peter J.; Garcia de la Banda, Maria; Maher, Michael; Marriott, Kim; Slaney, John; Somogyi, Zoltan; Wallace, Mark; Walsh, Toby 7 2005 Checking modes of HAL programs. Zbl 1083.68019García de la Banda, Maria; Harvey, Warwick; Marriott, Kim; Stuckey, Peter J.; Demoen, Bart 3 2005 A generic framework for context-sensitive analysis of modular programs. Zbl 1080.68557Puebla, Germán; Correas, Jesús; Hermenegildo, Manuel V.; Bueno, Francisco; García de la Banda, María; Marriott, Kim; Stuckey, Peter J. 2 2004 Herbrand constraints in HAL. Zbl 1080.68551Demoen, Bart; García de la Banda, María; Harvey, Warwick; Marriott, Kim; Overton, David; Stuckey, Peter J. 1 2004 Diagrammatic representation and inference. Third international conference, Diagrams 2004, Cambridge, UK, March 22–24, 2004. Proceedings. Zbl 1047.68002 1 2004 NP-completeness of minimal width unordered tree layout. Zbl 1088.68070Marriott, Kim; Stuckey, Peter J. 1 2004 Removing node overlapping in graph layout using constrained optimization. Zbl 1039.68121Marriott, Kim; Stuckey, Peter; Tam, Vincent; He, Weiqing 3 2003 Resource usage verification. Zbl 1254.68082Marriott, Kim; Stuckey, Peter J.; Sulzmann, Martin 3 2003 To the gates of HAL: A HAL tutorial. Zbl 1019.68514García de la Banda, María; Demoen, Bart; Marriott, Kim; Stuckey, Peter J. 2 2002 QOCA: A constraint solving toolkit for interactive graphical applications. Zbl 1020.68024Marriott, Kim; Chok, Sitt Sen 1 2002 Solving disjunctive constraints for interactive graphical applications. Zbl 1067.68652Marriott, Kim; Moulder, Peter; Stuckey, Peter J.; Borning, Alan 2 2001 A model for inter-module analysis and optimizing compilation. Zbl 1018.68501Bueno, Francisco; García de la Banda, María; Hermenegildo, Manuel; Marriott, Kim; Puebla, Germán; Stuckey, Peter J. 1 2001 Constraint-based document layout for the Web. Zbl 1060.68522Borning, Alan; Lin, Richard Kuang-Hsu; Marriott, Kim 2 2000 Improving program analyses by structure untupling. Zbl 0955.68021Codish, Michael; Marriott, Kim; Taboch, Cohavit 1 2000 Programming with constraints. An introduction. Zbl 0935.68098Marriott, Kim; Stuckey, Peter J. 44 1998 The semantics of constraint logic programs. Zbl 0920.68068Jaffar, Joxan; Maher, Michael; Marriott, Kim; Stuckey, Peter 25 1998 Two classes of Boolean functions for dependency analysis. Zbl 0942.68018Armstrong, Tania; Marriott, Kim; Schachte, Peter; Søndergaard, Harald 11 1998 A survey of visual language specification and recognition. Zbl 0933.68075Marriott, Kim; Meyer, Bernd; Wittenburg, Kent B. 3 1998 Differential methods in logic program analysis. Zbl 0905.68029García de la Banda, María; Marriott, Kim; Stuckey, Peter; Søndergaard, Harald 3 1998 Constrained graph layout. Zbl 0917.68164He, Weiqing; Marriott, Kim 2 1998 Visual language theory. Zbl 0910.00030 1 1998 Confluence in concurrent constraint programming. Zbl 0901.68032Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia 5 1997 Constraint logic programming with dynamic scheduling: A semantics based on closure operators. Zbl 0882.68035Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia 4 1997 A confluent calculus for concurrent constraint programming. Zbl 0902.68034Marriott, Kim; Odersky, Martin 1 1997 A confluent semantic basis for the analysis of concurrent constraint logic programs. Zbl 0884.68023Codish, Michael; Falaschi, Moreno; Marriott, Kim; Winsborough, William 1 1997 Negative Boolean constraints. Zbl 0872.68017Marriott, Kim; Odersky, Martin 2 1996 Spatial query optimization: From Boolean constraints to range queries. Zbl 0831.68039Helm, Richard; Marriott, Kim; Odersky, Martin 1 1995 Incremental constraint deletion in systems of linear constraints. Zbl 0873.65059Huynh, Tien; Marriott, Kim 1 1995 Efficient analysis of concurrent constraint logic programs. Zbl 1418.68052Codish, Michael; Falaschi, Moreno; Marriott, Kim; Winsborough, William 2 1993 Frameworks for abstract interpretation. Zbl 0790.68074Marriott, Kim 1 1993 Bottom-up dataflow analysis of normal logic programs. Zbl 0776.68025Marriott, Kim; Søndergaard, Harald 4 1992 Elimination of negation in term algebras. Zbl 0776.68070Lassez, J.-L.; Maher, M.; Marriott, K. 9 1991 Most specific logic programs. Zbl 0878.68036Marriott, K.; Naish, L.; Lassez, J.-L. 6 1990 Unification revisited. Zbl 0645.68046Lassez, J.-L.; Maher, M. J.; Marriott, K. 59 1988 Explicit representation of terms defined by counter examples. Zbl 0641.68124Lassez, J.-L.; Marriott, K. 20 1987 all cited Publications top 5 cited Publications all top 5 Cited by 446 Authors 15 Stuckey, Peter James 9 Marriott, Kim 7 Alpuente, María 7 Hermenegildo, Manuel V. 6 Gabbrielli, Maurizio 5 Falaschi, Moreno 5 Meseguer Guaita, José 5 Moreno, Ginés 5 Palamidessi, Catuscia 5 Pichler, Reinhard 5 Søndergaard, Harald 5 Wallace, Mark G. 4 Bruynooghe, Maurice 4 Gallagher, John P. 4 Levi, Giorgio 4 Mesnard, Fred 4 Olarte, Carlos 4 Payet, Étienne 4 Penabad, Jaime 4 Vidal, Germán 3 Albert, Elvira 3 Escobar, Santiago 3 Hooker, John N. jun. 3 Julián, Pascual 3 Kafle, Bishoksan 3 Meo, Maria Chiara 3 Nerode, Anil 3 Pettorossi, Alberto 3 Proietti, Maurizio 3 Ranzato, Francesco 3 Rodríguez-Artalejo, Mario 3 Rutter, Ignaz 3 Schachte, Peter 3 Schrijvers, Tom 3 Subrahmanian, V. S. 3 Weidenbach, Christoph 2 Amato, Gianluca 2 Bagnara, Roberto 2 Ballis, Demis 2 Banerjee, Rabindra N. 2 Baratella, Stefano 2 Bereg, Sergey N. 2 Bläsius, Thomas 2 Bossi, Annalisa 2 Brandes, Ulrik 2 Bujosa, Andrés 2 Comon, Hubert 2 Cortesi, Agostino 2 de Boer, Frank S. 2 de Cat, Broes 2 De Koninck, Leslie 2 De Raedt, Luc 2 De Schreye, Danny 2 del Vado Vírseda, Rafael 2 Demoen, Bart 2 Di Pierro, Alessandra 2 Duck, Gregory J. 2 Fages, François 2 Feydy, Thibaut 2 Filé, Gilberto 2 Flener, Pierre 2 Frechina, Francisco 2 Frisch, Alan M. 2 Gange, Graeme 2 Garcia de la Banda, Maria 2 Gottlob, Georg 2 Gualandi, Stefano 2 Hill, Patricia M. 2 Holroyd, Alexander E. 2 Jayaraman, Bharat 2 Kagan, Vadim 2 Lakin, Matthew R. 2 Lassez, Jean-Louis 2 Lescanne, Pierre 2 Li, Haitao 2 Lierler, Yuliya 2 López-García, Pedro 2 Lutteroth, Christof 2 Maher, Michael J. 2 Malucelli, Federico 2 McAloon, Kenneth 2 Miguel, Ian 2 Morales, Jose Francisco 2 Nachmanson, Lev 2 Naish, Lee 2 Odersky, Martin 2 Ojeda, Pedro 2 Pitts, Andrew M. 2 Puebla, Germán 2 Pupyrev, Sergey 2 Radermacher, Marcel 2 Sallaberry, Arnaud 2 Sapiña, Julia 2 Schütt, Andreas 2 Scozzari, Francesca 2 Skeirik, Stephen 2 Smolka, Gert 2 Spoto, Fausto 2 Sulzmann, Martin 2 Tack, Guido ...and 346 more Authors all top 5 Cited in 49 Serials 39 Theoretical Computer Science 27 Theory and Practice of Logic Programming 18 Constraints 10 Journal of Symbolic Computation 8 Artificial Intelligence 8 Information and Computation 7 Annals of Mathematics and Artificial Intelligence 5 New Generation Computing 5 Journal of Automated Reasoning 5 Higher-Order and Symbolic Computation 4 European Journal of Operational Research 3 Acta Informatica 3 Information Processing Letters 3 Fuzzy Sets and Systems 3 Formal Aspects of Computing 3 Annals of Operations Research 3 Journal of Functional Programming 3 The Journal of Logic and Algebraic Programming 3 Journal of Logical and Algebraic Methods in Programming 2 Information Sciences 2 Annals of Pure and Applied Logic 2 INFORMS Journal on Computing 2 Journal of Graph Algorithms and Applications 2 Fundamenta Informaticae 2 EURO Journal on Computational Optimization 1 Discrete Mathematics 1 International Journal for Numerical Methods in Engineering 1 Programming and Computer Software 1 Studia Logica 1 International Journal of Production Research 1 Algorithmica 1 Computers & Operations Research 1 International Journal of Approximate Reasoning 1 Neural Computation 1 Computational Geometry 1 International Journal of Algebra and Computation 1 International Journal of Foundations of Computer Science 1 Journal of Global Optimization 1 Pattern Recognition 1 Journal of Logic, Language and Information 1 Applied Categorical Structures 1 International Transactions in Operational Research 1 Soft Computing 1 Journal of Scheduling 1 RAIRO. Operations Research 1 4OR 1 Discrete Optimization 1 Mathematical Programming Computation 1 Science China. Information Sciences all top 5 Cited in 16 Fields 197 Computer science (68-XX) 37 Operations research, mathematical programming (90-XX) 34 Mathematical logic and foundations (03-XX) 8 Combinatorics (05-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 2 Category theory; homological algebra (18-XX) 2 Convex and discrete geometry (52-XX) 2 Numerical analysis (65-XX) 2 Biology and other natural sciences (92-XX) 1 General algebraic systems (08-XX) 1 Associative rings and algebras (16-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Mechanics of deformable solids (74-XX) 1 Fluid mechanics (76-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year