14 citations · 42 across the 7 of their papers we have counts for
7 papers
Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models
Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
Reactions forming a pathway can be rewritten by making explicit the different molecular components involved in them. A molecular component represents a biological entity (e.g. a pr…
Towards modular verification of pathways: fairness and assumptions
Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo
Modular verification is a technique used to face the state explosion problem often encountered in the verification of properties of complex systems such as concurrent interactive s…
A Testing Framework for P Systems
Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini +2
Testing equivalence was originally defined by De Nicola and Hennessy in a process algebraic setting (CCS) with the aim of defining an equivalence relation between processes being l…
Aspects of multiscale modelling in a process algebra for biological systems
Roberto Barbuti, Giulio Caravagna, Paolo Milazzo +2
We propose a variant of the CCS process algebra with new features aiming at allowing multiscale modelling of biological systems. In the usual semantics of process algebras for mode…
Modelling the Dynamics of an Aedes albopictus Population
Thomas Anung Basuki, Antonio Cerone, Roberto Barbuti +3
We present a methodology for modelling population dynamics with formal means of computer science. This allows unambiguous description of systems and application of analysis tools s…
A Process Calculus for Molecular Interaction Maps
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo +2
We present the MIM calculus, a modeling formalism with a strong biological basis, which provides biologically-meaningful operators for representing the interaction capabilities of…