Author of the publication

Verification of Multi-agent Negotiations Using the Alloy Analyzer.

, , , and . IFM, volume 4591 of Lecture Notes in Computer Science, page 501-517. Springer, (2007)

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

Self-Taught Semisupervised Dictionary Learning With Nonnegative Constraint., , , , , and . IEEE Trans. Ind. Informatics, 16 (1): 532-543 (2020)Single Image Haze Removal Based on a Simple Additive Model With Haze Smoothness Prior., , , , , and . IEEE Trans. Circuits Syst. Video Technol., 32 (6): 3490-3499 (2022)High-Order Tensor Recovery with A Tensor U1 Norm., , , , and . CoRR, (2023)A Novel Rain Removal Approach for Outdoor Dynamic Vision Sensor Event Videos., , , , , , and . Frontiers Neurorobotics, (September 2022)LIDAR: learning from imperfect demonstrations with advantage rectification., , , and . Frontiers Comput. Sci., 16 (1): 161312 (2022)In-circuit programmer of STM8 based on MCU., , , and . EMEIT, page 4273-4276. IEEE, (2011)A new method of establishing reference fingerprint for the Traditional Chinese Medicine., and . BMEI, page 2246-2249. IEEE, (2011)An Ensemble Learning and Problem Solving Architecture for Airspace Management., , , , , , , , , and 27 other author(s). IAAI, AAAI, (2009)Learning Group Activity in Soccer Videos from Local Motion., , , , and . ACCV (1), volume 5994 of Lecture Notes in Computer Science, page 103-112. Springer, (2009)Adaptive Distributed Intrusion Detection Using Parametric Model., , , and . Web Intelligence, page 675-678. IEEE Computer Society, (2009)