Keye Martin

According to our database, Keye Martin authored at least 14 papers between 2000 and 2014.

Collaborative distances:

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

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

2010

10232 Report - The Semantics of Information.

Keye Martin, Michael W. Mislove

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

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

Steganographic Communication with Quantum Information.

Keye Martin

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

2006

Noisy Timing Channels with Binary Inputs and Outputs.

Keye Martin, Ira S. Moskowitz

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

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

Entropy as a Fixed Point.

Keye Martin

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

2002

Measuring the Probabilistic Powerdomain.

Keye Martin, Michael W. Mislove, James Worrell

Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

The Informatic Derivative at a Compact Element.

Keye Martin

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

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 Measurement Process in Domain Theory.

Keye Martin

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