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 Jong-Ig Lee are published in Top countries impacted by papers by Niyazi Özer Top fields papers by Nana Kwame Ayisi‐Boateng are about Top fields papers by Margaret J. Kartomi are about Top countries impacted by papers by Sezai Alkan Top countries impacted by papers by Carlo Carobbi Top authors papers by Mirela Tomescu are co-authored with Top fields papers by Pablo Pérez are about