PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Duan, Zhenhua"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Incorporating Clusters into Hybrid P2P Network.

, , , , und . ICDS, Seite 17. IEEE Computer Society, (2007)

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.

Keine Personen gefunden für den Autorennamen Duan, Zhenhua
Eine Person hinzufügen mit dem Namen Duan, Zhenhua
 

Weitere Publikationen von Autoren mit dem selben Namen

Incorporating Clusters into Hybrid P2P Network., , , , und . ICDS, Seite 17. IEEE Computer Society, (2007)HP2P: A Hybrid Hierarchical P2P Network., , , , und . ICDS, Seite 18. IEEE Computer Society, (2007)Focus Game for Projection Temporal Logic., und . TASE, Seite 45-51. IEEE Computer Society, (2011)Specification and Verification of UML2.0 Sequence Diagrams Using Event Deterministic Finite Automata., und . SSIRI (Companion), Seite 41-46. IEEE Computer Society, (2011)Making CEGAR More Efficient in Software Model Checking., , und . IEEE Trans. Software Eng., 40 (12): 1206-1223 (2014)A cylinder computation model for many-core parallel computing., , und . Theor. Comput. Sci., (2013)Model Checking., und . Handbook of Finite State Based Models and Applications, Chapman and Hall/CRC, (2012)Semantics of Framed Temporal Logic Programs., , und . ICLP, Volume 3668 von Lecture Notes in Computer Science, Seite 356-370. Springer, (2005)Implementing MapReduce with MSVL., , , , und . SOFL+MSVL, Volume 10795 von Lecture Notes in Computer Science, Seite 148-167. Springer, (2017)PPTL_SPIN: A SPIN Based Model Checker for Propositional Projection Temporal Logic., , und . SOFL+MSVL, Volume 9559 von Lecture Notes in Computer Science, Seite 195-205. Springer, (2015)