Paolo Milazzo

	2012
42		Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena: Probabilistic model checking of biological systems with uncertain kinetic rates. Theor. Comput. Sci. 419: 2-16 (2012)
	2011
41		Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei: A Testing Framework for P Systems CoRR abs/1108.3424: (2011)
40		Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena: Maximally Parallel Probabilistic Semantics for Multiset Rewriting. Fundam. Inform. 112(1): 1-17 (2011)
39		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini: An Overview on Operational Semantics in Membrane Computing. Int. J. Found. Comput. Sci. 22(1): 119-131 (2011)
38		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei: Spatial P systems. Natural Computing 10(1): 3-16 (2011)
37		Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo: Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach. T. Comp. Sys. Biology 13: 61-84 (2011)
36		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini: Spatial Calculus of Looping Sequences. Theor. Comput. Sci. 412(43): 5976-6001 (2011)
	2010
35		Paolo Milazzo, Mario de J. Pérez-Jiménez: Proceedings First Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology AMCA-POP 2010
34		Thomas Anung Basuki, Antonio Cerone, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Elisabetta Rossi: Modelling the Dynamics of an Aedes albopictus Population AMCA-POP 2010: 18-36
33		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini: Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings. Int. Conf. on Membrane Computing 2010: 103-118
32		Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini, Simone Tini: Aspects of multiscale modelling in a process algebra for biological systems MeCBIC 2010: 54-69
31		Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo: Dynamic Sync-Programs for Modular Verification of Biological Systems. NCMA 2010: 71-83
30		Roberto Barbuti, Giovanni A. Cignoni, Paolo Milazzo: A Model for Configuration Management of Open Software Systems CoRR abs/1011.5389: (2010)
29		Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo: Modular Verification of Interactive Systems with an Application to Biology. Electr. Notes Theor. Comput. Sci. 268: 61-75 (2010)
28		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Damas P. Gruska: A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security. Fundam. Inform. 102(1): 19-34 (2010)
27		Roberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina, Mariangiola Dezani-Ciancaglini, Paolo Milazzo: A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday. Fundam. Inform. 103(1-4): 1-29 (2010)
26		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini: Compositional semantics of spiking neural P systems. J. Log. Algebr. Program. 79(6): 304-316 (2010)
	2009
25		Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini: On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems COMPMOD 2009: 17-29
24		Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama: Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+. Ershov Memorial Conference 2009: 58-69
23		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama: A Process Calculus for Molecular Interaction Maps MeCBIC 2009: 35
22		Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena: Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates. RP 2009: 64-78
21		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei: Timed P Automata. Electr. Notes Theor. Comput. Sci. 227: 21-36 (2009)
20		Thomas Anung Basuki, Antonio Cerone, Paolo Milazzo: Translating Stochastic CLS into Maude. Electr. Notes Theor. Comput. Sci. 227: 37-58 (2009)
19		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini: Spatial Calculus of Looping Sequences. Electr. Notes Theor. Comput. Sci. 229(1): 21-39 (2009)
18		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini: P Systems with Transport and Diffusion Membrane Channels. Fundam. Inform. 93(1-3): 17-31 (2009)
17		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei: Timed P Automata. Fundam. Inform. 94(1): 1-19 (2009)
16		Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo: An intermediate language for the stochastic simulation of biological systems. Theor. Comput. Sci. 410(33-34): 3085-3109 (2009)
	2008
15		Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini: The Calculus of Looping Sequences. SFM 2008: 387-423
14		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)
13		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: Bisimulations in calculi modelling membranes. Formal Asp. Comput. 20(4-5): 351-377 (2008)
12		Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo Milazzo: Security in a Model for Long-running Transactions. Fundam. Inform. 85(1-4): 189-203 (2008)
11		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)
10		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)
9		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Paolo Tiberi, Angelo Troina: Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways. T. Comp. Sys. Biology 9: 86-113 (2008)
8		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		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		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		Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata. FMOODS 2006: 108-122
4		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: Bisimulation Congruences in the Calculus of Looping Sequences. ICTAC 2006: 93-107
3		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		Samuele Carpineti, Cosimo Laneve, Paolo Milazzo: BoPi - A Distributed Machine for Experimenting Web Services Technologies. ACSD 2005: 202-211
1		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] [9] [11] [13] [14] [15] [16] [17] [18] [19] [21] [22] [23] [24] [25] [26] [27] [28] [30] [32] [33] [34] [36] [37] [38] [39] [40] [41] [42]
2	Thomas Anung Basuki	[20] [34]
3	Diletta Cacciagrano (Diletta Romana Cacciagrano)	[41]
4	Giulio Caravagna	[14] [15] [16] [25] [32] [37]
5	Samuele Carpineti	[2]
6	Stefano Cataudella	[1]
7	Antonio Cerone	[20] [34]
8	Giovanni A. Cignoni	[30]
9	Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)	[27]
10	Peter Drábik	[29] [31]
11	Damas P. Gruska	[12] [28]
12	Cosimo Laneve	[2]
13	Ruggero Lanotte	[5] [10]
14	Daniela Lepri	[24]
15	Francesca Levi	[22] [40] [42]
16	Andrea Maggiolo-Schettini	[1] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [21] [23] [24] [25] [26] [27] [28] [29] [31] [32] [33] [34] [36] [37] [38] [39] [41]
17	Giovanni Pardini	[15] [19] [23] [24] [36] [38]
18	Mario J. Pérez-Jiménez (Mario de J. Pérez-Jiménez)	[35]
19	Aureliano Rama	[23] [24]
20	Elisabetta Rossi	[34]
21	Guido Scatena	[22] [40] [42]
22	Luca Tesei	[17] [21] [38] [41]
23	Paolo Tiberi	[9]
24	Simone Tini	[8] [11] [18] [26] [32] [33] [39]
25	Angelo Troina	[1] [3] [4] [5] [6] [9] [10] [13] [27]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page