( en | de | ru )

 

Disambiguation of "Sun, Jia-Guang"

Author of the publication

copydeleteadd this publication to your clipboard
Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques.

, , , , , , and . IEEE Trans. Ind. Electron., 62 (2): 1270-1278 (2015)

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

Symbolic Analysis of Programmable Logic Controllers., , , , , and . IEEE Trans. Computers, 63 (10): 2563-2575 (2014)Approximate computation of curves on B-spline surfaces., , , , , , and . Comput. Aided Des., 40 (2): 223-234 (2008)Gn blending multiple surfaces in polar coordinates., , , and . Comput. Aided Des., 42 (6): 479-494 (2010)Mesh blending., , , , and . Vis. Comput., 21 (11): 915-927 (2005)An Energy-Efficient Train Control Framework for Smart Railway Transportation., , , and . IEEE Trans. Computers, 65 (5): 1407-1417 (2016)Heuristic-Guided Abstraction Refinement., , , and . Comput. J., 52 (3): 280-287 (2009)Shape control of swept surface with profiles., and . Comput. Aided Des., 33 (12): 893-902 (2001)CIM Algorithm for Approximating Three-Dimensional Polygonal Curves., , and . J. Comput. Sci. Technol., 16 (6): 552-559 (2001)MuSQL: A Music Structured Query Language., , , , and . MMM (2), volume 4352 of Lecture Notes in Computer Science, page 216-225. Springer, (2007)An octree-based proxy for collision detection in large-scale particle systems., , , and . Sci. China Inf. Sci., 56 (1): 1-10 (2013)