John Power - RankMe

106 papers A* 5B 31C 3Journal 32Unranked 32

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