Author of the publication

Formal verification of sequential Galois field arithmetic circuits using algebraic geometry.

, , , and . DATE, page 1623-1628. ACM, (2015)

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

Word-level traversal of finite state machines using algebraic geometry., , and . HLDVT, page 142-149. IEEE, (2016)Globally optimal distributed state fusion white noise deconvolution estimators., , and . FUSION, page 1366-1371. IEEE, (2012)Formal verification of sequential Galois field arithmetic circuits using algebraic geometry., , , and . DATE, page 1623-1628. ACM, (2015)Design, Control and Preliminary Test of Robotic Ankle Prosthesis., , , and . IROS, page 2787-2793. IEEE, (2018)Security-aware dual-hop communication for amplify-and-forward relay networks., , , , , and . IJDSN, (2019)Individual differences matter in the effect of teaching presence on perceived learning: From the social cognitive perspective of self-regulated learning., , , , , and . Comput. Educ., (2022)Improved Generation Efficiency for Key Extracting from Wireless Channels., , , and . ICC, page 1-6. IEEE, (2011)A framework for precision magnetic resonance imaging: Initial results., , , and . BHI, page 276-279. IEEE, (2016)Optimizing Protograph Coded BICM for Half-Duplex DF Relay., , , , and . IEICE Transactions, 95-B (4): 1397-1401 (2012)Variable Transmission Series Elastic Actuator for Robotic Prosthesis., , , and . ICRA, page 2796-2803. IEEE, (2018)