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 fields papers by Kyu‐Ik Sohng are about Top fields papers by Min Tang are about Top fields papers by Gila Cohen Zilka are about Top fields papers by Arun Kumar Singh are about Top fields papers by E. Yu. Shadrin are about Top journals papers by Devika Gupta are published in Top countries impacted by papers by Abdollah Alhevaz Top countries impacted by papers by Shakizada Niyazbekova