- idUS
- Browsing by Author
Browsing by Author "Huang, Zhiwei"
Now showing items 1-2 of 2
-
Presentation
P Systems based Computing Polynomials: Design and Formal Verification
Yuan, Weitao; Zhang, Gexiang; Pérez Jiménez, Mario de Jesús; Wang, Tao; Huang, Zhiwei (IMCS: International Membrane Computing Society, 2015)Automatic design of P systems is an attractive research topic in the community of membrane computing. Differing from the ...
-
Article
P systems based computing polynomials: design and formal verification
Yuan, Weitao; Zhang, Gexiang; Pérez Jiménez, Mario de Jesús; Wang, Tao; Huang, Zhiwei (Springer, 2016)Automatic design of P systems is an attractive research topic in the community of membrane computing. Differing from the ...