`Travelled to:`

1 × Finland

1 × Iceland

1 × Spain

1 × Switzerland

2 × France

`Collaborated with:`

∅ M.W.Mislove J.Worrell

`Talks about:`

powerdomain (2) measur (2) domain (2) probabilist (1) principl (1) informat (1) theoret (1) process (1) entropi (1) element (1)

## Person: Keye Martin

### DBLP: Martin:Keye

### Contributed to:

### Wrote 7 papers:

- ICALP-B-2008-Martin #formal method #quantum
- A Domain Theoretic Model of Qubit Channels (KM), pp. 283–297.
- ICALP-2004-Martin #fixpoint
- Entropy as a Fixed Point (KM), pp. 945–958.
- FoSSaCS-2002-Martin
- The Informatic Derivative at a Compact Element (KM), pp. 310–325.
- ICALP-2002-MartinMW #probability
- Measuring the Probabilistic Powerdomain (KM, MWM, JW), pp. 463–475.
- CSL-2001-Martin #induction
- A Principle of Induction (KM), pp. 458–468.
- QAPL-2001-Martin
- Powerdomains and Zero Finding (KM), pp. 173–184.
- ICALP-2000-Martin #metric #process
- The Measurement Process in Domain Theory (KM), pp. 116–126.