Francesca Levi

Available identifiers

zbMath Open levi.francescaDBLP05/5639WikidataQ108214677 ScholiaQ108214677MaRDI QIDQ264547

List of research outcomes

Publication	Date of Publication	Type
Time domain analytical bounds to the homogenized viscous kernels of linear viscoelastic composites	2023-09-15	Paper
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems	2023-04-13	Paper
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks	2021-11-15	Paper
Generalized contexts for reaction systems: definition and study of dynamic causalities	2018-04-17	Paper
Specialized Predictor for Reaction Systems with Context Properties	2017-11-09	Paper
An analysis for causal properties of membrane interactions	2016-04-26	Paper
Investigating dynamic causalities in reaction systems	2016-03-31	Paper
A Global Occurrence Counting Analysis for Brane Calculi	2016-02-05	Paper
Causal static analysis for brane calculi	2015-06-10	Paper
Controlling interference in ambients	2015-03-17	Paper
Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation	2014-03-21	Paper
An analysis for proving probabilistic termination of biological systems	2013-02-19	Paper
Probabilistic model checking of biological systems with uncertain kinetic rates	2012-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q3117552	2012-02-28	Paper
Abstract interpretation based verification of temporal properties for BioAmbients	2010-08-19	Paper
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates	2009-11-19	Paper
An Analysis for Proving Temporal Properties of Biological Systems	2008-05-06	Paper
Programming Languages and Systems	2007-09-28	Paper
Programming Languages and Systems	2006-10-20	Paper
A typed encoding of boxed into safe ambients	2006-05-26	Paper
On abstract interpretation of mobile ambients	2004-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4414383	2003-07-25	Paper
Compositional Verification of Quantitative Properties of Statecharts	2003-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4778709	2002-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q2766538	2002-07-08	Paper
A symbolic semantics for abstract model checking	2001-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4954441	2000-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q4952304	2000-05-09	Paper
A compositional \(\mu\)-calculus proof system for statecharts processes	1999-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q4217928	1998-11-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Francesca Levi