BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Russia
Collaborated with:
J.Pang Y.Kawamoto C.Novakovic K.Chatzikokolakis A.Guha M.T.Dashti Y.Deng C.Palamidessi Jay Young Fran Smith Christopher Atkinson Ken Poyner
Talks about:
system (2) leakag (2) inform (2) starcraft (1) transit (1) statist (1) resourc (1) quantit (1) secret (1) metric (1)

Person: Tom Chothia

DBLP DBLP: Chothia:Tom

Contributed to:

CAV 20132013
TACAS 20102010
QAPL 20072007
QAPL 20052006
CIG 20122012

Wrote 5 papers:

CAV-2013-ChothiaKN #information management
A Tool for Estimating Information Leakage (TC, YK, CN), pp. 690–695.
TACAS-2010-ChatzikokolakisCG #information management #metric #statistics
Statistical Measurement of Information Leakage (KC, TC, AG), pp. 390–404.
QAPL-2007-ChothiaPD #component
Keeping Secrets in Resource Aware Components (TC, JP, MTD), pp. 79–94.
QAPL-2005-DengCPP06 #metric
Metrics for Action-labelled Quantitative Transition Systems (YD, TC, CP, JP), pp. 79–96.
CIG-2012-YoungSAPC #named
SCAIL: An integrated Starcraft AI system (JY, FS, CA, KP, TC), pp. 438–445.
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.