( en | de | ru )

 

Disambiguation of "Sun, Jia-Guang"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying simulink stateflow model: timed automata approach.

, , , and . ASE, page 852-857. ACM, (2016)

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.

Jia Jia

Guang Rao

Guang Bai

Guang Yu

Guang Guo

 

Other publications of authors with the same name

MuSQL: A Music Structured Query Language., , , , and . MMM (2), volume 4352 of Lecture Notes in Computer Science, page 216-225. Springer, (2007)Polar NURBS Surface with Curvature Continuity., , , , and . Comput. Graph. Forum, 32 (7): 363-370 (2013)Improving Test Quality of Scan-Based BIST by Scan Chain Partitioning., , , and . Asian Test Symposium, page 12-17. IEEE Computer Society, (2003)A Hierachical Method for Wiring and Congestion Prediction., , , , , , and . ISVLSI, page 307-308. IEEE Computer Society, (2005)Automated Test Data Generation Based on Program Execution., , and . SERA, page 229-236. IEEE Computer Society, (2006)Converting hybrid wire-frames to B-rep models., , , and . Symposium on Solid and Physical Modeling, page 283-289. ACM, (2007)Symbolization of Mobile Object Trajectories with the Support to Motion Data Mining., , and . ER (Workshops), volume 3289 of Lecture Notes in Computer Science, page 103-113. Springer, (2004)Direct manipulation of FFD: efficient explicit solutions and decomposible multiple point constraints., , , and . Vis. Comput., 17 (6): 370-379 (2001)Adaptive tree similarity learning for image retrieval., , , and . Multim. Syst., 9 (2): 131-143 (2003)A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement., , , and . ATVA, volume 4218 of Lecture Notes in Computer Science, page 39-50. Springer, (2006)