( 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

Xue Tao

 

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)Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method.. APLAS, page 159-169. (2001)A-Team Based Supply Chain Management Agent Architecture., , and . Int. J. Artif. Intell. Tools, 18 (6): 801-823 (2009)Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms., , and . Clust. Comput., 19 (4): 2145-2156 (2016)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)Two new strategies for developing loop invariants and their applications.. J. Comput. Sci. Technol., 8 (2): 147-154 (1993)Strict Linearizability and Abstract Atomicity., , , , and . Int. J. Found. Comput. Sci., 32 (1): 1-35 (2021)From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum., , and . International Conference on Computational Science (3), volume 4489 of Lecture Notes in Computer Science, page 469-476. Springer, (2007)A reputation model based on hierarchical bayesian estimation for Web services., , and . CSCWD, page 88-93. IEEE, (2012)