Paolo Milazzo

2009
17	EE	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei: Timed P Automata. Electr. Notes Theor. Comput. Sci. 227: 21-36 (2009)
16	EE	Thomas Anung Basuki, Antonio Cerone, Paolo Milazzo: Translating Stochastic CLS into Maude. Electr. Notes Theor. Comput. Sci. 227: 37-58 (2009)
15	EE	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini: Spatial Calculus of Looping Sequences. Electr. Notes Theor. Comput. Sci. 229(1): 21-39 (2009)
2008
14	EE	Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini: The Calculus of Looping Sequences. SFM 2008: 387-423
13	EE	Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo: An Intermediate Language for the Simulation of Biological Systems. Electr. Notes Theor. Comput. Sci. 194(3): 19-34 (2008)
12	EE	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: Bisimulations in calculi modelling membranes. Formal Asp. Comput. 20(4-5): 351-377 (2008)
11	EE	Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo Milazzo: Security in a Model for Long-running Transactions. Fundam. Inform. 85(1-4): 189-203 (2008)
10	EE	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini: A P Systems Flat Form Preserving Step-by-step Behaviour. Fundam. Inform. 87(1): 1-34 (2008)
9	EE	Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: Design and verification of long-running transactions in a timed framework. Sci. Comput. Program. 73(2-3): 76-94 (2008)
8	EE	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini: Compositional semantics and behavioral equivalences for P Systems. Theor. Comput. Sci. 395(1): 77-100 (2008)
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)

Coauthor Index

1	Roberto Barbuti	[1] [3] [4] [6] [7] [8] [10] [12] [13] [14] [15] [17]
2	Thomas Anung Basuki	[16]
3	Giulio Caravagna	[13] [14]
4	Samuele Carpineti	[2]
5	Stefano Cataudella	[1]
6	Antonio Cerone	[16]
7	Damas P. Gruska	[11]
8	Cosimo Laneve	[2]
9	Ruggero Lanotte	[5] [9]
10	Andrea Maggiolo-Schettini	[1] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [17]
11	Giovanni Pardini	[14] [15]
12	Luca Tesei	[17]
13	Simone Tini	[8] [10]
14	Angelo Troina	[1] [3] [4] [5] [6] [9] [12]

Colors in the list of coauthors