( en | de | ru )

 

Disambiguation of "Dong, Wei"

Author of the publication

copydeleteadd this publication to your clipboard
Interface theory-based formalisation and verification of orchestration in BPEL4WS.

, , , and . Int. J. Bus. Process. Integr. Manag., 2 (4): 262-281 (2007)

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.

Wei Dong

Wei-Dong Yang

Wei Wei

Wei Wei

Wei Wei

 

Other publications of authors with the same name

Research on Evaluation of Power Supply Companies External Service Quality Based on improved grey Interrelated Analysis Method., , and . J. Comput., 7 (4): 982-987 (2012)Robust network tomography: K-Identifiability and monitor assignment., and . INFOCOM, page 1-9. IEEE, (2016)A Predictive Runtime Verification Framework for Cyber-Physical Systems., , and . SERE (Companion), page 223-227. IEEE, (2014)Structural Establishment and Relational Expression of the Fenhe River System., , , and . Geoinformatics, page 1-5. IEEE, (2018)Combining Global and Local Indicators Accessibility Calculation Methods and Evaluation of Scenic Spots., , , and . Geoinformatics, page 1-4. IEEE, (2018)The kinematic model, motion planning and analysis for obstacle negotiation capability of the composite six-wheeled-legged robot., , , , and . ROBIO, page 1391-1396. IEEE, (2011)Residents' numeric inputting error in computerized physician order entry prescription., , , and . Int. J. Medical Informatics, (2016)2-Distance Coloring of Planar Graphs without 4-Cycles and 5-Cycles., and . SIAM J. Discret. Math., 33 (3): 1297-1312 (2019)On Scheduling Constraint Abstraction for Multi-Threaded Program Verification., , , and . IEEE Trans. Software Eng., 46 (5): 549-565 (2020)A 22-40.5 GHz UWB LNA Design in 0.15um GaAs., , , , and . ASICON, page 1-4. IEEE, (2019)