( en | de | ru )

 

Disambiguation of "Xue, Jinyun"

Author of the publication

copydeleteadd this publication to your clipboard
Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method.

. APLAS, page 159-169. (2001)

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

Orchestration Combinators in Apla+ Language., and . SOFL+MSVL, volume 10189 of Lecture Notes in Computer Science, page 3-14. (2016)The Research and Application of Apla-Java Reusable Components., , , and . ISCSCT (1), page 356-359. IEEE Computer Society, (2008)Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations., , and . TAMC, volume 3959 of Lecture Notes in Computer Science, page 601-610. Springer, (2006)Research on Formal Development of Non-recursive Algorithms of Graph Search., , and . SOFL+MSVL, volume 9559 of Lecture Notes in Computer Science, page 165-178. Springer, (2015)Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems., and . FAW, volume 5598 of Lecture Notes in Computer Science, page 27-39. Springer, (2009)Formal Development and Verification of Reusable Component in PAR Platform., , , , and . SOFL+MSVL, volume 12028 of Lecture Notes in Computer Science, page 155-166. Springer, (2019)Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover., , and . SNPD, page 13-18. IEEE Computer Society, (2016)Contract-Based Generic Programming Mechanism for Dynamic Service Orchestration., , and . CIT, page 252-257. IEEE Computer Society, (2014)Formal Derivation of Two Algorithms Involving Sequences., and . ACIS-ICIS, page 287-291. IEEE Computer Society, (2011)Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method.. APLAS, page 159-169. (2001)