Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Paolo Milazzo
2010 – today
- 2013
[c16]Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini: A Compositional Semantics of Reaction Systems with Restriction. CiE 2013: 330-339- [i3]Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini: Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models. CoRR abs/1309.7689 (2013)
- 2012
- [j28]Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo: On Conditions for Modular Verification in Systems of Synchronising Components. Fundam. Inform. 120(3-4): 259-274 (2012)
- [j27]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)
- [j26]Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini: Foundational aspects of multiscale modeling of biological systems with process algebras. Theor. Comput. Sci. 431: 96-116 (2012)
- [c15]Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo: Towards modular verification of pathways: fairness and assumptions. MeCBIC 2012: 63-81
- 2011
- [j25]Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo: Modular Verification of Interactive Systems with an Application to Biology. Sci. Ann. Comp. Sci. 21(1): 39-72 (2011)
- [j24]Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena: Maximally Parallel Probabilistic Semantics for Multiset Rewriting. Fundam. Inform. 112(1): 1-17 (2011)
- [j23]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)
- [j22]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei: Spatial P systems. Natural Computing 10(1): 3-16 (2011)
- [j21]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini: Spatial Calculus of Looping Sequences. Theor. Comput. Sci. 412(43): 5976-6001 (2011)
- [j20]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)
- [i2]Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei: A Testing Framework for P Systems. CoRR abs/1108.3424 (2011)
- 2010
- [j19]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)
- [j18]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)
- [j17]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)
- [j16]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)
- [c14]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
- [c13]Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo: Dynamic Sync-Programs for Modular Verification of Biological Systems. NCMA 2010: 71-83
- [c12]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
- [c11]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
- [e1]Paolo Milazzo, Mario de J. Pérez-Jiménez (Eds.): Proceedings First Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology. EPTCS 33, 2010
- [i1]Roberto Barbuti, Giovanni A. Cignoni, Paolo Milazzo: A Model for Configuration Management of Open Software Systems. CoRR abs/1011.5389 (2010)
2000 – 2009
- 2009
- [j15]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei: Timed P Automata. Electr. Notes Theor. Comput. Sci. 227: 21-36 (2009)
- [j14]Thomas Anung Basuki, Antonio Cerone, Paolo Milazzo: Translating Stochastic CLS into Maude. Electr. Notes Theor. Comput. Sci. 227: 37-58 (2009)
- [j13]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini: Spatial Calculus of Looping Sequences. Electr. Notes Theor. Comput. Sci. 229(1): 21-39 (2009)
- [j12]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)
- [j11]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei: Timed P Automata. Fundam. Inform. 94(1): 1-19 (2009)
- [j10]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)
- [c10]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
- [c9]Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena: Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates. RP 2009: 64-78
- [c8]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
- [c7]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama: A Process Calculus for Molecular Interaction Maps. MeCBIC 2009: 35
- 2008
- [j9]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)
- [j8]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: Bisimulations in calculi modelling membranes. Formal Asp. Comput. 20(4-5): 351-377 (2008)
- [j7]Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo Milazzo: Security in a Model for Long-running Transactions. Fundam. Inform. 85(1-4): 189-203 (2008)
- [j6]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)
- [j5]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)
- [j4]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)
- [j3]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)
- [c6]Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini: The Calculus of Looping Sequences. SFM 2008: 387-423
- 2007
- [c5]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
- [c4]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
- [j2]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)
- [c3]Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata. FMOODS 2006: 108-122
- [c2]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: Bisimulation Congruences in the Calculus of Looping Sequences. ICTAC 2006: 93-107
- 2005
- [j1]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)
- [c1]Samuele Carpineti, Cosimo Laneve, Paolo Milazzo: BoPi - A Distributed Machine for Experimenting Web Services Technologies. ACSD 2005: 202-211
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17 21:25 CEST by the dblp team