An Abstract Formulation for Rewrite Systems. - A. John Power (Category Theory and Computer Science, 1989)

An Algebraic Formulation for Data Refinement. - A. John Power (Mathematical Foundations of Programming Semantics, 1989)

A Notion of Map between Logic Programs. - A. John Power; Leon Sterling (ICLP, 1990)

A Formalism for the Specification of Essentially Algebraic Structures in 2-Categories. - A. John Power; Charles Wells (Math. Struct. Comput. Sci., 1992)

Fibrational Control Structures. - Claudio Hermida; John Power (CONCUR, 1995)

Control Structures - Alex Mifsud; Robin Milner; A. John Power (LICS, 1995)

Bireflectivity. - Peter J. Freyd; Peter W. O'Hearn; John Power; Robert D. Tennent; Makoto Takeyama (MFPS, 1995)

Why Tricategories? - A. John Power (Inf. Comput., 1995)

Elementary Control Structures. - John Power (CONCUR, 1996)

A Fibrational Semantics for Logic Programs. - Yoshiki Kinoshita; A. John Power (ELP, 1996)

Categories with Algebraic Structure. - A. John Power (CSL, 1997)

Complete Cuboidal Sets in Axiomatic Domain Theory. - Marcelo P. Fiore; Gordon D. Plotkin; A. John Power (LICS, 1997)

An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement. - Yoshiki Kinoshita; Peter W. O'Hearn; John Power; Makoto Takeyama; Robert D. Tennent (TACS, 1997)

Environments, Continuation Semantics and Indexed Categories. - John Power; Hayo Thielecke (TACS, 1997)

Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday. - Yoshiki Kinoshita; John Power; Makoto Takeyama (MFPS, 1997)

Modularity in denotational semantics. - John Power (MFPS, 1997)

Premonoidal Categories and Notions of Computation. - John Power; Edmund Robinson (Math. Struct. Comput. Sci., 1997)

A Representable Approach to Finite Nondeterminism. - Stuart Oliver Anderson; John Power (Theor. Comput. Sci., 1997)

A Categorical Axiomatics for Bisimulation. - Gian Luca Cattani; John Power; Glynn Winskel (CONCUR, 1998)

A Modular Approach to Denotational Semantics. - John Power; Giuseppe Rosolini (ICALP, 1998)

Higher Dimensional Multigraphs. - Claudio Hermida; Michael Makkai; John Power (LICS, 1998)

An Axiomatics for Categories of Transition Systems as Coalgebras. - Peter T. Johnstone; John Power; Toru Tsujishita; Hiroshi Watanabe 002; James Worrell 001 (LICS, 1998)

An axiomatics for categories of coalgebras. - John Power; Hiroshi Watanabe 002 (CMCS, 1998)

Data-Refinement for Call-By-Value Programming Languages. - Yoshiki Kinoshita; John Power (CSL, 1999)

Closed Freyd- and kappa-categories. - John Power; Hayo Thielecke (ICALP, 1999)

A General Completeness Result in Refinement. - Yoshiki Kinoshita; John Power (WADT, 1999)

Modularity and Dyads. - John Power; Edmund Robinson (MFPS, 1999)

Distributivity for a monad and a comonad. - John Power; Hiroshi Watanabe 002 (CMCS, 1999)

Bireflectivity. - Peter J. Freyd; Peter W. O'Hearn; A. John Power; Makoto Takeyama; R. Street; Robert D. Tennent (Theor. Comput. Sci., 1999)

Syntactic Control of Interference Revisited. - Peter W. O'Hearn; John Power; Makoto Takeyama; Robert D. Tennent (Theor. Comput. Sci., 1999)

A Coalgebraic Foundation for Linear Time Semantics. - John Power; Daniele Turi (CTCS, 1999)

Logical Relations and Data Abstraction. - John Power; Edmund Robinson (CSL, 2000)

Lax Logical Relations. - Gordon D. Plotkin; John Power; Donald Sannella; Robert D. Tennent (ICALP, 2000)

Symmetric monoidal sketches. - Martin Hyland; John Power (PPDP, 2000)

Logical relations, data abstraction, and structured fibrations. - John Power; Edmund Robinson (PPDP, 2000)

Data Refinement and Algebraic Structure. - Yoshiki Kinoshita; John Power (Acta Informatica, 2000)

Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads. - Marina Lenisa; John Power; Hiroshi Watanabe 002 (CMCS, 2000)

Models for the computational lambda-calculus. - John Power (MFCSIT, 2000)

An Algebraic Foundation for Higraphs. - John Power; Konstantinos Tourlas (CSL, 2001)

Adequacy for Algebraic Effects. - Gordon D. Plotkin; John Power (FoSSaCS, 2001)

