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: Mateus:Paulo
Contributed to:
2007
20062006
2002Wrote 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.