The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

John Power: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. John Power
    Discrete Lawvere Theories. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:348-363 [Conf]
  2. Gian Luca Cattani, John Power, Glynn Winskel
    A Categorical Axiomatics for Bisimulation. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:581-596 [Conf]
  3. Claudio Hermida, John Power
    Fibrational Control Structures. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:117-129 [Conf]
  4. John Power
    Elementary Control Structures. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:115-130 [Conf]
  5. Yoshiki Kinoshita, John Power
    Data-Refinement for Call-By-Value Programming Languages. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:562-576 [Conf]
  6. John Power, Edmund Robinson
    Logical Relations and Data Abstraction. [Citation Graph (0, 0)][DBLP]
    CSL, 2000, pp:497-511 [Conf]
  7. John Power, Konstantinos Tourlas
    An Algebraic Foundation for Higraphs. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:145-159 [Conf]
  8. John Power, Konstantinos Tourlas
    Abstraction in Reasoning about Higraph-Based Systems. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2003, pp:392-408 [Conf]
  9. Gordon D. Plotkin, John Power
    Adequacy for Algebraic Effects. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2001, pp:1-24 [Conf]
  10. Gordon D. Plotkin, John Power
    Notions of Computation Determine Monads. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:342-356 [Conf]
  11. John Power
    Canonical Models for Computational Effects. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:438-452 [Conf]
  12. Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent
    Lax Logical Relations. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:85-102 [Conf]
  13. John Power, Giuseppe Rosolini
    A Modular Approach to Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    ICALP, 1998, pp:351-362 [Conf]
  14. John Power, Hayo Thielecke
    Closed Freyd- and kappa-categories. [Citation Graph (0, 0)][DBLP]
    ICALP, 1999, pp:625-634 [Conf]
  15. John Power
    A unified category theoretic approach to variable binding. [Citation Graph (0, 0)][DBLP]
    MERLIN, 2003, pp:- [Conf]
  16. Martin Hyland, Gordon D. Plotkin, John Power
    Combining Computational Effects: commutativity & sum. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2002, pp:474-484 [Conf]
  17. Gordon D. Plotkin, John Power
    Logic for Computational Effects: Work in Progress. [Citation Graph (0, 0)][DBLP]
    IWFM, 2003, pp:- [Conf]
  18. Claudio Hermida, Michael Makkai, John Power
    Higher Dimensional Multigraphs. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:199-206 [Conf]
  19. Peter Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell
    An Axiomatics for Categories of Transition Systems as Coalgebras. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:207-213 [Conf]
  20. Martin Hyland, John Power
    Symmetric monoidal sketches. [Citation Graph (0, 0)][DBLP]
    PPDP, 2000, pp:280-288 [Conf]
  21. John Power, Edmund Robinson
    Logical relations, data abstraction, and structured fibrations. [Citation Graph (0, 0)][DBLP]
    PPDP, 2000, pp:15-23 [Conf]
  22. John Power, Hayo Thielecke
    Environments, Continuation Semantics and Indexed Categories. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:391-414 [Conf]
  23. 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. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:191-212 [Conf]
  24. John Power
    A Universal Embedding for the Higher Order Structure of Computational Effects. [Citation Graph (0, 0)][DBLP]
    TLCA, 2003, pp:301-315 [Conf]
  25. John Power, Miki Tanaka
    Binding Signatures for Generic Contexts. [Citation Graph (0, 0)][DBLP]
    TLCA, 2005, pp:308-323 [Conf]
  26. Stuart Anderson, John Power, Konstantinos Tourlas
    Reasoning in Higraphs with Loose Edges. [Citation Graph (0, 0)][DBLP]
    HCC, 2001, pp:23-29 [Conf]
  27. Yoshiki Kinoshita, John Power
    A General Completeness Result in Refinement. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:201-218 [Conf]
  28. Gordon D. Plotkin, John Power
    Algebraic Operations and Generic Effects. [Citation Graph (0, 0)][DBLP]
    Applied Categorical Structures, 2003, v:11, n:1, pp:69-94 [Journal]
  29. Yoshiki Kinoshita, John Power
    Data Refinement and Algebraic Structure. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2000, v:36, n:9/10, pp:693-719 [Journal]
  30. Stuart Anderson, John Power, Konstantinos Tourlas
    Zooming-out on Higraph-based diagrams - Syntactic and Semantic Issues. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:61, n:, pp:- [Journal]
  31. Ewen Denney, John Power, Konstantinos Tourlas
    Hiproofs: A Hierarchical Notion of Proof Tree. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:341-359 [Journal]
  32. Peter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama
    Bireflectivity. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  33. Neil Ghani, Christoph Lüth, Federico De Marchi, John Power
    Algebras, Coalgebras, Monads and Comonads. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:1, pp:- [Journal]
  34. Martin Hyland, John Power
    Pseudo-commutative Monads. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:45, n:, pp:- [Journal]
  35. Martin Hyland, John Power
    Two-dimensional linear algebra. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:1, pp:- [Journal]
  36. Martin Hyland, John Power
    Symmetric Monoidal Sketches and Categories of Wirings. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:100, n:, pp:31-46 [Journal]
  37. Yoshiki Kinoshita, John Power, Makoto Takeyama
    Sketches. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal]
  38. Marina Lenisa, John Power, Hiroshi Watanabe
    Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
  39. Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama
    Syntactic control of interference revisited. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  40. Gordon D. Plotkin, John Power
    Semantics for Algebraic Operations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:45, n:, pp:- [Journal]
  41. John Power
    Models for the computational lambda-calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal]
  42. John Power
    Towards a theory of mathematical operational semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
  43. John Power
    Semantics for Local Computational Effects. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:355-371 [Journal]
  44. John Power
    Modularity in denotational semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal]
  45. John Power, Edmund Robinson
    Modularity and Dyads. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  46. John Power, Konstantinos Tourlas
    An Algebraic Foundation for Graph-based Diagrams in Computing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:45, n:, pp:- [Journal]
  47. John Power, Konstantinos Tourlas
    On the Geometric Modelling of Visual Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
  48. John Power, Hiroshi Watanabe
    An axiomatics for categories of coalgebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:11, n:, pp:- [Journal]
  49. John Power, Hiroshi Watanabe
    Distributivity for a monad and a comonad. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
  50. Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini
    A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:43-57 [Journal]
  51. John Power
    Countable Lawvere Theories and Computational Effects. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:59-71 [Journal]
  52. Neil Ghani, John Power
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:1, pp:1-2 [Journal]
  53. Martin Hyland, John Power
    The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:437-458 [Journal]
  54. John Power
    Abstract Syntax: Substitution and Binders: Invited Address. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:3-16 [Journal]
  55. Paul Blain Levy, John Power, Hayo Thielecke
    Modelling environments in call-by-value programming languages. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:185, n:2, pp:182-210 [Journal]
  56. Marco Kick, John Power, Alex Simpson
    Coalgebraic semantics for timed processes. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:4, pp:588-609 [Journal]
  57. Miki Tanaka, John Power
    Pseudo-distributive laws and axiomatics for variable binding. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2006, v:19, n:2-3, pp:305-337 [Journal]
  58. Miki Tanaka, John Power
    A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2006, v:16, n:1, pp:5-25 [Journal]
  59. Neil Ghani, Christoph Lüth, Federico De Marchi, John Power
    Dualising Initial Algebras. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2003, v:13, n:2, pp:349-370 [Journal]
  60. John Power, Edmund Robinson
    Premonoidal Categories and Notions of Computation. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1997, v:7, n:5, pp:453-468 [Journal]
  61. S. O. Anderson, John Power
    A Representable Approach to Finite Nondeterminism. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:177, n:1, pp:3-25 [Journal]
  62. Martin Hyland, John Power
    Discrete Lawvere theories and computational effects. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:366, n:1-2, pp:144-162 [Journal]
  63. Martin Hyland, Gordon D. Plotkin, John Power
    Combining effects: Sum and tensor. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:357, n:1-3, pp:70-99 [Journal]
  64. Peter Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell
    On the structure of categories of coalgebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:260, n:1-2, pp:87-117 [Journal]
  65. Marina Lenisa, John Power, Hiroshi Watanabe
    Category theory for operational semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:327, n:1-2, pp:135-154 [Journal]
  66. Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent
    Syntactic Control of Interference Revisited. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:228, n:1-2, pp:211-252 [Journal]
  67. John Power
    Premonoidal categories as categories with algebraic structure. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:278, n:1-2, pp:303-321 [Journal]
  68. John Power
    Generic models for computational effects. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:364, n:2, pp:254-269 [Journal]
  69. John Power, Giuseppe Rosolini
    Fixpoint operators for domain equations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:278, n:1-2, pp:323-333 [Journal]
  70. John Power, Daniele Turi
    A Coalgebraic Foundation for Linear Time Semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  71. John Power, Hiroshi Watanabe
    Combining a monad and a comonad. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:280, n:1-2, pp:137-162 [Journal]
  72. Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power
    Combining algebraic effects with continuations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:375, n:1-3, pp:20-40 [Journal]

  73. A unified category-theoretic formulation of typed binding signatures. [Citation Graph (, )][DBLP]


  74. Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. [Citation Graph (, )][DBLP]


  75. High Efficiency Space-Based Software Radio Architectures: A Minimum Size, Weight, and Power TeraOps Processor. [Citation Graph (, )][DBLP]


  76. Level design optimization guidelines for game artists using the epic games: Unreal editor and unreal engine 2. [Citation Graph (, )][DBLP]


  77. Tensors of Comodels and Models for Operational Semantics. [Citation Graph (, )][DBLP]


  78. Category Theoretic Models of Data Refinement. [Citation Graph (, )][DBLP]


  79. Axiomatics for Data Refinement in Call by Value Programming Languages. [Citation Graph (, )][DBLP]


Search in 0.118secs, Finished in 0.121secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002