John Power

ORCID

Publication Activity (10 Years)

Years Active: 1995-2022
Publications (10 Years): 8

Top Venues

CoRR

J. Log. Algebraic Methods Program.

J. Log. Comput.

Electron. Notes Theor. Comput. Sci.

Publications

Arnau Albà, Jimin Seok, Andreas Adelmann, Scott Doran, Gwanghui Ha, Soonhong Lee, Yinghu Piao, John Power, Maofei Qian, Eric Wisniewski, Joseph Xu, Alexander Zholents
Benchmarking collective effects of electron interactions in a wiggler with OPAL-FEL. Comput. Phys. Commun. 280 (2022)
Richard Garner, John Power
An enriched view on the extended finitary monad-Lawvere theory correspondence. Log. Methods Comput. Sci. 14 (1) (2018)
Ekaterina Komendantskaya, John Power
Logic programming: Laxness and saturation. J. Log. Algebraic Methods Program. 101 (2018)
Thomas Cottrell, Soichiro Fujii, John Power
Higher Dimensional Categories: Induction on Extensivity. MFPS (2018)
Ekaterina Komendantskaya, John Power
Category theoretic semantics for theorem proving in logic programming: embracing the laxness. CoRR (2016)
Ekaterina Komendantskaya, John Power
Logic programming: laxness and saturation. CoRR (2016)
Ekaterina Komendantskaya, John Power
Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness. CMCS (2016)
Ekaterina Komendantskaya, John Power, Martin Schmidt
Coalgebraic logic programming: from Semantics to Implementation. J. Log. Comput. 26 (2) (2016)
Yoshiki Kinoshita, John Power
Category theoretic structure of setoids. Theor. Comput. Sci. 546 (2014)
John Power, Cai Wingfield
Preface. Electron. Notes Theor. Comput. Sci. 303 (2014)
Ekaterina Komendantskaya, John Power, Martin Schmidt
Coalgebraic Logic Programming: from Semantics to Implementation. CoRR (2013)
Mike Behrisch, Sebastian Kerkhoff, John Power
Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? MFPS (2012)
Guy McCusker, John Power, Cai Wingfield
A Graphical Foundation for Schedules. MFPS (2012)
Ekaterina Komendantskaya, John Power
Coalgebraic Semantics for Derivations in Logic Programming. CALCO (2011)
John Power
Unicity of Enrichment over Cat or Gpd. Appl. Categorical Struct. 19 (1) (2011)
Ekaterina Komendantskaya, John Power
Coalgebraic Derivations in Logic Programming. CSL (2011)
Zachary K. Baker, Mark E. Dunham, Keith Morgan, Michael Pigue, Matthew Stettler, Paul S. Graham, Eric N. Schmierer, John Power
Space-Based FPGA Radio Receiver Design, Debug, and Development of a Radiation-Tolerant Computing System. Int. J. Reconfigurable Comput. 2010 (2010)
Ekaterina Komendantskaya, Guy McCusker, John Power
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming. AMAST (2010)
Guy McCusker, John Power
Modelling Local Variables: Possible Worlds and Object Spaces. MFPS (2010)
John Power, Miki Tanaka
Axiomatics for Data Refinement in Call by Value Programming Languages. Electron. Notes Theor. Comput. Sci. 225 (2009)
Mark E. Dunham, Zachary K. Baker, Matthew Stettler, Michael Pigue, Paul S. Graham, Eric N. Schmierer, John Power
High Efficiency Space-Based Software Radio Architectures: A Minimum Size, Weight, and Power TeraOps Processor. ReConFig (2009)
Michael Johnson, David A. Naumann, John Power
Category Theoretic Models of Data Refinement. Electron. Notes Theor. Comput. Sci. 225 (2009)
Stephen Lack, John Power
Gabriel-Ulmer duality and Lawvere theories enriched over a general base. J. Funct. Program. 19 (3-4) (2009)
Christian Rubino, John Power
Level design optimization guidelines for game artists using the epic games: Unreal editor and unreal engine 2. Comput. Entertain. 6 (4) (2008)
Ekaterina Komendantskaya, John Power
Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. JELIA (2008)
John Power, Miki Tanaka
Category Theoretic Semantics for Typed Binding Signatures with Recursion. Fundam. Informaticae 84 (2) (2008)
Gordon D. Plotkin, John Power
Tensors of Comodels and Models for Operational Semantics. MFPS (2008)
John Power
Abstract Syntax: Substitution and Binders: Invited Address. MFPS (2007)
Martin Hyland, John Power
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads. Electron. Notes Theor. Comput. Sci. 172 (2007)
Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power
Combining algebraic effects with continuations. Theor. Comput. Sci. 375 (1-3) (2007)
John Power
Countable Lawvere Theories and Computational Effects. Electron. Notes Theor. Comput. Sci. 161 (2006)
John Power
The Universal Algebra of Computational Effects: Lawvere Theories and Monads. MSFP@MPC (2006)
Martin Hyland, John Power
Discrete Lawvere theories and computational effects. Theor. Comput. Sci. 366 (1-2) (2006)
John Power
Semantics for Local Computational Effects. MFPS (2006)
Neil Ghani, John Power
Preface. CMCS (2006)
John Power
Generic models for computational effects. Theor. Comput. Sci. 364 (2) (2006)
Miki Tanaka, John Power
A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics. J. Log. Comput. 16 (1) (2006)
Martin Hyland, Gordon D. Plotkin, John Power
Combining effects: Sum and tensor. Theor. Comput. Sci. 357 (1-3) (2006)
Marco Kick, John Power, Alex Simpson
Coalgebraic semantics for timed processes. Inf. Comput. 204 (4) (2006)
Miki Tanaka, John Power
Pseudo-distributive laws and axiomatics for variable binding. High. Order Symb. Comput. 19 (2-3) (2006)
Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini
A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda. Electron. Notes Theor. Comput. Sci. 161 (2006)
John Power, Miki Tanaka
Binding Signatures for Generic Contexts. TLCA (2005)
Miki Tanaka, John Power
A unified category-theoretic formulation of typed binding signatures. MERLIN (2005)
John Power
Discrete Lawvere Theories. CALCO (2005)
Ewen Denney, John Power, Konstantinos Tourlas
Hiproofs: A Hierarchical Notion of Proof Tree. MFPS (2005)
Martin Hyland, John Power
Symmetric Monoidal Sketches and Categories of Wirings. Electron. Notes Theor. Comput. Sci. 100 (2004)
Marina Lenisa, John Power, Hiroshi Watanabe
Category theory for operational semantics. Theor. Comput. Sci. 327 (1-2) (2004)
John Power
Canonical Models for Computational Effects. FoSSaCS (2004)
Gordon D. Plotkin, John Power
Algebraic Operations and Generic Effects. Appl. Categorical Struct. 11 (1) (2003)
Paul Blain Levy, John Power, Hayo Thielecke
Modelling environments in call-by-value programming languages. Inf. Comput. 185 (2) (2003)
Eugenia Cheng, Martin Hyland, John Power
Pseudo-distributive Laws. MFPS (2003)
John Power, Konstantinos Tourlas
On the Geometric Modelling of Visual Languages. Electron. Notes Theor. Comput. Sci. 72 (3) (2003)
John Power
Towards a theory of mathematical operational semantics. CMCS (2003)
Gordon D. Plotkin, John Power
Logic for Computational Effects: Work in Progress. IWFM (2003)
Neil Ghani, Christoph Lüth, Federico De Marchi, John Power
Dualising Initial Algebras. Math. Struct. Comput. Sci. 13 (2) (2003)
John Power
A Universal Embedding for the Higher Order Structure of Computational Effects. TLCA (2003)
John Power, Konstantinos Tourlas
Abstraction in Reasoning about Higraph-Based Systems. FoSSaCS (2003)
John Power
A unified category theoretic approach to variable binding. MERLIN (2003)
John Power, Hiroshi Watanabe
Combining a monad and a comonad. Theor. Comput. Sci. 280 (1-2) (2002)
John Power, Giuseppe Rosolini
Fixpoint operators for domain equations. Theor. Comput. Sci. 278 (1-2) (2002)
Stuart Anderson, John Power, Konstantinos Tourlas
Zooming-out on Higraph-based diagrams - Syntactic and Semantic Issues. Electron. Notes Theor. Comput. Sci. 61 (2002)
Zhong Lu, Charles Wicks Jr., John Power, Daniel Dzurisin, Wayne Thatcher, Timothy Masterlark
Interferometric synthetic aperture radar studies of Alaska volcanoes. IGARSS (2002)
John Power
Premonoidal categories as categories with algebraic structure. Theor. Comput. Sci. 278 (1-2) (2002)
Gordon D. Plotkin, John Power
Notions of Computation Determine Monads. FoSSaCS (2002)
Martin Hyland, Gordon D. Plotkin, John Power
Combining Computational Effects: commutativity & sum. IFIP TCS (2002)
John Power, Konstantinos Tourlas
An Algebraic Foundation for Higraphs. CSL (2001)
Martin Hyland, John Power
Pseudo-commutative Monads. MFPS (2001)
Neil Ghani, Christoph Lüth, Federico De Marchi, John Power
Algebras, Coalgebras, Monads and Comonads. CMCS (2001)
Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell
On the structure of categories of coalgebras. Theor. Comput. Sci. 260 (1-2) (2001)
John Power, Konstantinos Tourlas
An Algebraic Foundation for Graph-based Diagrams in Computing. MFPS (2001)
Martin Hyland, John Power
Two-dimensional linear algebra. CMCS (2001)
Gordon D. Plotkin, John Power
Semantics for Algebraic Operations. MFPS (2001)
Gordon D. Plotkin, John Power
Adequacy for Algebraic Effects. FoSSaCS (2001)
Stuart Anderson, John Power, Konstantinos Tourlas
Reasoning in Higraphs with Loose Edges. HCC (2001)
Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent
Lax Logical Relations. ICALP (2000)
Martin Hyland, John Power
Symmetric monoidal sketches. PPDP (2000)
John Power
Models for the computational lambda-calculus. Electron. Notes Theor. Comput. Sci. 40 (2000)
John Power, Edmund Robinson
Logical relations, data abstraction, and structured fibrations. PPDP (2000)
Yoshiki Kinoshita, John Power
Data Refinement and Algebraic Structure. Acta Informatica 36 (9/10) (2000)
Marina Lenisa, John Power, Hiroshi Watanabe
Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads. CMCS (2000)
John Power, Edmund Robinson
Logical Relations and Data Abstraction. CSL (2000)
Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent
Syntactic Control of Interference Revisited. Theor. Comput. Sci. 228 (1-2) (1999)
John Power, Hayo Thielecke
Closed Freyd- and kappa-categories. ICALP (1999)
John Power, Edmund Robinson
Modularity and Dyads. MFPS (1999)
Yoshiki Kinoshita, John Power
Data-Refinement for Call-By-Value Programming Languages. CSL (1999)
John Power, Daniele Turi
A Coalgebraic Foundation for Linear Time Semantics. CTCS (1999)
John Power, Hiroshi Watanabe
Distributivity for a monad and a comonad. CMCS (1999)
Yoshiki Kinoshita, John Power
A General Completeness Result in Refinement. WADT (1999)
Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell
An Axiomatics for Categories of Transition Systems as Coalgebras. LICS (1998)
Gian Luca Cattani, John Power, Glynn Winskel
A Categorical Axiomatics for Bisimulation. CONCUR (1998)
John Power, Giuseppe Rosolini
A Modular Approach to Denotational Semantics. ICALP (1998)
John Power, Hiroshi Watanabe
An axiomatics for categories of coalgebras. CMCS (1998)
Claudio Hermida, Michael Makkai, John Power
Higher Dimensional Multigraphs. LICS (1998)
John Power, Hayo Thielecke
Environments, Continuation Semantics and Indexed Categories. TACS (1997)
John Power, Edmund Robinson
Premonoidal Categories and Notions of Computation. Math. Struct. Comput. Sci. 7 (5) (1997)
Yoshiki Kinoshita, John Power, Makoto Takeyama
Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday. MFPS (1997)
Stuart Oliver Anderson, John Power
A Representable Approach to Finite Nondeterminism. Theor. Comput. Sci. 177 (1) (1997)
John Power
Modularity in denotational semantics. MFPS (1997)
Yoshiki Kinoshita, Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent
An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement. TACS (1997)
John Power
Elementary Control Structures. CONCUR (1996)

John Power.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

John Power