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 × Cyprus
1 × Hungary
1 × Switzerland
1 × United Kingdom
Collaborated with:
C.Palamidessi P.v.Rossum M.S.Alvim K.Chatzikokolakis G.Smith
Talks about:
inform (3) probabilist (2) system (2) flow (2) nondeterminist (1) differenti (1) quantit (1) probabl (1) privaci (1) between (1)

Person: Miguel E. Andrés

DBLP DBLP: Andr=eacute=s:Miguel_E=

Contributed to:

ICALP (2) 20112011
LICS 20102010
TACAS 20102010
TACAS 20082008

Wrote 4 papers:

ICALP-v2-2011-AlvimACP #data flow #difference #on the #privacy
On the Relation between Differential Privacy and Quantitative Information Flow (MSA, MEA, KC, CP), pp. 60–76.
LICS-2010-AlvimAP #data flow #probability
Probabilistic Information Flow (MSA, MEA, CP), pp. 314–321.
TACAS-2010-AndresPRS #information management
Computing the Leakage of Information-Hiding Systems (MEA, CP, PvR, GS), pp. 373–389.
TACAS-2008-AndresR #nondeterminism #probability
Conditional Probabilities over Probabilistic and Nondeterministic Systems (MEA, PvR), pp. 157–172.

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.