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

Least Square Fast Learning Network for modeling the combustion efficiency of a 300WM coal-fired boiler., , , and . Neural Networks, (2014)On Termination and Boundedness of Nested Updatable Timed Automata., , and . SOFL+MSVL, volume 10189 of Lecture Notes in Computer Science, page 15-31. (2016)The Complexity of Linear-Time Temporal Logic Model Repair., and . SOFL+MSVL, volume 10795 of Lecture Notes in Computer Science, page 69-87. Springer, (2017)A Refined Algorithm for Reachability Analysis of Updatable Timed Automata., , , and . QRS Companion, page 230-236. IEEE, (2015)Ecological Adaptive Cruise Control and Energy Management Strategy for Hybrid Electric Vehicles Based on Heuristic Dynamic Programming., and . IEEE Trans. Intell. Transp. Syst., 20 (9): 3526-3535 (2019)On-the-Fly Model Checking of Fair Non-repudiation Protocols., and . ATVA, volume 4762 of Lecture Notes in Computer Science, page 511-522. Springer, (2007)DDFP: A data driven filter pruning method with pruning compensation., , and . J. Vis. Commun. Image Represent., (2023)A general-purpose edge-feature guidance module to enhance vision transformers for plant disease identification., , , , and . Expert Syst. Appl., 237 (Part C): 121638 (March 2024)Scalable linear invariant generation with Farkas' lemma., , , , and . Proc. ACM Program. Lang., 6 (OOPSLA2): 204-232 (2022)Coarse-to-fine registration and time-intensity curves constraint for liver DCE-MRI synthesis., , , , , , and . Comput. Medical Imaging Graph., (January 2024)