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

Research on Dynamic Change of Grassland in West Jilin Province Based on 3S Technology., and . CCTA, volume 258 of IFIP Advances in Information and Communication Technology, page 277-285. Springer, (2007)Fusion of the complementary Discrete Cosine Features in the YIQ color space for face recognition., and . Comput. Vis. Image Underst., 111 (3): 249-262 (2008)Verification of Linear Duration Invariants by Model Checking CTL Properties., , and . ICTAC, volume 5160 of Lecture Notes in Computer Science, page 395-409. Springer, (2008)Ensemble Engineering and Emergence., , , and . Software-Intensive Systems and New Computing Paradigms, volume 5380 of Lecture Notes in Computer Science, Springer, (2008)Formalizing Real-Time Scheduling as Program Refinement., and . ARTS, volume 1231 of Lecture Notes in Computer Science, page 295-309. Springer, (1997)A Practical Encrypted Microprocessor., , , and . SECRYPT, page 239-250. SciTePress, (2016)Developing a TTCN-3 Test Harness for Legacy Software., , , and . AST, page 104-110. ACM, (2006)Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models., , , , , , , and . CoRR, (2020)A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs., , and . SBMF, volume 6527 of Lecture Notes in Computer Science, page 258-273. Springer, (2010)A Peer-to-Peer System Super Node Election Mechanism., , , and . Int. J. Inf. Process. Manag., 1 (2): 58-67 (2010)