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

Hybrid Noise Removal in Hyperspectral Imagery With a Spatial-Spectral Gradient Network., , , , , and . CoRR, (2018)Bisimulation for Higher-Order Pi-calculus., and . APLAS, page 216-229. (2002)Formal security analysis of automated trust negotiation., , and . ICMLC, page 861-866. IEEE, (2010)A High-Performance Square pMUT for Range-finder., , , , , and . NEMS, page 106-109. IEEE, (2018)Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract)., , and . TACAS, volume 1384 of Lecture Notes in Computer Science, page 5-19. Springer, (1998)School-Enterprise Cooperation on Python Data Analysis Teaching., and . ICCSE, page 278-281. IEEE, (2019)Research on Stylization Algorithm of Ceramic Decorative Pattern Based on Ceramic Cloud Design Service Platform., , , and . ICA3PP (3), volume 12454 of Lecture Notes in Computer Science, page 549-563. Springer, (2020)Smoother: A Smooth Renewable Power-Aware Middleware., , , , and . ICDCS, page 249-260. IEEE, (2019)A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours., and . LICS, page 1-13. IEEE, (2021)Expansive-Bisimulation for Context-Free Processes.. Formal Methods and Hybrid Real-Time Systems, volume 4700 of Lecture Notes in Computer Science, page 472-482. Springer, (2007)