Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Guowu Yang
Modeling, Optimization, and Verification for Complex Systems
Mathematical Problems in Engineering
Mathematics
Engineering
Efficient Algorithms for Optimal 4-Bit Reversible Logic System Synthesis
Journal of Applied Mathematics
Applied Mathematics
Related publications
Statistically Sound Verification and Optimization for Complex Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modeling, Optimization, and Control for Complex Networked Systems
Advances in Mechanical Engineering
Mechanical Engineering
Modeling Complex Systems
Existence Verification for Singular Zeros of Complex Nonlinear Systems
SIAM Journal on Numerical Analysis
Computational Mathematics
Applied Mathematics
Numerical Analysis
Modeling and Identification of Complex Systems
Engineering Journal: Science and Innovation
Multiscale Modeling for Complex Macromolecular Systems: Methodologies and Applications
Complex Systems: Phenomenology, Modeling, Analysis
International Journal of Applied & Experimental Mathematics
Formal Modeling and Verification for MVB
Journal of Applied Mathematics
Applied Mathematics
Petri Nets Compositional Modeling and Verification of Flexible Manufacturing Systems
