To-Yat Cheung
About
To-Yat Cheung has authored 35 papers that have received a total of 503 indexed citations.
This includes 21 papers in Computational Theory and Mathematics, 12 papers in Computer Networks and Communications and 8 papers in Industrial and Manufacturing Engineering. The topics of these papers are Petri Nets in System Modeling (10 papers), Formal Methods in Verification (8 papers) and Combinatorial Optimization and Complexity Theory (5 papers). To-Yat Cheung is often cited by papers focused on Petri Nets in System Modeling (10 papers), Formal Methods in Verification (8 papers) and Combinatorial Optimization and Complexity Theory (5 papers) and collaborates with scholars based in Canada, Hong Kong and China. To-Yat Cheung's co-authors include Hejiao Huang, Zuo Dai, Moses Charikar, Ashish Goel and Weiming Lü and has published in prestigious journals such as Communications of the ACM, SIAM Journal on Numerical Analysis and Journal of Mathematical Analysis and Applications
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Richard G. Gibson are about Top fields papers by Wenlu Li are about Top fields papers by Wei Yao are about Top countries impacted by papers by Marie Thérèse Rubio Top fields papers by Victoria Elliott are about Top journals papers by Jassiel R. Rodríguez are published in Top journals papers by Sedigheh Shams are published in Top countries impacted by papers by Haytam Kasem