Yang,guowu
Professor
Computer Science and Technology
University of Electronic Science and Technology of China
China
Biography
Professor Guowu Yang received his Ph.D. degree in electronic and computer engineering from Portland State University in USA in 2005. He was a research associate at Computer Science department of Portland State University from 2005 to 2006. His research interests include formal verification, logic synthesis in quantum computing and non-linear control theory.He published over 80 papers, including over 40 SCI papers.
Research Interest
formal verification, logic synthesis in quantum computing and non-linear control theory
Publications
-
Guowu Yang, William N.N. Hung, Xiaoyu Song and Wensheng Guo, “A Transformation-Based Approach to Implication of GSTE Assertion Graphsâ€, JOURNAL OF APPLIED MATHEMATICS, 709071, 2013.
-
Wensheng Guo, Guowu Yang, William N.N. Hung and Xiaoyu Song, “Complete Boolean Satisfiability Solving Algorithms Based on Local Searchâ€, JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 28(2), 247-254, MAR. 2013.
-
Desheng Zheng, Guowu Yang, Xiaoyu Li, Zhicai Wang, Feng Liu, Lei He, “An Efficient Algorithm for Computing Attractors of Synchronous And Asynchronous Boolean Networksâ€, PLOS ONE, 8(4), 1-7, APR. 2013.
