LEVI, FRANCESCA Statistiche

LEVI, FRANCESCA  

DIPARTIMENTO DI INFORMATICA  

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