Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Francesco Tapparo" ( http://dblp.L3S.de/Authors/Francesco_Tapparo )

  Author page on DBLP  Author page in RDF  Community of Francesco Tapparo in ASPL-2

Publication years (Num. hits)
2002-2009 (17) 2010-2011 (2)
Publication types (Num. hits)
article(9) inproceedings(10)
Venues (Conferences, Journals, ...)
CoRR(4) Inf. Comput.(2) VMCAI(2) ACSD(1) APLAS(1) ATVA(1) CONCUR(1) ESOP(1) Fundam. Inform.(1) IEEE Trans. Knowl. Data Eng.(1) J. Log. Comput.(1) LICS(1) SAS(1) TACAS(1)
Authors
Francesco Tapparo(19) Francesco Ranzato(18) Silvia Crafa(2) Alessandro Cimatti(1) Lorenzo De Nardo(1) Marco Bozzano(1) Olivia Rossi-Doria(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 19 publication records. Showing 19 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Silvia Crafa, Francesco Ranzato, Francesco Tapparo Saving Space in a Time Efficient Simulation Algorithm. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo An efficient simulation algorithm based on abstract interpretation. Search on Bibsonomy Inf. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Lorenzo De Nardo, Francesco Ranzato, Francesco Tapparo The Subgraph Similarity Problem. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo Computing Stuttering Simulations Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo Computing Stuttering Simulations. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Silvia Crafa, Francesco Ranzato, Francesco Tapparo Saving Space in a Time Efficient Simulation Algorithm. Search on Bibsonomy ACSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo Generalizing the Paige-Tarjan algorithm by abstract interpretation. Search on Bibsonomy Inf. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo A Forward-Backward Abstraction Refinement Algorithm. Search on Bibsonomy VMCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo Generalized Strong Preservation by Abstract Interpretation. Search on Bibsonomy J. Log. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo An efficient simulation equivalence algorithm based on abstract interpretation Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Francesco Tapparo Symbolic Fault Tree Analysis for Reactive Systems. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo A New Efficient Simulation Equivalence Algorithm. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation. Search on Bibsonomy VMCAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo An Abstract Interpretation Perspective on Linear vs. Branching Time. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo Generalized Strong Preservation by Abstract Interpretation Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo Strong Preservation as Completeness in Abstract Interpretation. Search on Bibsonomy ESOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo Making Abstract Model Checking Strongly Preserving. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #19 of 19 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.