Keye Martin

According to our database, Keye Martin authored at least 35 papers between 1997 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

A new fixed point theorem in domain theory.

Keye Martin, Johnny Feng

Nat. Comput., 2019

2014

Euclidean Representations of Quantum States.

Keye Martin, Johnny Feng, Tanner Crowder

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013

Nothing Can Be Fixed.

Keye Martin

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

2012

Teleportation with an imperfect state.

Marco Lanzagorta, Keye Martin

Theor. Comput. Sci., 2012

2010

A Free Object in Quantum Information Theory.

Keye Martin, Johnny Feng, Sanjeevi Krishnan

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

10232 Report - The Semantics of Information.

Keye Martin, Michael W. Mislove

Proceedings of the Semantics of Information, 06.06. - 11.06.2010, 2010

2009

Classical Representations of Qubit Channels.

Tanner Crowder, Keye Martin

Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009

2008

Topology in information theory in topology.

Keye Martin

Theor. Comput. Sci., 2008

A Technique for Verifying Measurements.

Keye Martin, Prakash Panangaden

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

How to Randomly Flip a Quantum Bit.

Keye Martin

Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, 2008

A Monotonicity Principle for Information Theory.

Konstantinos Chatzikokolakis, Keye Martin

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

A Domain Theoretic Model of Qubit Channels.

Keye Martin

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

Domain Theory and the Causal Structure of Space-Time.

Keye Martin, Prakash Panangaden

Proceedings of the Logic and Theory of Algorithms, 2008

2007

Secure Communication without Encryption?

Keye Martin

IEEE Secur. Priv., 2007

Steganographic Communication with Quantum Information.

Keye Martin

Proceedings of the Information Hiding, 9th International Workshop, 2007

2006

Entropy as a fixed point.

Keye Martin

Theor. Comput. Sci., 2006

Algebraic Information Theory For Binary Channels.

Keye Martin, Ira S. Moskowitz, Gerard Allwein

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

Noisy Timing Channels with Binary Inputs and Outputs.

Keye Martin, Ira S. Moskowitz

Proceedings of the Information Hiding, 8th International Workshop, 2006

2005

The maximum entropy state

Keye Martin

CoRR, 2005

A domain of spacetime intervals in general relativity.

Keye Martin, Prakash Panangaden

Proceedings of the Spatial Representation: Discrete vs. Continuous Computational Models, 2005

2004

Measuring the probabilistic powerdomain.

Keye Martin, Michael W. Mislove, James Worrell

Theor. Comput. Sci., 2004

Fractals and domain theory.

Keye Martin

Math. Struct. Comput. Sci., 2004

2003

The regular spaces with countably based models.

Keye Martin

Theor. Comput. Sci., 2003

Ideal models of spaces.

Keye Martin

Theor. Comput. Sci., 2003

Partiality in physics

Bob Coecke, Keye Martin

CoRR, 2003

A Triangle Inequality for Measurement.

Keye Martin

Appl. Categorical Struct., 2003

2002

Informatic vs. Classical Differentiation on the Real Line.

Keye Martin, Joël Ouaknine

Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002, 2002

The Informatic Derivative at a Compact Element.

Keye Martin

Proceedings of the Foundations of Software Science and Computation Structures, 2002

2001

Powerdomains and Zero Finding.

Keye Martin

Proceedings of the Workshop on Quantitative Aspects of Programming Laguages, 2001

Unique Fixed Points in Domain Theory.

Keye Martin

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

A Renee Equation for Algorithmic Complexity.

Keye Martin

Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

A Principle of Induction.

Keye Martin

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

2000

The space of maximal elements in a compact domain.

Keye Martin

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

The Measurement Process in Domain Theory.

Keye Martin

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

1997

Domain theoretic models of topological spaces.

Keye Martin

Proceedings of the Third Workshop on Computation and Approximation, 1997