PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Duan, Zhenhua"

Author of the publication

copydeleteadd this publication to your clipboard
An Efficient Algorithm for Finding Empty Space for Reconfigurable Systems.

, , and . TASE, page 36-43. IEEE Computer Society, (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.

No persons found for author name Duan, Zhenhua
add a person with the name Duan, Zhenhua
 

Other publications of authors with the same name

An extended strange planet protocol., , , and . J. Comb. Optim., 30 (2): 299-319 (2015)Complexity of propositional projection temporal logic with star., and . Mathematical Structures in Computer Science, 19 (1): 73-100 (2009)Making CEGAR More Efficient in Software Model Checking., , and . IEEE Trans. Software Eng., 40 (12): 1206-1223 (2014)A cylinder computation model for many-core parallel computing., , and . Theor. Comput. Sci., (2013)Model Checking., and . Handbook of Finite State Based Models and Applications, Chapman and Hall/CRC, (2012)Specification and Verification of UML2.0 Sequence Diagrams Using Event Deterministic Finite Automata., and . SSIRI (Companion), page 41-46. IEEE Computer Society, (2011)Focus Game for Projection Temporal Logic., and . TASE, page 45-51. IEEE Computer Society, (2011)HP2P: A Hybrid Hierarchical P2P Network., , , , and . ICDS, page 18. IEEE Computer Society, (2007)Incorporating Clusters into Hybrid P2P Network., , , , and . ICDS, page 17. IEEE Computer Society, (2007)Operational Semantics of Framed Temporal Logic Programs., and . SOFSEM (1), volume 4362 of Lecture Notes in Computer Science, page 566-578. Springer, (2007)