Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Francesca Levi" ( http://dblp.L3S.de/Authors/Francesca_Levi )

  Author page on DBLP  Author page in RDF  Community of Francesca Levi in ASPL-2

Publication years (Num. hits)
1993-2005 (15) 2006-2012 (8)
Publication types (Num. hits)
article(10) inproceedings(13)
Venues (Conferences, Journals, ...)
APLAS(2) Inf. Comput.(2) SAS(2) Theor. Comput. Sci.(2) ACM Trans. Program. Lang. Syst...(1) Acta Inf.(1) ASIAN(1) CAAP(1) Electr. Notes Theor. Comput. S...(1) ESOP(1) Fundam. Inform.(1) GULP(1) J. Log. Comput.(1) LOMAPS(1) MeCBIC(1) POPL(1) More (+10 of total 19)
Authors
Francesca Levi(23) Roberta Gori(5) Guido Scatena(3) Paolo Milazzo(3) Roberto Barbuti(3) Chiara Bodei(2) Davide Sangiorgi(2) Giorgio Levi(2) Maria Chiara Meo(2) Paola Bruscoli(2) Sergio Maffeis(2) Alessio Coletta(1) Pierpaolo Degano(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 8 keywords
Results
Found 23 publication records. Showing 23 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena Probabilistic model checking of biological systems with uncertain kinetic rates. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena Maximally Parallel Probabilistic Semantics for Multiset Rewriting. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roberta Gori, Francesca Levi Abstract interpretation based verification of temporal properties for BioAmbients. Search on Bibsonomy Inf. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessio Coletta, Roberta Gori, Francesca Levi Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Roberta Gori, Francesca Levi Abstract Interpretation for Probabilistic Termination of Biological Systems Search on Bibsonomy MeCBIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates. Search on Bibsonomy RP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF uncertain kinetic rates, interval Markov chains, abstract interpretation, systems biology, probabilistic model checking
1Francesca Levi A typed encoding of boxed into safe ambients. Search on Bibsonomy Acta Inf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Roberta Gori, Francesca Levi An Analysis for Proving Temporal Properties of Biological Systems. Search on Bibsonomy APLAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Roberta Gori, Francesca Levi A New Occurrence Counting Analysis for BioAmbients. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Mobile Ambients and BioAmbients calculus, static analysis, abstract interpretation
1Francesca Levi, Sergio Maffeis On abstract interpretation of Mobile Ambients. Search on Bibsonomy Inf. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Francesca Levi, Chiara Bodei A Control Flow Analysis for Safe and Boxed Ambients. Search on Bibsonomy ESOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Francesca Levi, Davide Sangiorgi Mobile safe ambients. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF behavioral equivalences, Mobility, interferences
1Francesca Levi Types for Evolving Communication in Safe Ambients. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Francesca Levi A symbolic semantics for abstract model checking. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Francesca Levi Compositional Verification of Quantitative Properties of Statecharts. Search on Bibsonomy J. Log. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Francesca Levi, Sergio Maffeis An Abstract Interpretation Framework for Analysing Mobile Ambients. Search on Bibsonomy SAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Francesca Levi, Davide Sangiorgi Controlling Interference in Ambients. Search on Bibsonomy POPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Pierpaolo Degano, Francesca Levi, Chiara Bodei Safe Ambients: Control Flow Analysis and Security. Search on Bibsonomy ASIAN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Francesca Levi A Compositional ยต-Calculus Proof System for Statecharts Processes. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Francesca Levi A Symbolic Semantics for Abstract Model Checking. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Model checking, abstract interpretation, ?-calculus
1Francesca Levi A Process Language for Statecharts. Search on Bibsonomy LOMAPS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo Compilative Constructive Negation in Constraint Logic Programs. Search on Bibsonomy CAAP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo Intensional Negation in Constraint Logic Programs. Search on Bibsonomy GULP The full citation details ... 1993 DBLP  BibTeX  RDF
Displaying result #1 - #23 of 23 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.