| 2009 | ||
|---|---|---|
| 4 | Romain Beauxis, Catuscia Palamidessi: Probabilistic and nondeterministic aspects of anonymity. Theor. Comput. Sci. 410(41): 4006-4025 (2009) | |
| 2008 | ||
| 3 | Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia: On the Asynchronous Nature of the Asynchronous pi-Calculus. Concurrency, Graphs and Models 2008: 473-492 | |
| 2 | Romain Beauxis: Probabilistic and Concurrent Models for Security. ICLP 2008: 801-802 | |
| 2007 | ||
| 1 | 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] [4] |
| 3 | Prakash Panangaden | [1] |
| 4 | Frank D. Valencia (Frank Valencia) | [3] |