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

Spatiotemporal volume saliency., , and . J. Vis., 19 (1): 157-168 (2016)An accurate vortex feature extraction method for Lagrangian vortex visualization on high-order flow field data., , , and . J. Vis., 20 (4): 729-742 (2017)A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems., , , , and . Mob. Inf. Syst., (2017)Design and Implementation of a Distributed Virtual Environment Development Platform., , , and . Int. J. Virtual Real., 4 (4): 44-54 (2000)Feature-based adaptive texture visualization for vector field., , , and . Sci. China Inf. Sci., 56 (9): 1-14 (2013)Formal equivalence checking between SLM and RTL descriptions., , and . SoCC, page 131-136. IEEE, (2015)Streamline Distribution Method based on Vector-magnitude-aware Entropy., , and . VINCI, page 22:1-22:5. ACM, (2019)Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm., , and . Australian Conference on Artificial Intelligence, volume 4304 of Lecture Notes in Computer Science, page 847-856. Springer, (2006)Coverage Driven Test Generation Framework for RTL Functional Verification., , , and . CAD/Graphics, page 321-326. IEEE, (2007)CLP Based Static Property Checking., , and . ATVA, volume 3299 of Lecture Notes in Computer Science, page 495-498. Springer, (2004)