| Coherence for tricategories R Gordon, AJ Power, R Street Amer. Math. Soc. AMS, 1995 | 558 | 1995 |
| Notions of computation determine monads G Plotkin, J Power International Conference on Foundations of Software Science and Computation …, 2002 | 421 | 2002 |
| Two-dimensional monad theory R Blackwell, GM Kelly, AJ Power Journal of pure and applied algebra 59 (1), 1-41, 1989 | 384 | 1989 |
| Algebraic operations and generic effects G Plotkin, J Power Applied categorical structures 11, 69-94, 2003 | 382 | 2003 |
| Premonoidal categories and notions of computation J Power, E Robinson Mathematical structures in computer science 7 (5), 453-468, 1997 | 308 | 1997 |
| Combining effects: sum and tensor M Hyland, G Plotkin, J Power Theoretical Computer Science 357, 70-99, 2006 | 230 | 2006 |
| Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads GM Kelly, AJ Power Journal of pure and applied algebra 89 (1-2), 163-179, 1993 | 229 | 1993 |
| Adequacy for algebraic effects G Plotkin, J Power International Conference on Foundations of Software Science and Computation …, 2001 | 220 | 2001 |
| The category theoretic understanding of universal algebra: Lawvere theories and monads M Hyland, J Power Electronic Notes in Theoretical Computer Science 172, 437-458, 2007 | 194 | 2007 |
| Modelling environments in call-by-value programming languages PB Levy, J Power, H Thielecke Information and computation 185 (2), 182-210, 2003 | 193 | 2003 |
| Enriched Lawvere theories AJ Power Theory and Applications of Categories 6 (7), 83-93, 1999 | 139 | 1999 |
| A general coherence result AJ Power Journal of Pure and Applied Algebra 57 (2), 165-173, 1989 | 130 | 1989 |
| Computational effects and operations: An overview G Plotkin, AJ Power Electronic Notes in Theoretical Computer Science 73, 149-163, 2004 | 119 | 2004 |
| A 2-categorical pasting theorem AJ Power Journal of Algebra 129 (2), 439-445, 1990 | 111 | 1990 |
| Flexible limits for 2-categories GJ Bird, GM Kelly, AJ Power, RH Street Journal of Pure and Applied Algebra 61 (1), 1-27, 1989 | 109 | 1989 |
| The attractiveness and connectedness of ruthless brands: the role of trust J Power, S Whelan, G Davies European Journal of Marketing 42 (5/6), 586-602, 2008 | 106 | 2008 |
| Combining a monad and a comonad J Power, H Watanabe Theoretical Computer Science 280 (1-2), 137-162, 2002 | 96 | 2002 |
| Semantics for algebraic operations G Plotkin, J Power Electronic Notes in Theoretical Computer Science 45, 332-345, 2001 | 96 | 2001 |
| On weak higher dimensional categories I: Part 1 C Hermida, M Makkai, J Power Journal of pure and applied algebra 154 (1-3), 221-246, 2000 | 96* | 2000 |
| Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads M Lenisa, J Power, H Watanabe Electronic Notes in Theoretical Computer Science 33, 230-260, 2000 | 94 | 2000 |
