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

This page was built for person: Francesca Levi