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 journals papers by Dongyoung Lee are published in Top journals papers by Lutz Leisering are published in Top authors papers by György Török are co-authored with Top journals papers by Dalia Medhat are published in Top countries impacted by papers by Jones Rs Top authors papers by Anita C. Benoit are co-authored with Top journals papers by Liqiang Zhao are published in Top authors papers by Apoena Aguiar Ribeiro are co-authored with