- CSB - MetaPress - Google - Bing - Yahoo
 | 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) |
| 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 |
Colors in the list of coauthors
Last update Sun May 19 12:42:52 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page