The following pages link to Francesca Levi (Q264547):
Displaying 30 items.
- Investigating dynamic causalities in reaction systems (Q264548) (← links)
- An analysis for causal properties of membrane interactions (Q275996) (← links)
- Probabilistic model checking of biological systems with uncertain kinetic rates (Q764350) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- A compositional \(\mu\)-calculus proof system for statecharts processes (Q1285661) (← links)
- A symbolic semantics for abstract model checking (Q1595250) (← links)
- Generalized contexts for reaction systems: definition and study of dynamic causalities (Q1745347) (← links)
- On abstract interpretation of mobile ambients (Q1887169) (← links)
- An analysis for proving probabilistic termination of biological systems (Q1935818) (← links)
- Causal static analysis for brane calculi (Q2348028) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- (Q2766538) (← links)
- (Q3117552) (← links)
- Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates (Q3646252) (← links)
- (Q4217928) (← links)
- (Q4414383) (← links)
- Compositional Verification of Quantitative Properties of Statecharts (Q4529488) (← links)
- Specialized Predictor for Reaction Systems with Context Properties (Q4589193) (← links)
- (Q4778709) (← links)
- (Q4952304) (← links)
- (Q4954441) (← links)
- Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks (Q5164854) (← links)
- Controlling interference in ambients (Q5178864) (← links)
- Programming Languages and Systems (Q5308698) (← links)
- An Analysis for Proving Temporal Properties of Biological Systems (Q5385599) (← links)
- Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation (Q5404082) (← links)
- Programming Languages and Systems (Q5493399) (← links)
- A Global Occurrence Counting Analysis for Brane Calculi (Q5743592) (← links)
- Time domain analytical bounds to the homogenized viscous kernels of linear viscoelastic composites (Q6073385) (← links)
- Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems (Q6488369) (← links)
