Sfoglia per Autore
A formalism for the description of protein interaction dedicated to jerzy tiuryn on the occasion of his 60th birthday
2010-01-01 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Troina, A; DEZANI CIANCAGLINI, M; Milazzo, Paolo
Foreword
2011-01-01 Barbuti, Roberto; Franco, G; Paun, G.
A Testing Framework for P Systems
2011-01-01 Barbuti, Roberto; Cacciagrano, D. R.; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tesei, L.
Parallel Probabilistic Semantics for Multiset Rewriting
2011-01-01 Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, G.
Delay stochastic simulation of biological systems: A purely delayed approach
2011-01-01 Barbuti, Roberto; Caravagna, Giulio; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo
Computational Models for Population Dynamics: Two Case Studies
2011-01-01 Barbuti, Roberto; Carnevale, Giorgio; Milazzo, Paolo; Rama, Aureliano
DISPOSITIVO E PROCEDIMENTO DI LOCALIZZAZIONE IN PARTICOLARE DI SITI DI NIDIFICAZIONE E SIMILI
2011-01-01 Barbuti, Roberto; Anastasi, Giuseppe; Chessa, Stefano; Micheli, Alessio
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach
2011-01-01 Barbuti, Roberto; Caravagna, Giulio; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo
Spatial Calculus of Looping Sequences
2011-01-01 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, G.
Spatial P Systems
2011-01-01 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, G; Tesei, L.
An Overview of Operational Semantics in Membrane Computing
2011-01-01 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tini, S.
Population dynamics with a mixed type of sexual and asexual reproduction in a fluctuating environment
2012-01-01 Barbuti, Roberto; Mautner, S; Carnevale, Giorgio; Milazzo, Paolo; Rama, Aureliano; Sturmbauer, C.
Probabilistic model checking of biological systems with uncertain kinetic rates
2012-01-01 Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, G.
Modelling Biochemical Pathways with the Calculus of Looping Sequences
2012-01-01 Milazzo, Paolo; DEL CORSO, Antonella; MAGGIOLO SCHETTINI, Andrea; Mura, Umberto; Barbuti, Roberto
Fine-tuning anti-tumor immunotherapies via stochastic simulations
2012-01-01 Caravagna, Giulio; Barbuti, Roberto; D'Onofrio, Alberto
Tortoise@: a system for localizing tortoises during the eggs deposition phase
2012-01-01 Barbuti, Roberto; Chessa, Stefano; Micheli, Alessio; D., Pallini; Pucci, Rita; Anastasi, Giuseppe
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.
A Compositional Semantics of Reaction Systems with Restriction
2013-01-01 Giovanni, Pardini; Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Simone, Tini
The role of deleterious mutations in the stability of hybridogenetic water frog complexes
2014-01-01 Bove, Pasquale; Milazzo, Paolo; Barbuti, Roberto
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
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
Identification of nesting phase in tortoise populations by neural networks.
2014-01-01 Barbuti, Roberto; Chessa, Stefano; Micheli, Alessio; Pucci, Rita
Compositional semantics and behavioural equivalences for reaction systems with restriction
2014-01-01 Pardini, Giovanni; Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Simone, Tini
Systolic automata and p systems
2014-01-01 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, Giovanni; Tini, Simone
A mathematical model for assessing KRAS mutation effect on monoclonal antibody treatment of colorectal cancer
2015-01-01 Sameen, Sheema; Barbuti, Roberto; Milazzo, Paolo; Cerone, Antonio
Attributed probabilistic P systems and their application to the modelling of social interactions in primates
2015-01-01 Barbuti, Roberto; Bompadre, Alessandro; Bove, Pasquale; Milazzo, Paolo; Pardini, Giovanni
Minimal probabilistic P systems for modelling ecological systems
2015-01-01 Barbuti, Roberto; Bove, Pasquale; Milazzo, Paolo; Pardini, Giovanni
Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer
2016-01-01 Sameen, Sheema; Barbuti, Roberto; Milazzo, Paolo; Cerone, Antonio; DEL RE, Marzia; Danesi, Romano
Investigating dynamic causalities in reaction systems
2016-01-01 Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A formalism for the description of protein interaction dedicated to jerzy tiuryn on the occasion of his 60th birthday | 1-gen-2010 | Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Troina, A; DEZANI CIANCAGLINI, M; Milazzo, Paolo | |
| Foreword | 1-gen-2011 | Barbuti, Roberto; Franco, G; Paun, G. | |
| A Testing Framework for P Systems | 1-gen-2011 | Barbuti, Roberto; Cacciagrano, D. R.; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tesei, L. | |
| Parallel Probabilistic Semantics for Multiset Rewriting | 1-gen-2011 | Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, G. | |
| Delay stochastic simulation of biological systems: A purely delayed approach | 1-gen-2011 | Barbuti, Roberto; Caravagna, Giulio; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo | |
| Computational Models for Population Dynamics: Two Case Studies | 1-gen-2011 | Barbuti, Roberto; Carnevale, Giorgio; Milazzo, Paolo; Rama, Aureliano | |
| DISPOSITIVO E PROCEDIMENTO DI LOCALIZZAZIONE IN PARTICOLARE DI SITI DI NIDIFICAZIONE E SIMILI | 1-gen-2011 | Barbuti, Roberto; Anastasi, Giuseppe; Chessa, Stefano; Micheli, Alessio | |
| Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach | 1-gen-2011 | Barbuti, Roberto; Caravagna, Giulio; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo | |
| Spatial Calculus of Looping Sequences | 1-gen-2011 | Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, G. | |
| Spatial P Systems | 1-gen-2011 | Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, G; Tesei, L. | |
| An Overview of Operational Semantics in Membrane Computing | 1-gen-2011 | Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tini, S. | |
| Population dynamics with a mixed type of sexual and asexual reproduction in a fluctuating environment | 1-gen-2012 | Barbuti, Roberto; Mautner, S; Carnevale, Giorgio; Milazzo, Paolo; Rama, Aureliano; Sturmbauer, C. | |
| Probabilistic model checking of biological systems with uncertain kinetic rates | 1-gen-2012 | Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, G. | |
| Modelling Biochemical Pathways with the Calculus of Looping Sequences | 1-gen-2012 | Milazzo, Paolo; DEL CORSO, Antonella; MAGGIOLO SCHETTINI, Andrea; Mura, Umberto; Barbuti, Roberto | |
| Fine-tuning anti-tumor immunotherapies via stochastic simulations | 1-gen-2012 | Caravagna, Giulio; Barbuti, Roberto; D'Onofrio, Alberto | |
| Tortoise@: a system for localizing tortoises during the eggs deposition phase | 1-gen-2012 | Barbuti, Roberto; Chessa, Stefano; Micheli, Alessio; D., Pallini; Pucci, Rita; Anastasi, Giuseppe | |
| 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. | |
| A Compositional Semantics of Reaction Systems with Restriction | 1-gen-2013 | Giovanni, Pardini; Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Simone, Tini | |
| The role of deleterious mutations in the stability of hybridogenetic water frog complexes | 1-gen-2014 | Bove, Pasquale; Milazzo, Paolo; Barbuti, Roberto | |
| 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 | |
| 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 | |
| Identification of nesting phase in tortoise populations by neural networks. | 1-gen-2014 | Barbuti, Roberto; Chessa, Stefano; Micheli, Alessio; Pucci, Rita | |
| Compositional semantics and behavioural equivalences for reaction systems with restriction | 1-gen-2014 | Pardini, Giovanni; Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Simone, Tini | |
| Systolic automata and p systems | 1-gen-2014 | Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, Giovanni; Tini, Simone | |
| A mathematical model for assessing KRAS mutation effect on monoclonal antibody treatment of colorectal cancer | 1-gen-2015 | Sameen, Sheema; Barbuti, Roberto; Milazzo, Paolo; Cerone, Antonio | |
| Attributed probabilistic P systems and their application to the modelling of social interactions in primates | 1-gen-2015 | Barbuti, Roberto; Bompadre, Alessandro; Bove, Pasquale; Milazzo, Paolo; Pardini, Giovanni | |
| Minimal probabilistic P systems for modelling ecological systems | 1-gen-2015 | Barbuti, Roberto; Bove, Pasquale; Milazzo, Paolo; Pardini, Giovanni | |
| Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer | 1-gen-2016 | Sameen, Sheema; Barbuti, Roberto; Milazzo, Paolo; Cerone, Antonio; DEL RE, Marzia; Danesi, Romano | |
| Investigating dynamic causalities in reaction systems | 1-gen-2016 | Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile