Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	John
Last name:	Power
DBLP:	p/JohnPower
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 25 of 102  

Select a publication
Show	Title	Venue	Rating	Date
	Journal article Guy McCusker, John Power, Cai Wingfield. A Graphical Foundation for Schedules.	Electr. Notes Theor. Comput. Sci. 2012, Volume 286	(0)	2012
	Journal article Mike Behrisch, Sebastian Kerkhoff, John Power. Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What?	Electr. Notes Theor. Comput. Sci. 2012, Volume 286	(0)	2012
	Journal article John Power. Unicity of Enrichment over Cat or Gpd.	Applied Categorical Structures 2011, Volume 19	(0)	2011
	Conference paper Ekaterina Komendantskaya, John Power. Coalgebraic Semantics for Derivations in Logic Programming.	Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings 2011	(0)	2011
	Conference paper Ekaterina Komendantskaya, John Power. Coalgebraic Derivations in Logic Programming.	Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings 2011	(0)	2011
	Journal article Guy McCusker, John Power. Modelling Local Variables: Possible Worlds and Object Spaces.	Electr. Notes Theor. Comput. Sci. 2010, Volume 265	(0)	2010
	Conference paper Ekaterina Komendantskaya, Guy McCusker, John Power. Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming.	Algebraic Methodology and Software Technology - 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers 2011	(0)	2010
	Journal article 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, Volume 2010	(0)	2010
	Conference paper Michael Johnson, David Naumann, John Power. Category Theoretic Models of Data Refinement.	Electr. Notes Theor. Comput. Sci. 2009, Volume 225	(0)	2009
	Conference paper John Power, Miki Tanaka. Axiomatics for Data Refinement in Call by Value Programming Languages.	Electr. Notes Theor. Comput. Sci. 2009, Volume 225	(0)	2009
	Conference paper Stephen Lack, John Power. Gabriel-Ulmer duality and Lawvere theories enriched over a general base.	J. Funct. Program. 2009, Volume 19	(0)	2009
	Conference paper Mark E. Dunham, Zachary 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'09: 2009 International Conference on Reconfigurable Computing and FPGAs, Cancun, Quintana Roo, Mexico, 9-11 December 2009, Proceedings 2009	(0)	2009
	Conference paper Ekaterina Komendantskaya, John Power. Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness.	Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings 2008	(0)	2008
	Conference paper Gordon D. Plotkin, John Power. Tensors of Comodels and Models for Operational Semantics.	Electr. Notes Theor. Comput. Sci. 2008, Volume 218	(0)	2008
	Conference paper John Power, Miki Tanaka. Category Theoretic Semantics for Typed Binding Signatures with Recursion.	Fundam. Inform. 2008, Volume 84	(0)	2008
	Conference paper Christian Rubino, John Power. Level design optimization guidelines for game artists using the epic games: Unreal editor and unreal engine 2.	Computers in Entertainment 2008, Volume 6	(0)	2008
	Conference paper Martin Hyland, John Power. The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads.	Electr. Notes Theor. Comput. Sci. 2007, Volume 172	(0)	2007
	Conference paper John Power. Abstract Syntax: Substitution and Binders: Invited Address.	Electr. Notes Theor. Comput. Sci. 2007, Volume 173	(0)	2007
	Conference paper Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power. Combining algebraic effects with continuations.	Theor. Comput. Sci. 2007, Volume 375	(0)	2007
	Conference paper Ewen Denney, John Power, Konstantinos Tourlas. Hiproofs: A Hierarchical Notion of Proof Tree.	Electr. Notes Theor. Comput. Sci. 2006, Volume 155	(0)	2006
	Conference paper John Power. Semantics for Local Computational Effects.	Electr. Notes Theor. Comput. Sci. 2006, Volume 158	(0)	2006
	Conference paper 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. 2006, Volume 161	(0)	2006
	Conference paper John Power. Countable Lawvere Theories and Computational Effects.	Electr. Notes Theor. Comput. Sci. 2006, Volume 161	(0)	2006
	Conference paper Neil Ghani, John Power. Preface.	Electr. Notes Theor. Comput. Sci. 2006, Volume 164	(0)	2006
	Conference paper Marco Kick, John Power, Alex K. Simpson. Coalgebraic semantics for timed processes.	Inf. Comput. 2006, Volume 204	(0)	2006

Show item 1 to 25 of 102  

Your query returned 102 matches in the database.