Author of the publication

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.

 

Other publications of authors with the same name

A comparative study on search strategies for cell assignments., , , and . Int. J. Comput. Math., 81 (7): 901-908 (2004)Segmented channel routing with pin rearrangements via satisfiability., , , , and . ISCAS (6), page 6248-6251. IEEE, (2005)Sequential dependency and reliability analysis of embedded systems., , , , , and . ASP-DAC, page 423-428. IEEE, (2013)Temporal Coverage Analysis for Dynamic Verification., , , , and . IEEE Trans. Circuits Syst. II Express Briefs, 65-II (1): 66-70 (2018)Implication of assertion graphs in GSTE., , , and . ASP-DAC, page 1060-1063. ACM Press, (2005)Verification and Implementation of the Protocol Standard in Train Control System., , , , , and . COMPSAC, page 549-558. IEEE Computer Society, (2013)An efficient NPN Boolean matching algorithm based on structural signature and Shannon expansion., , , , and . Clust. Comput., 22 (Supplement): 7491-7506 (2019)Domain-Driven Probabilistic Analysis of Programmable Logic Controllers., , , , and . ICFEM, volume 6991 of Lecture Notes in Computer Science, page 115-130. Springer, (2011)On data address computation for embedded DSP systems., and . ISCAS (4), page 532-535. IEEE, (2002)A Case Study on Formal Analysis of an Automated Guided Vehicle System., , , , , and . J. Appl. Math., (2014)