John Power
According to our database^{1},
John Power
authored at least 111 papers
between 1989 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at zbmath.org

at orcid.org

at inf.ed.ac.uk

at bath.ac.uk

at andrej.com
On csauthors.net:
Bibliography
2018
Log. Methods Comput. Sci., 2018
J. Log. Algebraic Methods Program., 2018
Proceedings of the ThirtyFourth Conference on the Mathematical Foundations of Programming Semantics, 2018
2016
J. Log. Comput., 2016
Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness.
Proceedings of the Coalgebraic Methods in Computer Science, 2016
2014
Theor. Comput. Sci., 2014
Electron. Notes Theor. Comput. Sci., 2014
2012
Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012
Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What?
Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012
2011
Applied Categorical Structures, 2011
Proceedings of the Computer Science Logic, 2011
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
2010
SpaceBased FPGA Radio Receiver Design, Debug, and Development of a RadiationTolerant Computing System.
Int. J. Reconfigurable Comput., 2010
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010
Proceedings of the Algebraic Methodology and Software Technology, 2010
2009
J. Funct. Program., 2009
Electron. Notes Theor. Comput. Sci., 2009
Electron. Notes Theor. Comput. Sci., 2009
High Efficiency SpaceBased Software Radio Architectures: A Minimum Size, Weight, and Power TeraOps Processor.
Proceedings of the ReConFig'09: 2009 International Conference on Reconfigurable Computing and FPGAs, 2009
2008
Fundam. Inform., 2008
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008
Level design optimization guidelines for game artists using the epic games: Unreal editor and unreal engine 2.
Comput. Entertain., 2008
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008
2007
Theor. Comput. Sci., 2007
Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads.
Electron. Notes Theor. Comput. Sci., 2007
2006
Theor. Comput. Sci., 2006
Theor. Comput. Sci., 2006
Theor. Comput. Sci., 2006
A Unified Categorytheoretic Semantics for Binding Signatures in Substructural Logics.
J. Log. Comput., 2006
High. Order Symb. Comput., 2006
Inf. Comput., 2006
Electron. Notes Theor. Comput. Sci., 2006
Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006
Electron. Notes Theor. Comput. Sci., 2006
Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006
Proceedings of the Workshop on Mathematically Structured Functional Programming, 2006
2005
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005
Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2005
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005
2004
Theor. Comput. Sci., 2004
Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004
Electron. Notes Theor. Comput. Sci., 2004
Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004
Electron. Notes Theor. Comput. Sci., 2004
Proceedings of the Foundations of Software Science and Computation Structures, 2004
2003
Math. Struct. Comput. Sci., 2003
Inf. Comput., 2003
Electron. Notes Theor. Comput. Sci., 2003
Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003
Applied Categorical Structures, 2003
Proceedings of the Typed Lambda Calculi and Applications, 6th International Conference, 2003
Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, 2003
Proceedings of the 6th International Workshop on Formal Methods, 2003
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003
Proceedings of the Foundations of Software Science and Computational Structures, 2003
2002
Theor. Comput. Sci., 2002
Theor. Comput. Sci., 2002
Theor. Comput. Sci., 2002
Electron. Notes Theor. Comput. Sci., 2002
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2002
Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002
Proceedings of the Foundations of Software Science and Computation Structures, 2002
2001
Theor. Comput. Sci., 2001
Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001
Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001
Proceedings of the Coalgebraic Methods in Computer Science, 2001
Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001
Proceedings of the Coalgebraic Methods in Computer Science, 2001
Proceedings of the 2002 IEEE CS International Symposium on HumanCentric Computing Languages and Environments (HCC 2001), 2001
Proceedings of the Foundations of Software Science and Computation Structures, 2001
Proceedings of the Computer Science Logic, 15th International Workshop, 2001
2000
Electron. Notes Theor. Comput. Sci., 2000
Distributivity for endofunctors, pointed and copointed endofunctors, monads and comonads.
Proceedings of the Coalgebraic Methods in Computer Science, 2000
Acta Informatica, 2000
Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000
Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000
Proceedings of the Computer Science Logic, 2000
1999
Proceedings of the Conference on Category Theory and Computer Science, 1999
Theor. Comput. Sci., 1999
Proceedings of the Coalgebraic Methods in Computer Science, 1999
Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999
Proceedings of the Automata, 1999
Proceedings of the Computer Science Logic, 13th International Workshop, 1999
1998
Proceedings of the First Workshop on Coalgebraic Methods in Computer Science, 1998
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998
Proceedings of the CONCUR '98: Concurrency Theory, 1998
1997
Theor. Comput. Sci., 1997
Math. Struct. Comput. Sci., 1997
Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997
Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997
An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement.
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997
Proceedings of the Computer Science Logic, 11th International Workshop, 1997
1996
Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996
Proceedings of the CONCUR '96, 1996
1995
Inf. Comput., August, 1995
Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995
Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995
Proceedings of the Proceedings, 1995
Proceedings of the CONCUR '95: Concurrency Theory, 1995
1992
A Formalism for the Specification of Essentially Algebraic Structures in 2Categories.
Math. Struct. Comput. Sci., 1992
1990
A Notion of Map between Logic Programs.
Proceedings of the Logic Programming, 1990
1989
Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989
Proceedings of the Category Theory and Computer Science, 1989