( en | de | ru )

 

Disambiguation of "Levi, Francesca"

Author of the publication

copydeleteadd this publication to your clipboard
Specialized Predictor for Reaction Systems with Context Properties.

, , , and . Fundam. Informaticae, 147 (2-3): 173-191 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Paul Levi

Thomas Levi

Idan Levi

Paul Levi

Rudolf Levi

 

Other publications of authors with the same name

Types for Evolving Communication in Safe Ambients.. VMCAI, volume 2575 of Lecture Notes in Computer Science, page 102-115. Springer, (2003)Probabilistic model checking of biological systems with uncertain kinetic rates., , , and . Theor. Comput. Sci., (2012)Compositional Verification of Quantitative Properties of Statecharts.. J. Log. Comput., 11 (6): 829-878 (2001)A process language for statecharts. (1997)A New Occurrence Counting Analysis for BioAmbients., and . APLAS, volume 3780 of Lecture Notes in Computer Science, page 381-400. Springer, (2005)A Process Language for Statecharts.. LOMAPS, volume 1192 of Lecture Notes in Computer Science, page 388-403. Springer, (1996)Maximally Parallel Probabilistic Semantics for Multiset Rewriting., , , and . Fundam. Informaticae, 112 (1): 1-17 (2011)A Control Flow Analysis for Safe and Boxed Ambients., and . ESOP, volume 2986 of Lecture Notes in Computer Science, page 188-203. Springer, (2004)Abstract interpretation based verification of temporal properties for BioAmbients., and . Inf. Comput., 208 (8): 869-921 (2010)A Compositional µ-Calculus Proof System for Statecharts Processes.. Theor. Comput. Sci., 216 (1-2): 271-310 (1999)