LEVI, FRANCESCA Statistiche
LEVI, FRANCESCA
DIPARTIMENTO DI INFORMATICA
Quantitative extensions of reaction systems based on SOS semantics
2023-01-01 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks
2021-01-01 Barbuti, R.; Bove, P.; Gori, R.; Gruska, D.; Levi, F.; Milazzo, P.
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems
2021-01-01 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
Generalized contexts for reaction systems: definition and study of dynamic causalities
2018-01-01 Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
Simulating gene regulatory networks using reaction systems
2018-01-01 Barbuti, Roberto; Bove, Pasquale; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
A static analysis for Brane Calculi providing global occurrence counting information
2017-01-01 Bodei, Chiara; Brodo, Linda; Gori, Roberta; Levi, Francesca; Bernini, Andrea; Hermith, Diana
Investigating dynamic causalities in reaction systems
2016-01-01 Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
A Global Occurrence Counting Analysis for Brane Calculi
2015-01-01 Bodei, Chiara; Brodo, Linda; Gori, Roberta; Hermith, Diana; Levi, Francesca
Causal static analysis for Brane Calculi
2015-01-01 Bodei, Chiara; Gori, Roberta; Levi, Francesca
Specialized Predictor for Reaction Systems with Context Properties
2015-01-01 Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
Specialized Predictor for Reaction Systems with Context Properties
2015-01-01 Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
An Analysis for Causal Properties of Membrane Interactions
2013-01-01 Bodei, Chiara; Gori, Roberta; Levi, Francesca
An Analysis for Proving Probabilistic Termination of Biological Systems
2013-01-01 Gori, Roberta; Levi, Francesca
Probabilistic model checking of biological systems with uncertain kinetic rates
2012-01-01 Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, G.
Parallel Probabilistic Semantics for Multiset Rewriting
2011-01-01 Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, G.
Abstract interpretation based verification of temporal properties for BioAmbients
2010-01-01 Gori, Roberta; Levi, Francesca
Abstract Interpretation for Probabilistic Termination of Biological Systems
2009-01-01 Gori, Roberta; Levi, Francesca
Approximating Probabilistic Behaviours of Biological Systems using Abstract Interpretation
2009-01-01 Coletta, A; Gori, Roberta; Levi, Francesca
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
2009-01-01 Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, G.
A typed encoding of boxed into safe ambients
2006-01-01 Levi, Francesca
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Quantitative extensions of reaction systems based on SOS semantics | 1-gen-2023 | Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo | |
| Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks | 1-gen-2021 | Barbuti, R.; Bove, P.; Gori, R.; Gruska, D.; Levi, F.; Milazzo, P. | |
| Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems | 1-gen-2021 | Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo | |
| Generalized contexts for reaction systems: definition and study of dynamic causalities | 1-gen-2018 | Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo | |
| Simulating gene regulatory networks using reaction systems | 1-gen-2018 | Barbuti, Roberto; Bove, Pasquale; Gori, Roberta; Levi, Francesca; Milazzo, Paolo | |
| A static analysis for Brane Calculi providing global occurrence counting information | 1-gen-2017 | Bodei, Chiara; Brodo, Linda; Gori, Roberta; Levi, Francesca; Bernini, Andrea; Hermith, Diana | |
| Investigating dynamic causalities in reaction systems | 1-gen-2016 | Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo | |
| A Global Occurrence Counting Analysis for Brane Calculi | 1-gen-2015 | Bodei, Chiara; Brodo, Linda; Gori, Roberta; Hermith, Diana; Levi, Francesca | |
| Causal static analysis for Brane Calculi | 1-gen-2015 | Bodei, Chiara; Gori, Roberta; Levi, Francesca | |
| Specialized Predictor for Reaction Systems with Context Properties | 1-gen-2015 | Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo | |
| Specialized Predictor for Reaction Systems with Context Properties | 1-gen-2015 | Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo | |
| An Analysis for Causal Properties of Membrane Interactions | 1-gen-2013 | Bodei, Chiara; Gori, Roberta; Levi, Francesca | |
| An Analysis for Proving Probabilistic Termination of Biological Systems | 1-gen-2013 | Gori, Roberta; Levi, Francesca | |
| Probabilistic model checking of biological systems with uncertain kinetic rates | 1-gen-2012 | Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, G. | |
| Parallel Probabilistic Semantics for Multiset Rewriting | 1-gen-2011 | Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, G. | |
| Abstract interpretation based verification of temporal properties for BioAmbients | 1-gen-2010 | Gori, Roberta; Levi, Francesca | |
| Abstract Interpretation for Probabilistic Termination of Biological Systems | 1-gen-2009 | Gori, Roberta; Levi, Francesca | |
| Approximating Probabilistic Behaviours of Biological Systems using Abstract Interpretation | 1-gen-2009 | Coletta, A; Gori, Roberta; Levi, Francesca | |
| Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates | 1-gen-2009 | Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, G. | |
| A typed encoding of boxed into safe ambients | 1-gen-2006 | Levi, Francesca |