Reasoning in Higraphs with Loose Edges. - Stuart Anderson; John Power; Konstantinos Tourlas (HCC, 2001)

Algebras, Coalgebras, Monads and Comonads. - Neil Ghani; Christoph Lüth; Federico De Marchi; John Power (CMCS, 2001)

Pseudo-commutative Monads. - Martin Hyland; John Power (MFPS, 2001)

Two-dimensional linear algebra. - Martin Hyland; John Power (CMCS, 2001)

Semantics for Algebraic Operations. - Gordon D. Plotkin; John Power (MFPS, 2001)

An Algebraic Foundation for Graph-based Diagrams in Computing. - John Power; Konstantinos Tourlas (MFPS, 2001)

On the structure of categories of coalgebras. - Peter T. Johnstone; John Power; Toru Tsujishita; Hiroshi Watanabe 002; James Worrell 001 (Theor. Comput. Sci., 2001)

Notions of Computation Determine Monads. - Gordon D. Plotkin; John Power (FoSSaCS, 2002)

Combining Computational Effects: commutativity & sum. - Martin Hyland; Gordon D. Plotkin; John Power (IFIP TCS, 2002)

Interferometric synthetic aperture radar studies of Alaska volcanoes. - Zhong Lu; Charles Wicks Jr.; John Power; Daniel Dzurisin; Wayne Thatcher; Timothy Masterlark (IGARSS, 2002)

Zooming-out on Higraph-based diagrams - Syntactic and Semantic Issues. - Stuart Anderson; John Power; Konstantinos Tourlas (CATS, 2002)

Computational Effects and Operations: An Overview. - Gordon D. Plotkin; A. John Power (Workshop on Domains, 2002)

On the Geometric Modelling of Visual Languages. - John Power; Konstantinos Tourlas (GT-VMT@ICGT, 2002)

Premonoidal categories as categories with algebraic structure. - John Power (Theor. Comput. Sci., 2002)

Fixpoint operators for domain equations. - John Power; Giuseppe Rosolini (Theor. Comput. Sci., 2002)

Combining a monad and a comonad. - John Power; Hiroshi Watanabe 002 (Theor. Comput. Sci., 2002)

Abstraction in Reasoning about Higraph-Based Systems. - John Power; Konstantinos Tourlas (FoSSaCS, 2003)

A unified category theoretic approach to variable binding. - John Power (MERLIN, 2003)

Logic for Computational Effects: Work in Progress. - Gordon D. Plotkin; John Power (IWFM, 2003)

Pseudo-distributive Laws. - Eugenia Cheng; Martin Hyland; John Power (MFPS, 2003)

A Universal Embedding for the Higher Order Structure of Computational Effects. - John Power (TLCA, 2003)

Algebraic Operations and Generic Effects. - Gordon D. Plotkin; John Power (Appl. Categorical Struct., 2003)

Symmetric Monoidal Sketches and Categories of Wirings. - Martin Hyland; John Power (CMCIM/GETCO@CONCUR, 2003)

Towards a theory of mathematical operational semantics. - John Power (CMCS, 2003)

Modelling environments in call-by-value programming languages. - Paul Blain Levy; John Power; Hayo Thielecke (Inf. Comput., 2003)

Dualising Initial Algebras. - Neil Ghani; Christoph Lüth; Federico De Marchi; John Power (Math. Struct. Comput. Sci., 2003)

Canonical Models for Computational Effects. - John Power (FoSSaCS, 2004)

A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda. - Martin Hyland; Misao Nagayama; John Power; Giuseppe Rosolini (MFCSIT, 2004)

Modularity of Behaviours for Mathematical Operational Semantics. - Marco Kick; A. John Power (CMCS, 2004)

Countable Lawvere Theories and Computational Effects. - John Power (MFCSIT, 2004)

From Comodels to Coalgebras: State and Arrays. - A. John Power; Olha Shkaravska (CMCS, 2004)

Category theory for operational semantics. - Marina Lenisa; John Power; Hiroshi Watanabe 002 (Theor. Comput. Sci., 2004)

Discrete Lawvere Theories. - John Power (CALCO, 2005)

A unified category-theoretic formulation of typed binding signatures. - Miki Tanaka; John Power (MERLIN, 2005)

Binding Signatures for Generic Contexts. - John Power; Miki Tanaka (TLCA, 2005)

Hiproofs: A Hierarchical Notion of Proof Tree. - Ewen Denney; John Power; Konstantinos Tourlas (MFPS, 2005)

The Universal Algebra of Computational Effects: Lawvere Theories and Monads. - John Power (MSFP@MPC, 2006)

Preface. - Neil Ghani; John Power (CMCS, 2006)

