John Power

A. John Power

	2011
100		Ekaterina Komendantskaya, John Power: Coalgebraic Semantics for Derivations in Logic Programming. CALCO 2011: 268-282
99		Ekaterina Komendantskaya, John Power: Coalgebraic Derivations in Logic Programming. CSL 2011: 352-366
98		John Power: Unicity of Enrichment over Cat or Gpd. Applied Categorical Structures 19(1): 293-299 (2011)
	2010
97		Ekaterina Komendantskaya, Guy McCusker, John Power: Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming. AMAST 2010: 111-127
96		Guy McCusker, John Power: Modelling Local Variables: Possible Worlds and Object Spaces. Electr. Notes Theor. Comput. Sci. 265: 389-402 (2010)
95		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. Reconfig. Comp. 2010: (2010)
	2009
94		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: 326-331
93		Michael Johnson, David A. Naumann, John Power: Category Theoretic Models of Data Refinement. Electr. Notes Theor. Comput. Sci. 225: 21-38 (2009)
92		John Power, Miki Tanaka: Axiomatics for Data Refinement in Call by Value Programming Languages. Electr. Notes Theor. Comput. Sci. 225: 281-302 (2009)
91		Stephen Lack, John Power: Gabriel-Ulmer duality and Lawvere theories enriched over a general base. J. Funct. Program. 19(3-4): 265-286 (2009)
	2008
90		Ekaterina Komendantskaya, John Power: Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. JELIA 2008: 258-271
89		Christian Rubino, John Power: Level design optimization guidelines for game artists using the epic games: Unreal editor and unreal engine 2. Computers in Entertainment 6(4): (2008)
88		Gordon D. Plotkin, John Power: Tensors of Comodels and Models for Operational Semantics. Electr. Notes Theor. Comput. Sci. 218: 295-311 (2008)
87		John Power, Miki Tanaka: Category Theoretic Semantics for Typed Binding Signatures with Recursion. Fundam. Inform. 84(2): 221-240 (2008)
	2007
86		Martin Hyland, John Power: The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads. Electr. Notes Theor. Comput. Sci. 172: 437-458 (2007)
85		John Power: Abstract Syntax: Substitution and Binders: Invited Address. Electr. Notes Theor. Comput. Sci. 173: 3-16 (2007)
84		Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power: Combining algebraic effects with continuations. Theor. Comput. Sci. 375(1-3): 20-40 (2007)
	2006
83		Ewen Denney, John Power, Konstantinos Tourlas: Hiproofs: A Hierarchical Notion of Proof Tree. Electr. Notes Theor. Comput. Sci. 155: 341-359 (2006)
82		John Power: Semantics for Local Computational Effects. Electr. Notes Theor. Comput. Sci. 158: 355-371 (2006)
81		Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini: A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda. Electr. Notes Theor. Comput. Sci. 161: 43-57 (2006)
80		John Power: Countable Lawvere Theories and Computational Effects. Electr. Notes Theor. Comput. Sci. 161: 59-71 (2006)
79		Neil Ghani, John Power: Preface. Electr. Notes Theor. Comput. Sci. 164(1): 1-2 (2006)
78		Miki Tanaka, John Power: Pseudo-distributive laws and axiomatics for variable binding. Higher-Order and Symbolic Computation 19(2-3): 305-337 (2006)
77		Marco Kick, John Power, Alex Simpson: Coalgebraic semantics for timed processes. Inf. Comput. 204(4): 588-609 (2006)
76		Miki Tanaka, John Power: A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics. J. Log. Comput. 16(1): 5-25 (2006)
75		Martin Hyland, Gordon D. Plotkin, John Power: Combining effects: Sum and tensor. Theor. Comput. Sci. 357(1-3): 70-99 (2006)
74		John Power: Generic models for computational effects. Theor. Comput. Sci. 364(2): 254-269 (2006)
73		Martin Hyland, John Power: Discrete Lawvere theories and computational effects. Theor. Comput. Sci. 366(1-2): 144-162 (2006)
	2005
72		John Power: Discrete Lawvere Theories. CALCO 2005: 348-363
71		Miki Tanaka, John Power: A unified category-theoretic formulation of typed binding signatures. MERLIN 2005: 13-24
70		John Power, Miki Tanaka: Binding Signatures for Generic Contexts. TLCA 2005: 308-323
	2004
