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

WavCapsNet: An Interpretable Intelligent Compound Fault Diagnosis Method by Backward Tracking., , , , and . IEEE Trans. Instrum. Meas., (2023)Verification of infinite-step and K-step opacity Using Petri Nets., , , and . CoRR, (2019)Intelligent Visualization System for Big Multi-source Medical Data Based on Data Lake., , , , , , , , , and . WISA, volume 12999 of Lecture Notes in Computer Science, page 706-717. Springer, (2021)A Fault Injection and Formal Verification Framework Based on UML Sequence Diagrams., , , , , , and . ISSREW, page 45-50. IEEE, (2023)OrphicX: A Causality-Inspired Latent Variable Model for Interpreting Graph Neural Networks., , , and . CVPR, page 13719-13728. IEEE, (2022)Depth super-resolution via fully edge-augmented guidance., , , and . VCIP, page 1-4. IEEE, (2017)Spatial-temporal gated graph convolutional network: a new deep learning framework for long-term traffic speed forecasting., , , , , and . J. Intell. Fuzzy Syst., 44 (6): 10437-10450 (2023)Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions., , and . IEEE Trans Autom. Sci. Eng., 19 (2): 1268-1276 (2022)Verification of Detectability in Labeled Petri Nets., , and . ACC, page 5627-5632. IEEE, (2019)Verification of Detectability in Petri Nets Using Verifier Nets., , , and . CoRR, (2019)