CINECA IRIS Institutional Research Information System

MAGGIOLO SCHETTINI, ANDREA Statistiche

MAGGIOLO SCHETTINI, ANDREA  

Mostra records
Risultati 1 - 20 di 94 (tempo di esecuzione: 0.034 secondi).
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.