( en | de | ru )

 

Disambiguation of "Dong, Rongsheng"

Author of the publication

copydeleteadd this publication to your clipboard
Interest Property of E-commerce Protocols and its Verification in Strand Space Model.

, , , and . WGEC, page 280-283. IEEE Computer Society, (2009)

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.

Michael Döngi

Purinerge und GAbAerge Calciumsignale in Astrozyten des Bulbus olfactorius der Maus. TU Kaiserslautern, (2009)

Dong Chen

Acceleration of the spatial selective excitation of MRI via sparse approximation. TU München, (2009)

Manfred Dönges

Johannes Dönges

Klaus Georg Dönges

 

Other publications of authors with the same name

A novel minimal exposure path problem in wireless sensor networks and its solution algorithm., , , , and . Int. J. Distributed Sens. Networks, (2016)DenseU-Net-Based Semantic Segmentation of Small Objects in Urban Remote Sensing Images., , and . IEEE Access, (2019)Continuous Petri nets augmented with maximal and minimal firing speeds., , and . SMC, page 1493-1498. IEEE, (2003)Detecting Feature Interactions in Web Services with Timed Automata., , and . WGEC, page 276-279. IEEE Computer Society, (2009)计算节点不可靠网络可靠度的一种MDD算法 (Novel Reliability Analysis Algorithm Based on MDDs in Networks with Imperfect Nodes)., , and . 计算机科学, 43 (1): 154-158 (2016)Information Diffusion on Social Media During Natural Disasters., , , and . IEEE Trans. Comput. Social Systems, 5 (1): 265-276 (2018)Testing Conformance of BPEL Business Process Based on Model Checking., , , and . J. Softw., 5 (9): 1030-1037 (2010)Automatic Verification of Composite Web Services Based on Temporal and Epistemic Logic., , and . WGEC, page 693-696. IEEE Computer Society, (2009)Symbolic OBDD Assembly Sequence Planning Algorithm Based on Unordered Partition with 2 Parts of a Positive Integer., , and . Intelligent Information Processing, volume 385 of IFIP Advances in Information and Communication Technology, page 226-233. Springer, (2012)Discussion of Ability Cultivation of Computational Thinking in Course Teaching., , and . ICETC, page 197-200. IEEE Computer Society, (2009)