69		John Power: Canonical Models for Computational Effects. FoSSaCS 2004: 438-452
68		Martin Hyland, John Power: Symmetric Monoidal Sketches and Categories of Wirings. Electr. Notes Theor. Comput. Sci. 100: 31-46 (2004)
67		Marco Kick, A. John Power: Modularity of Behaviours for Mathematical Operational Semantics. Electr. Notes Theor. Comput. Sci. 106: 185-200 (2004)
66		A. John Power, Olha Shkaravska: From Comodels to Coalgebras: State and Arrays. Electr. Notes Theor. Comput. Sci. 106: 297-314 (2004)
65		Gordon D. Plotkin, A. John Power: Computational Effects and Operations: An Overview. Electr. Notes Theor. Comput. Sci. 73: 149-163 (2004)
64		Marina Lenisa, John Power, Hiroshi Watanabe: Category theory for operational semantics. Theor. Comput. Sci. 327(1-2): 135-154 (2004)
	2003
63		John Power, Konstantinos Tourlas: Abstraction in Reasoning about Higraph-Based Systems. FoSSaCS 2003: 392-408
62		Gordon D. Plotkin, John Power: Logic for Computational Effects: Work in Progress. IWFM 2003
61		John Power: A unified category theoretic approach to variable binding. MERLIN 2003
60		John Power: A Universal Embedding for the Higher Order Structure of Computational Effects. TLCA 2003: 301-315
59		Gordon D. Plotkin, John Power: Algebraic Operations and Generic Effects. Applied Categorical Structures 11(1): 69-94 (2003)
58		John Power, Konstantinos Tourlas: On the Geometric Modelling of Visual Languages. Electr. Notes Theor. Comput. Sci. 72(3): 1-12 (2003)
57		John Power: Towards a theory of mathematical operational semantics. Electr. Notes Theor. Comput. Sci. 82(1): 257-272 (2003)
56		Paul Blain Levy, John Power, Hayo Thielecke: Modelling environments in call-by-value programming languages. Inf. Comput. 185(2): 182-210 (2003)
55		Neil Ghani, Christoph Lüth, Federico De Marchi, John Power: Dualising Initial Algebras. Mathematical Structures in Computer Science 13(2): 349-370 (2003)
	2002
54		Gordon D. Plotkin, John Power: Notions of Computation Determine Monads. FoSSaCS 2002: 342-356
53		Martin Hyland, Gordon D. Plotkin, John Power: Combining Computational Effects: commutativity & sum. IFIP TCS 2002: 474-484
52		Stuart Anderson, John Power, Konstantinos Tourlas: Zooming-out on Higraph-based diagrams - Syntactic and Semantic Issues. Electr. Notes Theor. Comput. Sci. 61: 201-211 (2002)
51		John Power: Premonoidal categories as categories with algebraic structure. Theor. Comput. Sci. 278(1-2): 303-321 (2002)
50		John Power, Giuseppe Rosolini: Fixpoint operators for domain equations. Theor. Comput. Sci. 278(1-2): 323-333 (2002)
49		John Power, Hiroshi Watanabe: Combining a monad and a comonad. Theor. Comput. Sci. 280(1-2): 137-162 (2002)
	2001
48		John Power, Konstantinos Tourlas: An Algebraic Foundation for Higraphs. CSL 2001: 145-159
47		Gordon D. Plotkin, John Power: Adequacy for Algebraic Effects. FoSSaCS 2001: 1-24
46		Stuart Anderson, John Power, Konstantinos Tourlas: Reasoning in Higraphs with Loose Edges. HCC 2001: 23-29
45		Neil Ghani, Christoph Lüth, Federico De Marchi, John Power: Algebras, Coalgebras, Monads and Comonads. Electr. Notes Theor. Comput. Sci. 44(1): 128-145 (2001)
44		Martin Hyland, John Power: Two-dimensional linear algebra. Electr. Notes Theor. Comput. Sci. 44(1): 227-240 (2001)
43		Martin Hyland, John Power: Pseudo-commutative Monads. Electr. Notes Theor. Comput. Sci. 45: 197-208 (2001)
42		Gordon D. Plotkin, John Power: Semantics for Algebraic Operations. Electr. Notes Theor. Comput. Sci. 45: 332-345 (2001)
41		John Power, Konstantinos Tourlas: An Algebraic Foundation for Graph-based Diagrams in Computing. Electr. Notes Theor. Comput. Sci. 45: 346-357 (2001)
40		Peter Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell: On the structure of categories of coalgebras. Theor. Comput. Sci. 260(1-2): 87-117 (2001)
	2000
