PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Wang, Jinsong"

Author of the publication

copydeleteadd this publication to your clipboard
Loop Invariant Generation for Non-monotone Loop Structures.

, , , and . COMPSAC (1), page 304-309. IEEE Computer Society, (2018)

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.

Zhe Wang University of Stuttgart

Dr. Dongren Wang University of Stuttgart

Dr. rer. nat. Lei Wang University of Stuttgart

Yi Wang University of Stuttgart

Yao Wang University of Stuttgart

 

Other publications of authors with the same name

Static analysis of cable-driven manipulators with non-negligible cable mass., , and . IEEE Trans. Robotics, 22 (3): 425-433 (2006)The variations characteristics and respond to climate change of runoff of Main Rivers in Gansu., , , and . IGARSS, page 4554-4557. IEEE, (2007)The Monitoring and Effect Evaluation of Restoring Grazing to Grassland Project in Maqu County of China based on EOS/MODIS Data., , , , and . IGARSS (4), page 754-757. IEEE, (2008)Analysis of Climatic Characteristics and Influencing Factors of Sand-Dust Events in Northwest China., , and . IGARSS (3), page 980-983. IEEE, (2008)Impact of 500hPa height field anomaly on precipitation and temperature change over arid central Asia over the past 100 years., and . IGARSS, page 868-871. IEEE, (2012)A Scenario-Based Reliability Analysis Approach for Component-Based Software., , , and . IEICE Transactions, 98-D (3): 617-626 (2015)Optimum Kinematic Design of a 3-DOF Parallel Kinematic Manipulator with Actuation Redundancy., , , and . ICIRA (1), volume 7101 of Lecture Notes in Computer Science, page 250-259. Springer, (2011)Kinematic Analysis of the SPKM165, a 5-Axis Serial-Parallel Kinematic Milling Machine., , , and . ICIRA, volume 5928 of Lecture Notes in Computer Science, page 592-602. Springer, (2009)Unsupervised Domain Adaptation for Semantic Segmentation via Class-Balanced Self-training., , , and . ECCV (3), volume 11207 of Lecture Notes in Computer Science, page 297-313. Springer, (2018)On the design of 6-DOF parallel micro-motion manipulators., , , and . IROS, page 343-348. IEEE, (2001)