PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Camurati, Paolo"

Author of the publication

copydeleteadd this publication to your clipboard
A 7/2-Approximation Algorithm for the Maximum Duo-Preservation String Mapping Problem.

, , , , , and . CPM, volume 54 of LIPIcs, page 11:1-11:8. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (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.

PD Dr. Paolo Malgaretti University of Stuttgart

Paolo Carlo Danesini University of Stuttgart

 

Other publications of authors with the same name

Symbolic traversals of data paths with auxiliary variables., , and . Great Lakes Symposium on VLSI, page 93-96. IEEE, (1994)Verification and synthesis of counters based on symbolic techniques., , , and . ED&TC, page 176-181. IEEE Computer Society, (1997)Cross-fertilizing FSM verification techniques and sequential diagnosis., , , , and . EURO-DAC, page 306-311. IEEE Computer Society Press, (1992)Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking., , , , , and . FMCAD, page 1-8. IEEE, (2008)TPDL: Extended Temporal Profile Description Language., , , and . Softw., Pract. Exper., 21 (4): 355-374 (1991)Improved reachability analysis of large finite state machines., , and . ICCAD, page 354-360. IEEE Computer Society / ACM, (1996)A simulation-based approach to test pattern generation for synchronous sequential circuits., , , and . VTS, page 263-267. IEEE Computer Society, (1992)Automated abstraction by incremental refinement in interpolant-based model checking., , and . ICCAD, page 129-136. IEEE Computer Society, (2008)Diagnosis oriented test pattern generation., , , and . EURO-DAC, page 470-474. IEEE Computer Society, (1990)Computing subsets of equivalence classes for large FSMs., , and . EURO-DAC, page 288-293. IEEE Computer Society, (1995)