Author of the publication

Word-level traversal of finite state machines using algebraic geometry.

, , and . HLDVT, page 142-149. IEEE, (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.

 

Other publications of authors with the same name

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)Word-level traversal of finite state machines using algebraic geometry., , and . HLDVT, page 142-149. IEEE, (2016)Security-aware dual-hop communication for amplify-and-forward relay networks., , , , , and . IJDSN, (2019)Design, Control and Preliminary Test of Robotic Ankle Prosthesis., , , and . IROS, page 2787-2793. IEEE, (2018)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)Feasible smooth method based on Barzilai-Borwein method for stochastic linear complementarity problem., , and . Numerical Algorithms, 57 (2): 207-215 (2011)Optimizing Protograph Coded BICM for Half-Duplex DF Relay., , , , and . IEICE Transactions, 95-B (4): 1397-1401 (2012)