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 × France
1 × Hungary
Collaborated with:
R.Chadha A.Sernadas A.Pacheco J.Pinto P.Baltazar R.Nagarajan N.Papanikolaou P.Adão T.Reis L.Viganò
Talks about:
probabilist (3) sequenti (1) protocol (1) calculus (1) quantit (1) program (1) analysi (1) toward (1) situat (1) reason (1)

Person: Paulo Mateus

DBLP DBLP: Mateus:Paulo

Contributed to:

QAPL 20072007
CSL 20062006
QAPL 20062006
KR 20022002

Wrote 4 papers:

QAPL-2007-BaltazarMNP #logic #probability
Exogenous Probabilistic Computation Tree Logic (PB, PM, RN, NP), pp. 95–110.
CSL-2006-ChadhaMS #probability #reasoning #source code
Reasoning About States of Probabilistic Sequential Programs (RC, PM, AS), pp. 240–255.
QAPL-2006-AdaoMRV #analysis #protocol #security #towards
Towards a Quantitative Analysis of Security Protocols (PA, PM, TR, LV), pp. 3–25.
KR-2002-MateusPP #calculus #probability
Observations and the Probabilistic Situation Calculus (PM, AP, JP), pp. 327–340.

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.