39		John Power, Edmund Robinson: Logical Relations and Data Abstraction. CSL 2000: 497-511
38		Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent: Lax Logical Relations. ICALP 2000: 85-102
37		John Power, Edmund Robinson: Logical relations, data abstraction, and structured fibrations. PPDP 2000: 15-23
36		Martin Hyland, John Power: Symmetric monoidal sketches. PPDP 2000: 280-288
35		Yoshiki Kinoshita, John Power: Data Refinement and Algebraic Structure. Acta Inf. 36(9/10): 693-719 (2000)
34		Marina Lenisa, John Power, Hiroshi Watanabe: Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads. Electr. Notes Theor. Comput. Sci. 33: 230-260 (2000)
33		John Power: Models for the computational lambda-calculus. Electr. Notes Theor. Comput. Sci. 40: 288-301 (2000)
	1999
32		Yoshiki Kinoshita, John Power: Data-Refinement for Call-By-Value Programming Languages. CSL 1999: 562-576
31		John Power, Hayo Thielecke: Closed Freyd- and kappa-categories. ICALP 1999: 625-634
30		Yoshiki Kinoshita, John Power: A General Completeness Result in Refinement. WADT 1999: 201-218
29		John Power, Hiroshi Watanabe: Distributivity for a monad and a comonad. Electr. Notes Theor. Comput. Sci. 19: 102 (1999)
28		John Power, Edmund Robinson: Modularity and Dyads. Electr. Notes Theor. Comput. Sci. 20: 467-480 (1999)
27		John Power, Daniele Turi: A Coalgebraic Foundation for Linear Time Semantics. Electr. Notes Theor. Comput. Sci. 29: 259-274 (1999)
26		Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent: Syntactic Control of Interference Revisited. Theor. Comput. Sci. 228(1-2): 211-252 (1999)
25		Peter J. Freyd, Peter W. O'Hearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent: Bireflectivity. Theor. Comput. Sci. 228(1-2): 49-76 (1999)
	1998
24		Gian Luca Cattani, John Power, Glynn Winskel: A Categorical Axiomatics for Bisimulation. CONCUR 1998: 581-596
23		John Power, Giuseppe Rosolini: A Modular Approach to Denotational Semantics. ICALP 1998: 351-362
22		Claudio Hermida, Michael Makkai, John Power: Higher Dimensional Multigraphs. LICS 1998: 199-206
21		Peter Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell: An Axiomatics for Categories of Transition Systems as Coalgebras. LICS 1998: 207-213
20		John Power, Hiroshi Watanabe: An axiomatics for categories of coalgebras. Electr. Notes Theor. Comput. Sci. 11: 158-175 (1998)
	1997
19		A. John Power: Categories with Algebraic Structure. CSL 1997: 389-405
18		Marcelo P. Fiore, Gordon D. Plotkin, A. John Power: Complete Cuboidal Sets in Axiomatic Domain Theory. LICS 1997: 268-278
17		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: 191-212
16		John Power, Hayo Thielecke: Environments, Continuation Semantics and Indexed Categories. TACS 1997: 391-414
15		Yoshiki Kinoshita, John Power, Makoto Takeyama: Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday. Electr. Notes Theor. Comput. Sci. 6: 235-248 (1997)
14		John Power: Modularity in denotational semantics. Electr. Notes Theor. Comput. Sci. 6: 293-307 (1997)
13		John Power, Edmund Robinson: Premonoidal Categories and Notions of Computation. Mathematical Structures in Computer Science 7(5): 453-468 (1997)
12		S. O. Anderson, John Power: A Representable Approach to Finite Nondeterminism. Theor. Comput. Sci. 177(1): 3-25 (1997)
	1996
