2008 |
28 | EE | Keye Martin,
Prakash Panangaden:
Domain Theory and the Causal Structure of Space-Time.
CiE 2008: 428-430 |
27 | EE | Keye Martin:
A Domain Theoretic Model of Qubit Channels.
ICALP (2) 2008: 283-297 |
26 | EE | Konstantinos Chatzikokolakis,
Keye Martin:
A Monotonicity Principle for Information Theory.
Electr. Notes Theor. Comput. Sci. 218: 111-129 (2008) |
25 | EE | Keye Martin,
Prakash Panangaden:
A Technique for Verifying Measurements.
Electr. Notes Theor. Comput. Sci. 218: 261-273 (2008) |
24 | EE | Keye Martin:
Topology in information theory in topology.
Theor. Comput. Sci. 405(1-2): 75-87 (2008) |
2007 |
23 | EE | Keye Martin:
Steganographic Communication with Quantum Information.
Information Hiding 2007: 32-49 |
2006 |
22 | EE | Keye Martin,
Ira S. Moskowitz:
Noisy Timing Channels with Binary Inputs and Outputs.
Information Hiding 2006: 124-144 |
21 | EE | Keye Martin,
Ira S. Moskowitz,
Gerard Allwein:
Algebraic Information Theory For Binary Channels.
Electr. Notes Theor. Comput. Sci. 158: 289-306 (2006) |
20 | EE | Keye Martin:
Entropy as a fixed point.
Theor. Comput. Sci. 350(2-3): 292-324 (2006) |
2005 |
19 | EE | Keye Martin,
Prakash Panangaden:
A domain of spacetime intervals in general relativity.
Spatial Representation 2005 |
18 | EE | Keye Martin:
The maximum entropy state
CoRR abs/math/0502024: (2005) |
2004 |
17 | EE | Keye Martin:
Entropy as a Fixed Point.
ICALP 2004: 945-958 |
16 | EE | Keye Martin,
Joël Ouaknine:
Informatic vs. Classical Differentiation on the Real Line.
Electr. Notes Theor. Comput. Sci. 73: 133-140 (2004) |
15 | EE | Keye Martin:
Fractals and domain theory.
Mathematical Structures in Computer Science 14(6): 883-851 (2004) |
14 | EE | Keye Martin,
Michael W. Mislove,
James Worrell:
Measuring the probabilistic powerdomain.
Theor. Comput. Sci. 312(1): 99-119 (2004) |
2003 |
13 | EE | Keye Martin:
A Triangle Inequality for Measurement.
Applied Categorical Structures 11(1): 27-40 (2003) |
12 | EE | Bob Coecke,
Keye Martin:
Partiality in physics
CoRR quant-ph/0312044: (2003) |
11 | EE | Keye Martin:
Ideal models of spaces.
Theor. Comput. Sci. 305(1-3): 277-297 (2003) |
10 | EE | Keye Martin:
The regular spaces with countably based models.
Theor. Comput. Sci. 305(1-3): 299-310 (2003) |
2002 |
9 | EE | Keye Martin:
The Informatic Derivative at a Compact Element.
FoSSaCS 2002: 310-325 |
8 | EE | Keye Martin,
Michael W. Mislove,
James Worrell:
Measuring the Probabilistic Powerdomain.
ICALP 2002: 463-475 |
2001 |
7 | EE | Keye Martin:
A Principle of Induction.
CSL 2001: 458-468 |
6 | EE | Keye Martin:
A Renee Equation for Algorithmic Complexity.
TACS 2001: 201-218 |
5 | EE | Keye Martin:
Unique Fixed Points in Domain Theory.
Electr. Notes Theor. Comput. Sci. 45: (2001) |
4 | EE | Keye Martin:
Powerdomains and Zero Finding.
Electr. Notes Theor. Comput. Sci. 59(3): (2001) |
2000 |
3 | EE | Keye Martin:
The Measurement Process in Domain Theory.
ICALP 2000: 116-126 |
2 | EE | Keye Martin:
The space of maximal elements in a compact domain.
Electr. Notes Theor. Comput. Sci. 40: (2000) |
1998 |
1 | EE | Keye Martin:
Domain theoretic models of topological spaces.
Electr. Notes Theor. Comput. Sci. 13: (1998) |