| |
| 2009 | ||
|---|---|---|
| 3 | EE | Pedro Baltazar, Paulo Mateus: Temporalization of Probabilistic Propositional Logic. LFCS 2009: 46-60 |
| 2007 | ||
| 2 | EE | Pedro Baltazar, Rohit Chadha, Paulo Mateus, Amílcar Sernadas: Towards Model-Checking Quantum Security Protocols. ICQNM 2007: 14 |
| 1 | EE | Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou: Exogenous Probabilistic Computation Tree Logic. Electr. Notes Theor. Comput. Sci. 190(3): 95-110 (2007) |
| 1 | Rohit Chadha | [2] |
| 2 | Paulo Mateus | [1] [2] [3] |
| 3 | Rajagopal Nagarajan | [1] |
| 4 | Nikolaos Papanikolaou (Nick Papanikolaou) | [1] |
| 5 | Amílcar Sernadas | [2] |