`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:

### 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.