( en | de | ru )

 

Disambiguation of "Xue, Jinyun"

Author of the publication

copydeleteadd this publication to your clipboard
A-Team Based Supply Chain Management Agent Architecture.

, , and . Int. J. Artif. Intell. Tools, 18 (6): 801-823 (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.

Xue Xue Zhang

Cheng Xue

Jia Xue

Min Xue

Yida Xue

 

Other publications of authors with the same name

Verifying OSEK/VDX automotive applications: A Spin-based model checking approach., , , and . Softw. Test. Verification Reliab., (2018)A-Team Based Supply Chain Management Agent Architecture., , and . Int. J. Artif. Intell. Tools, 18 (6): 801-823 (2009)Two new strategies for developing loop invariants and their applications.. J. Comput. Sci. Technol., 8 (2): 147-154 (1993)Formal Development of Linear Structure Reusable Components in PAR Platform., , and . SOFL+MSVL, volume 10189 of Lecture Notes in Computer Science, page 85-97. (2016)Genericity in PAR Platform.. SOFL+MSVL, volume 9559 of Lecture Notes in Computer Science, page 3-14. Springer, (2015)Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method.. APLAS, page 159-169. (2001)Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms., , and . Clust. Comput., 19 (4): 2145-2156 (2016)Strict Linearizability and Abstract Atomicity., , , , and . Int. J. Found. Comput. Sci., 32 (1): 1-35 (2021)A reputation model based on hierarchical bayesian estimation for Web services., , and . CSCWD, page 88-93. IEEE, (2012)A Mechanical Approach for Deriving Algorithmic Programs., , and . ACIS-ICIS, page 483-487. IEEE Computer Society, (2008)