( en | de | ru )

 

Disambiguation of "Tapparo, Francesco"

Author of the publication

copydeleteadd this publication to your clipboard
Saving Space in a Time Efficient Simulation Algorithm.

, , and . Fundam. Informaticae, 108 (1-2): 23-42 (2011)

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.

Ottaviano Tapparo

Francesco Bettella

Protein secondary structure prediction using optimized scoring functions: a comparative statistical method. FU Berlin, (2009)

Francesco Solimena

Francesco Pinosa

Francesco Knechtli

 

Other publications of authors with the same name

Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation, and . CoRR, (2006)An Abstract Interpretation Perspective on Linear vs. Branching Time., and . APLAS, volume 3780 of Lecture Notes in Computer Science, page 69-85. Springer, (2005)The Subgraph Similarity Problem., , and . IEEE Trans. Knowl. Data Eng., 21 (5): 748-749 (2009)Generalizing the Paige-Tarjan algorithm by abstract interpretation., and . Inf. Comput., 206 (5): 620-651 (2008)Generalized Strong Preservation by Abstract Interpretation, and . CoRR, (2004)Saving Space in a Time Efficient Simulation Algorithm., , and . Fundam. Informaticae, 108 (1-2): 23-42 (2011)Making Abstract Model Checking Strongly Preserving., and . SAS, volume 2477 of Lecture Notes in Computer Science, page 411-427. Springer, (2002)Generalized Strong Preservation by Abstract Interpretation., and . J. Log. Comput., 17 (1): 157-197 (2007)Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation., and . VMCAI, volume 3855 of Lecture Notes in Computer Science, page 332-347. Springer, (2006)Computing Stuttering Simulations., and . CONCUR, volume 5710 of Lecture Notes in Computer Science, page 542-556. Springer, (2009)