( en | de | ru )

 

Disambiguation of "Kukula, James H."

Author of the publication

copydeleteadd this publication to your clipboard
To split or to conjoin: the question in image computation.

, , , and . DAC, page 23-28. ACM, (2000)

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.

James H Richardson

Udo Kukula

Michael James

Audrein James

Katherine James

 

Other publications of authors with the same name

To split or to conjoin: the question in image computation., , , and . DAC, page 23-28. ACM, (2000)Hybrid Verification Using Saturated Simulation., , and . DAC, page 615-618. ACM Press, (1998)Combinational equivalence checking through function transformation., , , and . ICCAD, page 526-533. ACM / IEEE Computer Society, (2002)Least fixpoint approximations for reachability analysis., , , and . ICCAD, page 41-44. IEEE Computer Society, (1999)Techniques for Implicit State Enumeration of EFSMs., , and . FMCAD, volume 1522 of Lecture Notes in Computer Science, page 469-482. Springer, (1998)Generator-based Verification., and . ICCAD, page 146-153. IEEE Computer Society / ACM, (2003)Checking satisfiability of a conjunction of BDDs., and . DAC, page 818-823. ACM, (2003)A Comparison of Presburger Engines for EFSM Reachability., , and . CAV, volume 1427 of Lecture Notes in Computer Science, page 280-292. Springer, (1998)Building Circuits from Relations., and . CAV, volume 1855 of Lecture Notes in Computer Science, page 113-123. Springer, (2000)SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques., , , and . CAV, volume 2404 of Lecture Notes in Computer Science, page 265-279. Springer, (2002)