| |
| 2007 | ||
|---|---|---|
| 3 | EE | Luís Moniz Pereira, Ari Saptawijaya: Modelling Morality with Prospective Logic. EPIA Workshops 2007: 99-111 |
| 2006 | ||
| 2 | EE | Ricardo Corin, Sandro Etalle, Ari Saptawijaya: A Logic for Constraint-based Security Protocol Analysis. IEEE Symposium on Security and Privacy 2006: 155-168 |
| 2005 | ||
| 1 | EE | Ricardo Corin, Ari Saptawijaya, Sandro Etalle: PS-LTL for Constraint-Based Security Protocol Analysis. ICLP 2005: 439-440 |
| 1 | Ricardo Corin | [1] [2] |
| 2 | Sandro Etalle | [1] [2] |
| 3 | Luís Moniz Pereira (Luíz Moniz Pereira) | [3] |