( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
To split or to conjoin: the question in image computation.

, , , и . DAC, стр. 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.

James H Richardson

Udo Kukula

Michael James

Audrein James

Katherine James

 

Другие публикации лиц с тем же именем

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