Intensional Negation in Constraint Logic Programs. - Paola Bruscoli; Francesca Levi; Giorgio Levi; Maria Chiara Meo (GULP, 1993)

Compilative Constructive Negation in Constraint Logic Programs. - Paola Bruscoli; Francesca Levi; Giorgio Levi; Maria Chiara Meo (CAAP, 1994)

A Process Language for Statecharts. - Francesca Levi (LOMAPS, 1996)

A Compositional µ-Calculus Proof System for Statecharts Processes. - Francesca Levi (Theor. Comput. Sci., 1999)

Safe Ambients: Control Flow Analysis and Security. - Pierpaolo Degano; Francesca Levi; Chiara Bodei (ASIAN, 2000)

Controlling Interference in Ambients. - Francesca Levi; Davide Sangiorgi (POPL, 2000)

An Abstract Interpretation Framework for Analysing Mobile Ambients. - Francesca Levi; Sergio Maffeis (SAS, 2001)

Compositional Verification of Quantitative Properties of Statecharts. - Francesca Levi (J. Log. Comput., 2001)

A symbolic semantics for abstract model checking. - Francesca Levi (Sci. Comput. Program., 2001)

Types for Evolving Communication in Safe Ambients. - Francesca Levi (VMCAI, 2003)

Mobile safe ambients. - Francesca Levi; Davide Sangiorgi (ACM Trans. Program. Lang. Syst., 2003)

A Control Flow Analysis for Safe and Boxed Ambients. - Francesca Levi; Chiara Bodei (ESOP, 2004)

On abstract interpretation of Mobile Ambients. - Francesca Levi; Sergio Maffeis (Inf. Comput., 2004)

A New Occurrence Counting Analysis for BioAmbients. - Roberta Gori; Francesca Levi (APLAS, 2005)

An Analysis for Proving Temporal Properties of Biological Systems. - Roberta Gori; Francesca Levi (APLAS, 2006)

A typed encoding of boxed into safe ambients. - Francesca Levi (Acta Informatica, 2006)

Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation. - Alessio Coletta; Roberta Gori; Francesca Levi (FBTC@ICALP, 2008)

Abstract Interpretation for Probabilistic Termination of Biological Systems - Roberta Gori; Francesca Levi (MeCBIC, 2009)

Abstract interpretation based verification of temporal properties for BioAmbients. - Roberta Gori; Francesca Levi (Inf. Comput., 2010)

Maximally Parallel Probabilistic Semantics for Multiset Rewriting. - Roberto Barbuti; Francesca Levi; Paolo Milazzo; Guido Scatena (Fundam. Informaticae, 2011)

Probabilistic model checking of biological systems with uncertain kinetic rates. - Roberto Barbuti; Francesca Levi; Paolo Milazzo; Guido Scatena (Theor. Comput. Sci., 2012)

An Analysis for Causal Properties of Membrane Interactions. - Chiara Bodei; Roberta Gori; Francesca Levi (CS2Bio, 2013)

An analysis for proving probabilistic termination of biological systems. - Roberta Gori; Francesca Levi (Theor. Comput. Sci., 2013)

A Global Occurrence Counting Analysis for Brane Calculi. - Chiara Bodei; Linda Brodo; Roberta Gori; Diana Hermith; Francesca Levi (LOPSTR, 2015)

Causal static analysis for Brane Calculi. - Chiara Bodei; Roberta Gori; Francesca Levi (Theor. Comput. Sci., 2015)

Specialized Predictor for Reaction Systems with Context Properties. - Roberto Barbuti; Roberta Gori; Francesca Levi; Paolo Milazzo (Fundam. Informaticae, 2016)

Investigating dynamic causalities in reaction systems. - Roberto Barbuti; Roberta Gori; Francesca Levi; Paolo Milazzo (Theor. Comput. Sci., 2016)

A static analysis for Brane Calculi providing global occurrence counting information. - Chiara Bodei; Linda Brodo; Roberta Gori; Francesca Levi; Antonio Bernini; Diana Hermith (Theor. Comput. Sci., 2017)

Simulating Gene Regulatory Networks using Reaction Systems. - Roberto Barbuti; Pasquale Bove; Roberta Gori; Francesca Levi; Paolo Milazzo (CS&P, 2018)

Generalized contexts for reaction systems: definition and study of dynamic causalities. - Roberto Barbuti; Roberta Gori; Francesca Levi; Paolo Milazzo (Acta Informatica, 2018)

Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Roberta Gori; Francesca Levi; Paolo Milazzo (TPNC, 2021)

Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks. - Roberto Barbuti; Pasquale Bove; Roberta Gori; Damas P. Gruska; Francesca Levi; Paolo Milazzo (Fundam. Informaticae, 2021)

Quantitative extensions of reaction systems based on SOS semantics. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Roberta Gori; Francesca Levi; Paolo Milazzo (Neural Comput. Appl., 2023)