# Francesca Levi

According to our database

Collaborative distances:

^{1}, Francesca Levi authored at least 30 papers between 1993 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Generalized contexts for reaction systems: definition and study of dynamic causalities.

Acta Inf., 2018

Simulating Gene Regulatory Networks using Reaction Systems.

Proceedings of the 27th International Workshop on Concurrency, 2018

2017

A static analysis for Brane Calculi providing global occurrence counting information.

Theor. Comput. Sci., 2017

2016

Investigating dynamic causalities in reaction systems.

Theor. Comput. Sci., 2016

2015

Causal static analysis for Brane Calculi.

Theor. Comput. Sci., 2015

A Global Occurrence Counting Analysis for Brane Calculi.

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

Specialized Predictor for Reaction Systems with Context Properties.

Proceedings of the 24th International Workshop on Concurrency, 2015

2013

An analysis for proving probabilistic termination of biological systems.

Theor. Comput. Sci., 2013

An Analysis for Causal Properties of Membrane Interactions.

Electr. Notes Theor. Comput. Sci., 2013

2011

Maximally Parallel Probabilistic Semantics for Multiset Rewriting.

Fundam. Inform., 2011

2010

Abstract interpretation based verification of temporal properties for BioAmbients.

Inf. Comput., 2010

2009

Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation.

Electr. Notes Theor. Comput. Sci., 2009

Abstract Interpretation for Probabilistic Termination of Biological Systems

Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates.

Proceedings of the Reachability Problems, 3rd International Workshop, 2009

2006

A typed encoding of boxed into safe ambients.

Acta Inf., 2006

An Analysis for Proving Temporal Properties of Biological Systems.

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

A New Occurrence Counting Analysis for BioAmbients.

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004

On abstract interpretation of Mobile Ambients.

Inf. Comput., 2004

A Control Flow Analysis for Safe and Boxed Ambients.

Proceedings of the Programming Languages and Systems, 2004

2003

Mobile safe ambients.

ACM Trans. Program. Lang. Syst., 2003

Types for Evolving Communication in Safe Ambients.

Proceedings of the Verification, 2003

2001

Compositional Verification of Quantitative Properties of Statecharts.

J. Log. Comput., 2001

An Abstract Interpretation Framework for Analysing Mobile Ambients.

Proceedings of the Static Analysis, 8th International Symposium, 2001

2000

Controlling Interference in Ambients.

Proceedings of the POPL 2000, 2000

Safe Ambients: Control Flow Analysis and Security.

Proceedings of the Advances in Computing Science, 2000

1999

A Compositional µ-Calculus Proof System for Statecharts Processes.

Theor. Comput. Sci., 1999

1998

A Symbolic Semantics for Abstract Model Checking.

Proceedings of the Static Analysis, 5th International Symposium, 1998

1996

A Process Language for Statecharts.

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

1994

Compilative Constructive Negation in Constraint Logic Programs.

Proceedings of the Trees in Algebra and Programming, 1994

1993

Intensional Negation in Constraint Logic Programs.

Proceedings of the 8th Italian Conference on Logic Programming, 1993