| |
| 2008 | ||
|---|---|---|
| 3 | EE | Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia: On the Asynchronous Nature of the Asynchronous pi-Calculus. Concurrency, Graphs and Models 2008: 473-492 |
| 2 | EE | Romain Beauxis: Probabilistic and Concurrent Models for Security. ICLP 2008: 801-802 |
| 2007 | ||
| 1 | EE | Romain Beauxis, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden: Formal Approaches to Information-Hiding (Tutorial). TGC 2007: 347-362 |
| 1 | Konstantinos Chatzikokolakis | [1] |
| 2 | Catuscia Palamidessi | [1] [3] |
| 3 | Prakash Panangaden | [1] |
| 4 | Frank D. Valencia (Frank Valencia) | [3] |