MAGGIOLO SCHETTINI, ANDREA Statistiche
MAGGIOLO SCHETTINI, ANDREA
Component identification in biochemical pathways
2015-01-01 Pardini, Giovanni; Milazzo, Paolo; MAGGIOLO SCHETTINI, Andrea
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods
2014-01-01 Barbuti, Roberto; Bove, Pasquale; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, Giovanni
Compositional semantics and behavioural equivalences for reaction systems with restriction
2014-01-01 Pardini, Giovanni; Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Simone, Tini
Identification of components in biochemical pathways: Extensive application to SBML models
2014-01-01 Pardini, Giovanni; Milazzo, Paolo; MAGGIOLO SCHETTINI, Andrea
Modelling Population Dynamics Using Grid Systems
2014-01-01 Barbuti, Roberto; Antonio, Cerone; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Setiawan, Suryana
Simulation of Spatial P system models
2014-01-01 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Giovanni, Pardini
Systolic automata and p systems
2014-01-01 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, Giovanni; Tini, Simone
A Compositional Semantics of Reaction Systems with Restriction
2013-01-01 Giovanni, Pardini; Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Simone, Tini
An Algorithm for the Identification of Components in Biochemical Pathways
2013-01-01 Giovanni, Pardini; Milazzo, Paolo; MAGGIOLO SCHETTINI, Andrea
Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models
2013-01-01 MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Giovanni, Pardini
Modular Verification of Qualitative Pathway Models with Fairness
2013-01-01 Peter, Drabik; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Giovanni, Pardini
Foundational aspects of multiscale modeling of biological systems with process algebras
2012-01-01 Barbuti, Roberto; Caravagna, Giulio; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tini, S.
Modelling Biochemical Pathways with the Calculus of Looping Sequences
2012-01-01 Milazzo, Paolo; DEL CORSO, Antonella; MAGGIOLO SCHETTINI, Andrea; Mura, Umberto; Barbuti, Roberto
On Conditions for Modular Verification in Systems of Synchronising Components
2012-01-01 Drabik, P; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo
Towards Modular Verification of Pathways: Fairness and Assumptions
2012-01-01 Drabik, P; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo
A Testing Framework for P Systems
2011-01-01 Barbuti, Roberto; Cacciagrano, D. R.; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tesei, L.
An Overview of Operational Semantics in Membrane Computing
2011-01-01 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tini, S.
Delay stochastic simulation of biological systems: A purely delayed approach
2011-01-01 Barbuti, Roberto; Caravagna, Giulio; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach
2011-01-01 Barbuti, Roberto; Caravagna, Giulio; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings
2011-01-01 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tini, S.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Component identification in biochemical pathways | 1-gen-2015 | Pardini, Giovanni; Milazzo, Paolo; MAGGIOLO SCHETTINI, Andrea | |
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods | 1-gen-2014 | Barbuti, Roberto; Bove, Pasquale; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, Giovanni | |
Compositional semantics and behavioural equivalences for reaction systems with restriction | 1-gen-2014 | Pardini, Giovanni; Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Simone, Tini | |
Identification of components in biochemical pathways: Extensive application to SBML models | 1-gen-2014 | Pardini, Giovanni; Milazzo, Paolo; MAGGIOLO SCHETTINI, Andrea | |
Modelling Population Dynamics Using Grid Systems | 1-gen-2014 | Barbuti, Roberto; Antonio, Cerone; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Setiawan, Suryana | |
Simulation of Spatial P system models | 1-gen-2014 | Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Giovanni, Pardini | |
Systolic automata and p systems | 1-gen-2014 | Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, Giovanni; Tini, Simone | |
A Compositional Semantics of Reaction Systems with Restriction | 1-gen-2013 | Giovanni, Pardini; Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Simone, Tini | |
An Algorithm for the Identification of Components in Biochemical Pathways | 1-gen-2013 | Giovanni, Pardini; Milazzo, Paolo; MAGGIOLO SCHETTINI, Andrea | |
Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models | 1-gen-2013 | MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Giovanni, Pardini | |
Modular Verification of Qualitative Pathway Models with Fairness | 1-gen-2013 | Peter, Drabik; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Giovanni, Pardini | |
Foundational aspects of multiscale modeling of biological systems with process algebras | 1-gen-2012 | Barbuti, Roberto; Caravagna, Giulio; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tini, S. | |
Modelling Biochemical Pathways with the Calculus of Looping Sequences | 1-gen-2012 | Milazzo, Paolo; DEL CORSO, Antonella; MAGGIOLO SCHETTINI, Andrea; Mura, Umberto; Barbuti, Roberto | |
On Conditions for Modular Verification in Systems of Synchronising Components | 1-gen-2012 | Drabik, P; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo | |
Towards Modular Verification of Pathways: Fairness and Assumptions | 1-gen-2012 | Drabik, P; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo | |
A Testing Framework for P Systems | 1-gen-2011 | Barbuti, Roberto; Cacciagrano, D. R.; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tesei, L. | |
An Overview of Operational Semantics in Membrane Computing | 1-gen-2011 | Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tini, S. | |
Delay stochastic simulation of biological systems: A purely delayed approach | 1-gen-2011 | Barbuti, Roberto; Caravagna, Giulio; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo | |
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach | 1-gen-2011 | Barbuti, Roberto; Caravagna, Giulio; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo | |
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings | 1-gen-2011 | Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tini, S. |