BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Martin:Keye

Contributed to:

ICALP (2) 20082008
ICALP 20042004
FoSSaCS 20022002
ICALP 20022002
CSL 20012001
QAPL 20012001
ICALP 20002000

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.
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.
Powerdomains and Zero Finding (KM), pp. 173–184.
ICALP-2000-Martin #metric #process
The Measurement Process in Domain Theory (KM), pp. 116–126.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.