Category Theoretic Models of Data Refinement. - Michael Johnson; David A. Naumann; John Power (MFCSIT, 2006)

Semantics for Local Computational Effects. - John Power (MFPS, 2006)

Axiomatics for Data Refinement in Call by Value Programming Languages. - John Power; Miki Tanaka (MFCSIT, 2006)

Coalgebraic semantics for timed processes. - Marco Kick; John Power; Alex Simpson (Inf. Comput., 2006)

Pseudo-distributive laws and axiomatics for variable binding. - Miki Tanaka; John Power (High. Order Symb. Comput., 2006)

A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics. - Miki Tanaka; John Power (J. Log. Comput., 2006)

Discrete Lawvere theories and computational effects. - Martin Hyland; John Power (Theor. Comput. Sci., 2006)

Combining effects: Sum and tensor. - Martin Hyland; Gordon D. Plotkin; John Power (Theor. Comput. Sci., 2006)

Generic models for computational effects. - John Power (Theor. Comput. Sci., 2006)

The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads. - Martin Hyland; John Power (Computation, Meaning, and Logic, 2007)

Abstract Syntax: Substitution and Binders: Invited Address. - John Power (MFPS, 2007)

Combining algebraic effects with continuations. - Martin Hyland; Paul Blain Levy; Gordon D. Plotkin; John Power (Theor. Comput. Sci., 2007)

Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. - Ekaterina Komendantskaya; John Power (JELIA, 2008)

Level design optimization guidelines for game artists using the epic games: Unreal editor and unreal engine 2. - Christian Rubino; John Power (Comput. Entertain., 2008)

Tensors of Comodels and Models for Operational Semantics. - Gordon D. Plotkin; John Power (MFPS, 2008)

Category Theoretic Semantics for Typed Binding Signatures with Recursion. - John Power; Miki Tanaka (Fundam. Informaticae, 2008)

High Efficiency Space-Based Software Radio Architectures: A Minimum Size, Weight, and Power TeraOps Processor. - Mark E. Dunham; Zachary K. Baker; Matthew Stettler; Michael Pigue; Paul S. Graham; Eric N. Schmierer; John Power (ReConFig, 2009)

Gabriel-Ulmer duality and Lawvere theories enriched over a general base. - Stephen Lack; John Power (J. Funct. Program., 2009)

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming. - Ekaterina Komendantskaya; Guy McCusker; John Power (AMAST, 2010)

Modelling Local Variables: Possible Worlds and Object Spaces. - Guy McCusker; John Power (MFPS, 2010)

Space-Based FPGA Radio Receiver Design, Debug, and Development of a Radiation-Tolerant Computing System. - Zachary K. Baker; Mark E. Dunham; Keith Morgan; Michael Pigue; Matthew Stettler; Paul S. Graham; Eric N. Schmierer; John Power (Int. J. Reconfigurable Comput., 2010)

Coalgebraic Semantics for Derivations in Logic Programming. - Ekaterina Komendantskaya; John Power (CALCO, 2011)

Coalgebraic Derivations in Logic Programming. - Ekaterina Komendantskaya; John Power (CSL, 2011)

Unicity of Enrichment over Cat or Gpd. - John Power (Appl. Categorical Struct., 2011)

Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? - Mike Behrisch; Sebastian Kerkhoff; John Power (MFPS, 2012)

A Graphical Foundation for Schedules. - Guy McCusker; John Power; Cai Wingfield (MFPS, 2012)

Preface. - John Power; Cai Wingfield (WACT, 2013)

Category theoretic structure of setoids. - Yoshiki Kinoshita; John Power (Theor. Comput. Sci., 2014)

Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness. - Ekaterina Komendantskaya; John Power (CMCS, 2016)

Coalgebraic logic programming: from Semantics to Implementation. - Ekaterina Komendantskaya; John Power; Martin Schmidt 002 (J. Log. Comput., 2016)

Higher Dimensional Categories: Induction on Extensivity. - Thomas Cottrell; Soichiro Fujii; John Power (MFPS, 2018)

Logic programming: Laxness and saturation. - Ekaterina Komendantskaya; John Power (J. Log. Algebraic Methods Program., 2018)

An enriched view on the extended finitary monad-Lawvere theory correspondence. - Richard Garner; John Power (Log. Methods Comput. Sci., 2018)

Benchmarking collective effects of electron interactions in a wiggler with OPAL-FEL. - Arnau Albà; Jimin Seok; Andreas Adelmann; Scott Doran; Gwanghui Ha; Soonhong Lee; Yinghu Piao; John Power; Maofei Qian; Eric Wisniewski; Joseph Xu; Alexander Zholents (Comput. Phys. Commun., 2022)