| |
| 2009 | ||
|---|---|---|
| 7 | EE | Jesús Aranda, Frank D. Valencia, Cristian Versari: On the Expressive Power of Restriction and Priorities in CCS with Replication. FOSSACS 2009: 242-256 |
| 2008 | ||
| 6 | EE | Cristian Versari, Roberto Gorrieri: pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. SFM 2008: 449-506 |
| 5 | EE | Cristian Versari, Nadia Busi: Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. Electr. Notes Theor. Comput. Sci. 194(3): 165-180 (2008) |
| 2007 | ||
| 4 | EE | Cristian Versari, Nadia Busi: Stochastic Simulation of Biological Systems with Dynamical Compartment Structure. CMSB 2007: 80-95 |
| 3 | EE | Cristian Versari, Nadia Busi, Roberto Gorrieri: On the Expressive Power of Global and Local Priority in Process Calculi. CONCUR 2007: 241-255 |
| 2 | EE | Cristian Versari: A Core Calculus for a Comparative Analysis of Bio-inspired Calculi. ESOP 2007: 411-425 |
| 1 | EE | Cristian Versari: Encoding Catalytic P Systems in pi@. Electr. Notes Theor. Comput. Sci. 171(2): 171-186 (2007) |
| 1 | Jesús Aranda | [7] |
| 2 | Nadia Busi | [3] [4] [5] |
| 3 | Roberto Gorrieri | [3] [6] |
| 4 | Frank D. Valencia (Frank Valencia) | [7] |