Author of the publication

Formal Verification of GCSE in the Scheduling of High-level Synthesis: Work-in-Progress.

, , , , , , and . CODES+ISSS, page 1-2. IEEE, (2020)

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

Skin condition detection of smartphone face image using multi-feature decision method., , , , , and . iCAST, page 379-382. IEEE, (2017)Multi-attribute predictive analysis based on attribute-oriented fuzzy rough sets in fuzzy information systems., , and . Inf. Sci., (2022)Multi-thread Simulation-based Equivalence Checking between SIM and RTI., , , , , , and . CSAE, page 51:1-51:6. ACM, (2020)Mach-Zehnder Interferometer Sensor Curvature Demodulation Method Based on the Orthogonal Decomposition of Spectral Curves., , , , , , , , , and . IEEE Access, (2020)Equivalence Checking Between System-Level Descriptions by Identifying Potential Cut-Points., , , , , and . CSPS, volume 571 of Lecture Notes in Electrical Engineering, page 1328-1335. Springer, (2019)Expansion or extinction: deterministic and stochastic two-patch models with Allee effects., and . Journal of mathematical biology, (August 2010)A stochastic SIRS epidemic model with nonlinear incidence rate., , and . Appl. Math. Comput., (2017)A variable precision grey-based multi-granulation rough set model and attribute reduction., , , , and . Knowl. Based Syst., (2018)Output-Only Damage Detection in Plate-Like Structures Based on Proportional Strain Flexibility Matrix., , , , , and . Sensors, 20 (23): 6862 (2020)Time series clustering based on polynomial fitting and multi-order trend features., , and . Inf. Sci., (2024)