11		John Power: Elementary Control Structures. CONCUR 1996: 115-130
10		Yoshiki Kinoshita, A. John Power: A Fibrational Semantics for Logic Programs. ELP 1996: 177-191
	1995
9		Claudio Hermida, John Power: Fibrational Control Structures. CONCUR 1995: 117-129
8		Alex Mifsud, Robin Milner, A. John Power: Control Structures LICS 1995: 188-198
7		Peter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama: Bireflectivity. Electr. Notes Theor. Comput. Sci. 1: 199-213 (1995)
6		Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama: Syntactic control of interference revisited. Electr. Notes Theor. Comput. Sci. 1: 447-486 (1995)
5		A. John Power: Why Tricategories? Inf. Comput. 120(2): 251-262 (1995)
	1992
4		A. John Power, Charles Wells: A Formalism for the Specification of Essentially Algebraic Structures in 2-Categories. Mathematical Structures in Computer Science 2(1): 1-28 (1992)
	1990
3		A. John Power, Leon Sterling: A Notion of Map between Logic Programs. ICLP 1990: 390-404
	1989
2		A. John Power: An Abstract Formulation for Rewrite Systems. Category Theory and Computer Science 1989: 300-312
1		A. John Power: An Algebraic Formulation for Data Refinement. Mathematical Foundations of Programming Semantics 1989: 390-401

Coauthor Index

1	S. O. Anderson	[12]
2	Stuart Anderson	[46] [52]
3	Zachary K. Baker	[94] [95]
4	Gian Luca Cattani	[24]
5	Ewen Denney	[83]
6	Mark E. Dunham	[94] [95]
7	Marcelo P. Fiore	[18]
8	Peter J. Freyd	[7] [25]
9	Neil Ghani	[45] [55] [79]
10	Paul S. Graham	[94] [95]
11	Claudio Hermida	[9] [22]
12	Martin Hyland (J. M. E. Hyland)	[36] [43] [44] [53] [68] [73] [75] [81] [84] [86]
13	Michael Johnson	[93]
14	Peter Johnstone	[21] [40]
15	Marco Kick	[67] [77]
16	Yoshiki Kinoshita	[10] [15] [17] [30] [32] [35]
17	Ekaterina Komendantskaya	[90] [97] [99] [100]
18	Stephen Lack	[91]
19	Marina Lenisa	[34] [64]
20	Paul Blain Levy	[56] [84]
21	Christoph Lüth	[45] [55]
22	Michael Makkai	[22]
23	Federico De Marchi	[45] [55]
24	Guy McCusker	[96] [97]
25	Alex Mifsud	[8]
26	Robin Milner	[8]
27	Keith Morgan	[95]
28	Misao Nagayama	[81]
29	David A. Naumann	[93]
30	Peter W. O'Hearn	[6] [7] [17] [25] [26]
31	Michael Pigue	[94] [95]
32	Gordon D. Plotkin	[18] [38] [42] [47] [53] [54] [59] [62] [65] [75] [84] [88]
33	Edmund Robinson (E. P. Robinson)	[13] [28] [37] [39]
34	Giuseppe Rosolini	[23] [50] [81]
35	Christian Rubino	[89]
36	Donald Sannella	[38]
37	Eric N. Schmierer	[94] [95]
38	Olha Shkaravska	[66]
39	Alex K. Simpson (Alex Simpson)	[77]
40	Leon Sterling	[3]
41	Matthew Stettler	[94] [95]
42	R. Street	[25]
43	Makoto Takeyama	[6] [7] [15] [17] [25] [26]
44	Miki Tanaka	[70] [71] [76] [78] [87] [92]
45	Robert D. Tennent	[6] [7] [17] [25] [26] [38]
46	Hayo Thielecke	[16] [31] [56]
47	Konstantinos Tourlas	[41] [46] [48] [52] [58] [63] [83]
48	Toru Tsujishita	[21] [40]
49	Daniele Turi	[27]
50	Hiroshi Watanabe	[20] [21] [29] [34] [40] [49] [64]
51	Charles Wells	[4]
52	Glynn Winskel	[24]
53	James Worrell	[21] [40]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page