Man‐Tak Shing
About
Man‐Tak Shing has authored 50 papers that have received a total of 262 indexed citations.
This includes 24 papers in Computational Theory and Mathematics, 19 papers in Software and 12 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (19 papers), Software Reliability and Analysis Research (17 papers) and Software Testing and Debugging Techniques (11 papers). Man‐Tak Shing is often cited by papers focused on Formal Methods in Verification (19 papers), Software Reliability and Analysis Research (17 papers) and Software Testing and Debugging Techniques (11 papers) and collaborates with scholars based in United States, Brazil and United Arab Emirates. Man‐Tak Shing's co-authors include James Bret Michael, Doron Drusinsky, Mikhail Auguston, T. C. Hu and Kadir Alpaslan Demir and has published in prestigious journals such as European Journal of Operational Research, Information Sciences and SIAM Journal on Computing.
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Zilong Wang are published in Top fields papers by Khalid Naveed are about Top authors papers by Paolo Musolino are co-authored with Top journals papers by P. Di Marcantonio are published in Top authors papers by Dae Gon Ryu are co-authored with Top journals papers by Bouâbid El Mansouri are published in Top authors papers by Mohammed S. Al-Jawad are co-authored with Top fields papers by Yajing Zhang are about