Keye Martin

Affiliations:
  • Naval Research Laboratory, Washington DC, USA
  • University of Oxford, UK


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
A new fixed point theorem in domain theory.
Nat. Comput., 2019

2014
Euclidean Representations of Quantum States.
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

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

2012
Teleportation with an imperfect state.
Theor. Comput. Sci., 2012

2010
Algebraic information theory for binary channels.
Theor. Comput. Sci., 2010

A Free Object in Quantum Information Theory.
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

10232 Report - The Semantics of Information.
Proceedings of the Semantics of Information, 06.06. - 11.06.2010, 2010

2009
Classical Representations of Qubit Channels.
Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009

2008
Topology in information theory in topology.
Theor. Comput. Sci., 2008

A Technique for Verifying Measurements.
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

How to Randomly Flip a Quantum Bit.
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.
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

A Domain Theoretic Model of Qubit Channels.
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

Domain Theory and the Causal Structure of Space-Time.
Proceedings of the Logic and Theory of Algorithms, 2008

2007
Secure Communication without Encryption?
IEEE Secur. Priv., 2007

Steganographic Communication with Quantum Information.
Proceedings of the Information Hiding, 9th International Workshop, 2007

2006
Entropy as a fixed point.
Theor. Comput. Sci., 2006

Noisy Timing Channels with Binary Inputs and Outputs.
Proceedings of the Information Hiding, 8th International Workshop, 2006

2005
The maximum entropy state
CoRR, 2005

A domain of spacetime intervals in general relativity.
Proceedings of the Spatial Representation: Discrete vs. Continuous Computational Models, 2005

2004
Measuring the probabilistic powerdomain.
Theor. Comput. Sci., 2004

Fractals and domain theory.
Math. Struct. Comput. Sci., 2004

2003
The regular spaces with countably based models.
Theor. Comput. Sci., 2003

Ideal models of spaces.
Theor. Comput. Sci., 2003

Partiality in physics
CoRR, 2003

A Triangle Inequality for Measurement.
Appl. Categorical Struct., 2003

2002
Informatic vs. Classical Differentiation on the Real Line.
Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002, 2002

The Informatic Derivative at a Compact Element.
Proceedings of the Foundations of Software Science and Computation Structures, 2002

2001
Powerdomains and Zero Finding.
Proceedings of the Workshop on Quantitative Aspects of Programming Laguages, 2001

Unique Fixed Points in Domain Theory.
Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

A Renee Equation for Algorithmic Complexity.
Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

A Principle of Induction.
Proceedings of the Computer Science Logic, 15th International Workshop, 2001

2000
The space of maximal elements in a compact domain.
Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

The Measurement Process in Domain Theory.
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

1997
Domain theoretic models of topological spaces.
Proceedings of the Third Workshop on Computation and Approximation, 1997


  Loading...