Author of the publication

Symbolic Reachability Computation of a Class of Nonlinear Systems.

, , and . ACIS-ICIS, page 706-710. IEEE Computer Society, (2009)

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

Automatic Calcification Morphology and Distribution Classification for Breast Mammograms With Multi-Task Graph Convolutional Neural Network., , , , , and . IEEE J. Biomed. Health Informatics, 27 (8): 3782-3793 (August 2023)When High-Speed Railway Networks Meet Multipath TCP: Supporting Dependable Communications., , , , , and . IEEE Wirel. Commun. Lett., 9 (2): 202-205 (2020)BEIKE NLP at SemEval-2022 Task 4: Prompt-Based Paragraph Classification for Patronizing and Condescending Language Detection., , , , , , and . SemEval@NAACL, page 319-323. Association for Computational Linguistics, (2022)Symbolic Reachability Computation of a Class of Nonlinear Systems., , and . ACIS-ICIS, page 706-710. IEEE Computer Society, (2009)LWARX: Lightweight ARX white-box cipher for satellite communications., , , , and . J. King Saud Univ. Comput. Inf. Sci., 36 (5): 102032 (2024)An Efficient Method to Measure Robustness of ReLU-Based Classifiers via Search Space Pruning., , , , and . IJCNN, page 1-8. IEEE, (2021)An efficient algorithm for global interval solution of nonlinear algebraic equations and its GPGPU implementation., and . CoRR, (2018)Automatic tagging of knowledge points for K12 math problems., , and . CoRR, (2022)Using Knowledge Concept Aggregation towards Accurate Cognitive Diagnosis., , , and . CIKM, page 2010-2019. ACM, (2021)A New Model of Software Network for Object-Oriented Software System., , , and . SMC, page 516-522. IEEE, (2021)