Keye Martin

Publication Activity (10 Years)

Years Active: 1998-2019
Publications (10 Years): 1

Top Topics

State Variables

Explanation Based Learning

Fixed Point Theorem

Top Venues

Computation, Logic, Games, and Quantum Foundations

Theor. Comput. Sci.

Horizons of the Mind

Publications

Keye Martin, Johnny Feng
A new fixed point theorem in domain theory. Nat. Comput. 18 (4) (2019)
Keye Martin, Johnny Feng, Tanner Crowder
Euclidean Representations of Quantum States. Horizons of the Mind (2014)
Keye Martin
Nothing Can Be Fixed. Computation, Logic, Games, and Quantum Foundations (2013)
Marco Lanzagorta, Keye Martin
Teleportation with an imperfect state. Theor. Comput. Sci. 430 (2012)
Tanner Crowder, Keye Martin
Classical Representations of Qubit Channels. Electron. Notes Theor. Comput. Sci. 270 (2) (2011)
Keye Martin
How to Randomly Flip a Quantum Bit. Electron. Notes Theor. Comput. Sci. 270 (1) (2011)
Keye Martin, Michael W. Mislove
10232 Report - The Semantics of Information. The Semantics of Information (2010)
Keye Martin, Johnny Feng, Sanjeevi Krishnan
A Free Object in Quantum Information Theory. MFPS (2010)
Keye Martin, Ira S. Moskowitz, Gerard Allwein
Algebraic information theory for binary channels. Theor. Comput. Sci. 411 (19) (2010)
Keye Martin
Topology in information theory in topology. Theor. Comput. Sci. 405 (1-2) (2008)
Keye Martin
A Domain Theoretic Model of Qubit Channels. ICALP (2) (2008)
Keye Martin, Prakash Panangaden
A Technique for Verifying Measurements. MFPS (2008)
Keye Martin, Prakash Panangaden
Domain Theory and the Causal Structure of Space-Time. CiE (2008)
Konstantinos Chatzikokolakis, Keye Martin
A Monotonicity Principle for Information Theory. MFPS (2008)
Keye Martin
Steganographic Communication with Quantum Information. Information Hiding (2007)
Keye Martin
Secure Communication without Encryption? IEEE Secur. Priv. 5 (2) (2007)
Keye Martin
Entropy as a fixed point. Theor. Comput. Sci. 350 (2-3) (2006)
Keye Martin, Ira S. Moskowitz, Gerard Allwein
Algebraic Information Theory For Binary Channels. MFPS (2006)
Keye Martin, Ira S. Moskowitz
Noisy Timing Channels with Binary Inputs and Outputs. Information Hiding (2006)
Keye Martin
The maximum entropy state CoRR (2005)
Keye Martin, Prakash Panangaden
A domain of spacetime intervals in general relativity. Spatial Representation (2005)
Keye Martin, Joël Ouaknine
Informatic vs. Classical Differentiation on the Real Line. Electron. Notes Theor. Comput. Sci. 73 (2004)
Keye Martin
Fractals and domain theory. Math. Struct. Comput. Sci. 14 (6) (2004)
Keye Martin, Michael W. Mislove, James Worrell
Measuring the probabilistic powerdomain. Theor. Comput. Sci. 312 (1) (2004)
Keye Martin
Entropy as a Fixed Point. ICALP (2004)
Bob Coecke, Keye Martin
Partiality in physics CoRR (2003)
Keye Martin
A Triangle Inequality for Measurement. Appl. Categorical Struct. 11 (1) (2003)
Keye Martin
The regular spaces with countably based models. Theor. Comput. Sci. 305 (1-3) (2003)
Keye Martin
Ideal models of spaces. Theor. Comput. Sci. 305 (1-3) (2003)
Keye Martin, Michael W. Mislove, James Worrell
Measuring the Probabilistic Powerdomain. ICALP (2002)
Keye Martin
The Informatic Derivative at a Compact Element. FoSSaCS (2002)
Keye Martin
Powerdomains and Zero Finding. Electron. Notes Theor. Comput. Sci. 59 (3) (2001)
Keye Martin
A Principle of Induction. CSL (2001)
Keye Martin
Unique Fixed Points in Domain Theory. MFPS (2001)
Keye Martin
A Renee Equation for Algorithmic Complexity. TACS (2001)
Keye Martin
The space of maximal elements in a compact domain. Electron. Notes Theor. Comput. Sci. 40 (2000)
Keye Martin
The Measurement Process in Domain Theory. ICALP (2000)
Keye Martin
Domain theoretic models of topological spaces. Electron. Notes Theor. Comput. Sci. 13 (1998)