| 2007 |
|---|
| 7 | EE | Roberto Barbuti,
Andrea Maggiolo-Schettini,
Paolo Milazzo:
Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level.
ISBRA 2007: 638-649 |
| 6 | EE | Roberto Barbuti,
Andrea Maggiolo-Schettini,
Paolo Milazzo,
Angelo Troina:
The Calculus of Looping Sequences for Modeling Biological Membranes.
Workshop on Membrane Computing 2007: 54-76 |
| 2006 |
|---|
| 5 | EE | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Paolo Milazzo,
Angelo Troina:
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata.
FMOODS 2006: 108-122 |
| 4 | EE | Roberto Barbuti,
Andrea Maggiolo-Schettini,
Paolo Milazzo,
Angelo Troina:
Bisimulation Congruences in the Calculus of Looping Sequences.
ICTAC 2006: 93-107 |
| 3 | EE | Roberto Barbuti,
Andrea Maggiolo-Schettini,
Paolo Milazzo,
Angelo Troina:
A Calculus of Looping Sequences for Modelling Microbiological Systems.
Fundam. Inform. 72(1-3): 21-35 (2006) |
| 2005 |
|---|
| 2 | EE | Samuele Carpineti,
Cosimo Laneve,
Paolo Milazzo:
BoPi - A Distributed Machine for Experimenting Web Services Technologies.
ACSD 2005: 202-211 |
| 1 | EE | Roberto Barbuti,
Stefano Cataudella,
Andrea Maggiolo-Schettini,
Paolo Milazzo,
Angelo Troina:
A Probabilistic Model for Molecular Systems.
Fundam. Inform. 67(1-3): 13-27 (2005) |
