( en | de | ru )

 

Disambiguierung von "Xue, Jinyun"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms.

, , und . Clust. Comput., 19 (4): 2145-2156 (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Xue Xue Zhang

Cheng Xue

Jia Xue

Min Xue

Yida Xue

 

Weitere Publikationen von Autoren mit dem selben Namen

Verifying OSEK/VDX automotive applications: A Spin-based model checking approach., , , und . Softw. Test. Verification Reliab., (2018)A-Team Based Supply Chain Management Agent Architecture., , und . Int. J. Artif. Intell. Tools, 18 (6): 801-823 (2009)Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms., , und . Clust. Comput., 19 (4): 2145-2156 (2016)Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method.. APLAS, Seite 159-169. (2001)Formal Development of Linear Structure Reusable Components in PAR Platform., , und . SOFL+MSVL, Volume 10189 von Lecture Notes in Computer Science, Seite 85-97. (2016)Genericity in PAR Platform.. SOFL+MSVL, Volume 9559 von Lecture Notes in Computer Science, Seite 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., , , , und . Int. J. Found. Comput. Sci., 32 (1): 1-35 (2021)From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum., , und . International Conference on Computational Science (3), Volume 4489 von Lecture Notes in Computer Science, Seite 469-476. Springer, (2007)A reputation model based on hierarchical bayesian estimation for Web services., , und . CSCWD, Seite 88-93. IEEE, (2012)