| 2011 | CALCO | Coalgebraic Semantics for Derivations in Logic Programming. | Ekaterina Komendantskaya, John Power |
| 2011 | CSL | Coalgebraic Derivations in Logic Programming. | Ekaterina Komendantskaya, John Power |
| 2008 | JELIA | Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. | Ekaterina Komendantskaya, John Power |
| 2006 | MPC | The Universal Algebra of Computational Effects: Lawvere Theories and Monads. | John Power |
| 2005 | CALCO | Discrete Lawvere Theories. | John Power |
| 2005 | ICFP | A unified category-theoretic formulation of typed binding signatures. | Miki Tanaka, John Power |
| 2004 | FOSSACS | Canonical Models for Computational Effects. | John Power |
| 2003 | FOSSACS | Abstraction in Reasoning about Higraph-Based Systems. | John Power, Konstantinos Tourlas |
| 2003 | ICFP | A unified category theoretic approach to variable binding. | John Power |
| 2003 | MFPS | Pseudo-distributive Laws. | Eugenia Cheng, Martin Hyland, John Power |
| 2002 | FOSSACS | Notions of Computation Determine Monads. | Gordon D. Plotkin, John Power |
| 2002 | IGARSS | Interferometric synthetic aperture radar studies of Alaska volcanoes. | Zhong Lu, Charles Wicks Jr., John Power, Daniel Dzurisin, Wayne Thatcher, Timothy Masterlark |
| 2001 | CSL | An Algebraic Foundation for Higraphs. | John Power, Konstantinos Tourlas |
| 2001 | FOSSACS | Adequacy for Algebraic Effects. | Gordon D. Plotkin, John Power |
| 2000 | CSL | Logical Relations and Data Abstraction. | John Power, Edmund Robinson |
| 2000 | ICALP | Lax Logical Relations. | Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent |
| 2000 | PPDP | Symmetric monoidal sketches. | Martin Hyland, John Power |
| 2000 | PPDP | Logical relations, data abstraction, and structured fibrations. | John Power, Edmund Robinson |
| 1999 | CSL | Data-Refinement for Call-By-Value Programming Languages. | Yoshiki Kinoshita, John Power |
| 1999 | ICALP | Closed Freyd- and kappa-categories. | John Power, Hayo Thielecke |
| 1998 | CONCUR | A Categorical Axiomatics for Bisimulation. | Gian Luca Cattani, John Power, Glynn Winskel |
| 1998 | ICALP | A Modular Approach to Denotational Semantics. | John Power, Giuseppe Rosolini |
| 1998 | LICS | Higher Dimensional Multigraphs. | Claudio Hermida, Michael Makkai, John Power |
| 1998 | LICS | An Axiomatics for Categories of Transition Systems as Coalgebras. | Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell |
| 1996 | CONCUR | Elementary Control Structures. | John Power |
| 1995 | CONCUR | Fibrational Control Structures. | Claudio Hermida, John Power |