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

Equivalence checking between SLM and TLM using coverage directed simulation., , and . Frontiers Comput. Sci., 9 (6): 934-943 (2015)Hierarchical Loop Partitioning for Rapid Generation of Runtime Configurations., , , , and . ARC, volume 5992 of Lecture Notes in Computer Science, page 282-293. Springer, (2010)Signal Framing Methods of Automotive Embedded Networked Control System for Bandwidth Consumption Optimization., , and . JDCTA, 4 (4): 15-27 (2010)Using Uncertain DM-Chameleon Clustering Algorithm Based on Machine Learning to Predict Landslide Hazards., , , , , and . J. Robotics Mechatronics, 31 (2): 329-338 (2019)Driving Factors of Land Change in China's Loess Plateau: Quantification Using Geographically Weighted Regression and Management Implications., , , , , and . Remote Sensing, 12 (3): 453 (2020)Research on an Indeterminacy Causal Induction Auto-Reasoning Mechanism in Expert System., and . J. Softw., 7 (2): 493-498 (2012)Wearable bracelets with variable sampling frequency for measuring multiple physiological parameter of human., , and . Comput. Commun., (2020)Equivalence checking of scheduling in high-level synthesis., , , , and . ISQED, page 257-262. IEEE, (2015)A multi-criteria routing model for incident management., and . SMC, page 832-839. IEEE, (2005)Equivalence Checking of Scheduling in High-Level Synthesis Using Deep State Sequences., , , and . IEEE Access, (2019)