×
Compute Distance To:
Author ID: marriott.kim Recent zbMATH articles by "Marriott, Kim"
Published as: Marriott, Kim; Marriott, K.

Publications by Year

Citations contained in zbMATH Open

45 Publications have been cited 274 times in 234 Documents Cited by Year
Unification revisited. Zbl 0645.68046
Lassez, J.-L.; Maher, M. J.; Marriott, K.
59
1988
Programming with constraints. An introduction. Zbl 0935.68098
Marriott, Kim; Stuckey, Peter J.
44
1998
The semantics of constraint logic programs. Zbl 0920.68068
Jaffar, Joxan; Maher, Michael; Marriott, Kim; Stuckey, Peter
25
1998
The design of the zinc modelling language. Zbl 1146.68352
Marriott, 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.68124
Lassez, J.-L.; Marriott, K.
20
1987
Two classes of Boolean functions for dependency analysis. Zbl 0942.68018
Armstrong, Tania; Marriott, Kim; Schachte, Peter; Søndergaard, Harald
11
1998
Elimination of negation in term algebras. Zbl 0776.68070
Lassez, J.-L.; Maher, M.; Marriott, K.
9
1991
The G12 project: Mapping solver independent models to efficient solutions. Zbl 1165.68517
Stuckey, 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.68036
Marriott, K.; Naish, L.; Lassez, J.-L.
6
1990
Confluence in concurrent constraint programming. Zbl 0901.68032
Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia
5
1997
Bottom-up dataflow analysis of normal logic programs. Zbl 0776.68025
Marriott, Kim; Søndergaard, Harald
4
1992
Constraint logic programming with dynamic scheduling: A semantics based on closure operators. Zbl 0882.68035
Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia
4
1997
Fast node overlap removal. Zbl 1171.68609
Dwyer, Tim; Marriott, Kim; Stuckey, Peter J.
4
2006
A survey of visual language specification and recognition. Zbl 0933.68075
Marriott, Kim; Meyer, Bernd; Wittenburg, Kent B.
3
1998
Checking modes of HAL programs. Zbl 1083.68019
Garcí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.68121
Marriott, Kim; Stuckey, Peter; Tam, Vincent; He, Weiqing
3
2003
Differential methods in logic program analysis. Zbl 0905.68029
García de la Banda, María; Marriott, Kim; Stuckey, Peter; Søndergaard, Harald
3
1998
Integrating edge routing into force-directed layout. Zbl 1185.68471
Dwyer, Tim; Marriott, Kim; Wybrow, Michael
3
2007
Resource usage verification. Zbl 1254.68082
Marriott, Kim; Stuckey, Peter J.; Sulzmann, Martin
3
2003
Efficient analysis of concurrent constraint logic programs. Zbl 1418.68052
Codish, Michael; Falaschi, Moreno; Marriott, Kim; Winsborough, William
2
1993
Topology preserving constrained graph layout. Zbl 1213.68441
Dwyer, Tim; Marriott, Kim; Wybrow, Michael
2
2009
Constrained graph layout. Zbl 0917.68164
He, Weiqing; Marriott, Kim
2
1998
A generic framework for context-sensitive analysis of modular programs. Zbl 1080.68557
Puebla, 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.68652
Marriott, Kim; Moulder, Peter; Stuckey, Peter J.; Borning, Alan
2
2001
To the gates of HAL: A HAL tutorial. Zbl 1019.68514
García de la Banda, María; Demoen, Bart; Marriott, Kim; Stuckey, Peter J.
2
2002
Constraint-based document layout for the Web. Zbl 1060.68522
Borning, Alan; Lin, Richard Kuang-Hsu; Marriott, Kim
2
2000
Negative Boolean constraints. Zbl 0872.68017
Marriott, Kim; Odersky, Martin
2
1996
Constrained graph layout by stress majorization and gradient projection. Zbl 1201.05093
Dwyer, Tim; Koren, Yehuda; Marriott, Kim
2
2009
Stress majorization with orthogonal ordering constraints. Zbl 1171.68608
Dwyer, Tim; Koren, Yehuda; Marriott, Kim
2
2006
Constrained stress majorization using diagonally scaled gradient projection. Zbl 1137.68480
Dwyer, Tim; Marriott, Kim
1
2008
Frameworks for abstract interpretation. Zbl 0790.68074
Marriott, Kim
1
1993
Visual language theory. Zbl 0910.00030
1
1998
Incremental grid-like layout using soft and hard constraints. Zbl 1406.68085
Kieffer, Steve; Dwyer, Tim; Marriott, Kim; Wybrow, Michael
1
2013
Herbrand constraints in HAL. Zbl 1080.68551
Demoen, 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.68039
Helm, Richard; Marriott, Kim; Odersky, Martin
1
1995
QOCA: A constraint solving toolkit for interactive graphical applications. Zbl 1020.68024
Marriott, Kim; Chok, Sitt Sen
1
2002
A model for inter-module analysis and optimizing compilation. Zbl 1018.68501
Bueno, 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.68034
Marriott, Kim; Odersky, Martin
1
1997
A confluent semantic basis for the analysis of concurrent constraint logic programs. Zbl 0884.68023
Codish, Michael; Falaschi, Moreno; Marriott, Kim; Winsborough, William
1
1997
Incremental constraint deletion in systems of linear constraints. Zbl 0873.65059
Huynh, Tien; Marriott, Kim
1
1995
Modelling with option types in MiniZinc. Zbl 1407.68458
Mears, Christopher; Schutt, Andreas; Stuckey, Peter J.; Tack, Guido; Marriott, Kim; Wallace, Mark
1
2014
Improving program analyses by structure untupling. Zbl 0955.68021
Codish, 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.68070
Marriott, Kim; Stuckey, Peter J.
1
2004
Automatic minimal-height table layout. Zbl 1328.90120
Bilauca, Mihai; Gange, Graeme; Healy, Patrick; Marriott, Kim; Moulder, Peter; Stuckey, Peter J.
1
2015
Automatic minimal-height table layout. Zbl 1328.90120
Bilauca, Mihai; Gange, Graeme; Healy, Patrick; Marriott, Kim; Moulder, Peter; Stuckey, Peter J.
1
2015
Modelling with option types in MiniZinc. Zbl 1407.68458
Mears, 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.68085
Kieffer, Steve; Dwyer, Tim; Marriott, Kim; Wybrow, Michael
1
2013
Topology preserving constrained graph layout. Zbl 1213.68441
Dwyer, Tim; Marriott, Kim; Wybrow, Michael
2
2009
Constrained graph layout by stress majorization and gradient projection. Zbl 1201.05093
Dwyer, Tim; Koren, Yehuda; Marriott, Kim
2
2009
The design of the zinc modelling language. Zbl 1146.68352
Marriott, 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.68480
Dwyer, Tim; Marriott, Kim
1
2008
Integrating edge routing into force-directed layout. Zbl 1185.68471
Dwyer, Tim; Marriott, Kim; Wybrow, Michael
3
2007
Fast node overlap removal. Zbl 1171.68609
Dwyer, Tim; Marriott, Kim; Stuckey, Peter J.
4
2006
Stress majorization with orthogonal ordering constraints. Zbl 1171.68608
Dwyer, Tim; Koren, Yehuda; Marriott, Kim
2
2006
The G12 project: Mapping solver independent models to efficient solutions. Zbl 1165.68517
Stuckey, 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.68019
Garcí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.68557
Puebla, 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.68551
Demoen, 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.68070
Marriott, Kim; Stuckey, Peter J.
1
2004
Removing node overlapping in graph layout using constrained optimization. Zbl 1039.68121
Marriott, Kim; Stuckey, Peter; Tam, Vincent; He, Weiqing
3
2003
Resource usage verification. Zbl 1254.68082
Marriott, Kim; Stuckey, Peter J.; Sulzmann, Martin
3
2003
To the gates of HAL: A HAL tutorial. Zbl 1019.68514
Garcí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.68024
Marriott, Kim; Chok, Sitt Sen
1
2002
Solving disjunctive constraints for interactive graphical applications. Zbl 1067.68652
Marriott, Kim; Moulder, Peter; Stuckey, Peter J.; Borning, Alan
2
2001
A model for inter-module analysis and optimizing compilation. Zbl 1018.68501
Bueno, 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.68522
Borning, Alan; Lin, Richard Kuang-Hsu; Marriott, Kim
2
2000
Improving program analyses by structure untupling. Zbl 0955.68021
Codish, Michael; Marriott, Kim; Taboch, Cohavit
1
2000
Programming with constraints. An introduction. Zbl 0935.68098
Marriott, Kim; Stuckey, Peter J.
44
1998
The semantics of constraint logic programs. Zbl 0920.68068
Jaffar, Joxan; Maher, Michael; Marriott, Kim; Stuckey, Peter
25
1998
Two classes of Boolean functions for dependency analysis. Zbl 0942.68018
Armstrong, Tania; Marriott, Kim; Schachte, Peter; Søndergaard, Harald
11
1998
A survey of visual language specification and recognition. Zbl 0933.68075
Marriott, Kim; Meyer, Bernd; Wittenburg, Kent B.
3
1998
Differential methods in logic program analysis. Zbl 0905.68029
García de la Banda, María; Marriott, Kim; Stuckey, Peter; Søndergaard, Harald
3
1998
Constrained graph layout. Zbl 0917.68164
He, Weiqing; Marriott, Kim
2
1998
Visual language theory. Zbl 0910.00030
1
1998
Confluence in concurrent constraint programming. Zbl 0901.68032
Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia
5
1997
Constraint logic programming with dynamic scheduling: A semantics based on closure operators. Zbl 0882.68035
Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia
4
1997
A confluent calculus for concurrent constraint programming. Zbl 0902.68034
Marriott, Kim; Odersky, Martin
1
1997
A confluent semantic basis for the analysis of concurrent constraint logic programs. Zbl 0884.68023
Codish, Michael; Falaschi, Moreno; Marriott, Kim; Winsborough, William
1
1997
Negative Boolean constraints. Zbl 0872.68017
Marriott, Kim; Odersky, Martin
2
1996
Spatial query optimization: From Boolean constraints to range queries. Zbl 0831.68039
Helm, Richard; Marriott, Kim; Odersky, Martin
1
1995
Incremental constraint deletion in systems of linear constraints. Zbl 0873.65059
Huynh, Tien; Marriott, Kim
1
1995
Efficient analysis of concurrent constraint logic programs. Zbl 1418.68052
Codish, Michael; Falaschi, Moreno; Marriott, Kim; Winsborough, William
2
1993
Frameworks for abstract interpretation. Zbl 0790.68074
Marriott, Kim
1
1993
Bottom-up dataflow analysis of normal logic programs. Zbl 0776.68025
Marriott, Kim; Søndergaard, Harald
4
1992
Elimination of negation in term algebras. Zbl 0776.68070
Lassez, J.-L.; Maher, M.; Marriott, K.
9
1991
Most specific logic programs. Zbl 0878.68036
Marriott, K.; Naish, L.; Lassez, J.-L.
6
1990
Unification revisited. Zbl 0645.68046
Lassez, J.-L.; Maher, M. J.; Marriott, K.
59
1988
Explicit representation of terms defined by counter examples. Zbl 0641.68124
Lassez, J.-L.; Marriott, K.
20
1987
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

Citations by Year