14 citations · 42 across the 7 of their papers we have counts for
3 papers · 1 filter
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…
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…