- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j11 |      | Roberta Gori, Francesca Levi: An analysis for proving probabilistic termination of biological systems. Theor. Comput. Sci. 471: 27-73 (2013) |
| 2012 | ||
| j10 | | Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena: Probabilistic model checking of biological systems with uncertain kinetic rates. Theor. Comput. Sci. 419: 2-16 (2012) |
| 2011 | ||
| j9 | | Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena: Maximally Parallel Probabilistic Semantics for Multiset Rewriting. Fundam. Inform. 112(1): 1-17 (2011) |
| 2010 | ||
| j8 | | Roberta Gori, Francesca Levi: Abstract interpretation based verification of temporal properties for BioAmbients. Inf. Comput. 208(8): 869-921 (2010) |
| 2009 | ||
| j7 | | Alessio Coletta, Roberta Gori, Francesca Levi: Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation. Electr. Notes Theor. Comput. Sci. 229(1): 165-182 (2009) |
| c13 | | Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena: Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates. RP 2009: 64-78 |
| c12 | | Roberta Gori, Francesca Levi: Abstract Interpretation for Probabilistic Termination of Biological Systems. MeCBIC 2009: 137-153 |
| 2006 | ||
| j6 | | |
| c11 | | Roberta Gori, Francesca Levi: An Analysis for Proving Temporal Properties of Biological Systems. APLAS 2006: 234-252 |
| 2005 | ||
| c10 | | Roberta Gori, Francesca Levi: A New Occurrence Counting Analysis for BioAmbients. APLAS 2005: 381-400 |
| 2004 | ||
| j5 | | Francesca Levi, Sergio Maffeis: On abstract interpretation of Mobile Ambients. Inf. Comput. 188(2): 179-240 (2004) |
| c9 | | Francesca Levi, Chiara Bodei: A Control Flow Analysis for Safe and Boxed Ambients. ESOP 2004: 188-203 |
| 2003 | ||
| j4 | | Francesca Levi, Davide Sangiorgi: Mobile safe ambients. ACM Trans. Program. Lang. Syst. 25(1): 1-69 (2003) |
| c8 | | |
| 2001 | ||
| j3 | | Francesca Levi: Compositional Verification of Quantitative Properties of Statecharts. J. Log. Comput. 11(6): 829-878 (2001) |
| j2 | | Francesca Levi: A symbolic semantics for abstract model checking. Sci. Comput. Program. 39(1): 93-123 (2001) |
| c7 | | Francesca Levi, Sergio Maffeis: An Abstract Interpretation Framework for Analysing Mobile Ambients. SAS 2001: 395-411 |
| 2000 | ||
| c6 | | Pierpaolo Degano, Francesca Levi, Chiara Bodei: Safe Ambients: Control Flow Analysis and Security. ASIAN 2000: 199-214 |
| c5 | | |
| 1999 | ||
| j1 | | Francesca Levi: A Compositional µ-Calculus Proof System for Statecharts Processes. Theor. Comput. Sci. 216(1-2): 271-310 (1999) |
| 1998 | ||
| c4 | | |
| 1996 | ||
| c3 | | |
| 1994 | ||
| c2 | | Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo: Compilative Constructive Negation in Constraint Logic Programs. CAAP 1994: 52-67 |
| 1993 | ||
| c1 |  | Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo: Intensional Negation in Constraint Logic Programs. GULP 1993: 359-374 |
| 1 | Roberto Barbuti | |
| 2 | Chiara Bodei | |
| 3 | Paola Bruscoli | |
| 4 | Alessio Coletta | |
| 5 | Pierpaolo Degano | |
| 6 | Roberta Gori | |
| 7 | Giorgio Levi | |
| 8 | Sergio Maffeis | |
| 9 | Maria Chiara Meo | |
| 10 | Paolo Milazzo | |
| 11 | Davide Sangiorgi | |
| 12 | Guido Scatena |
Data released under the ODC-BY 1.0 license — See also our legal information page