Man‐Tak Shing

876 total citations
79 papers, 504 citations indexed

About

Man‐Tak Shing is a scholar working on Software, Artificial Intelligence and Computational Theory and Mathematics. According to data from OpenAlex, Man‐Tak Shing has authored 79 papers receiving a total of 504 indexed citations (citations by other indexed papers that have themselves been cited), including 36 papers in Software, 27 papers in Artificial Intelligence and 26 papers in Computational Theory and Mathematics. Recurrent topics in Man‐Tak Shing's work include Software Reliability and Analysis Research (28 papers), Formal Methods in Verification (21 papers) and Advanced Software Engineering Methodologies (20 papers). Man‐Tak Shing is often cited by papers focused on Software Reliability and Analysis Research (28 papers), Formal Methods in Verification (21 papers) and Advanced Software Engineering Methodologies (20 papers). Man‐Tak Shing collaborates with scholars based in United States, France and Czechia. Man‐Tak Shing's co-authors include James Bret Michael, Doron Drusinsky, T. C. Hu, Mikhail Auguston, Kadir Alpaslan Demir, Pankaj Agarwal, Scott F. Dowell, János Komlós, James Michael and Gary B. Parker and has published in prestigious journals such as European Journal of Operational Research, SIAM Journal on Computing and IEEE Software.

In The Last Decade

Man‐Tak Shing

70 papers receiving 460 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Man‐Tak Shing United States	13	188	164	162	155	155	79	504
Sungdeok Cha South Korea	16	264 1.4×	147 0.9×	162 1.0×	182 1.2×	114 0.7×	41	531
Elena Troubitsynå Finland	11	154 0.8×	159 1.0×	117 0.7×	104 0.7×	126 0.8×	69	413
András Pataricza Hungary	10	333 1.8×	225 1.4×	128 0.8×	221 1.4×	81 0.5×	61	501
Stefan Leue Germany	15	397 2.1×	263 1.6×	141 0.9×	149 1.0×	415 2.7×	70	727
Salem Derisavi United States	9	197 1.0×	140 0.9×	306 1.9×	140 0.9×	261 1.7×	18	642
Thai Son Hoang United Kingdom	8	197 1.0×	236 1.4×	101 0.6×	100 0.6×	257 1.7×	42	482
István Majzik Hungary	12	406 2.2×	271 1.7×	125 0.8×	160 1.0×	258 1.7×	49	630
Laure Petrucci France	7	191 1.0×	179 1.1×	130 0.8×	99 0.6×	364 2.3×	38	569
Béatrice Bérard France	11	246 1.3×	256 1.6×	172 1.1×	90 0.6×	521 3.4×	31	760
Jan Carlson Sweden	14	188 1.0×	275 1.7×	209 1.3×	155 1.0×	146 0.9×	106	677

Countries citing papers authored by Man‐Tak Shing

Since Specialization

Citations

This map shows the geographic impact of Man‐Tak Shing's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Man‐Tak Shing with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Man‐Tak Shing more than expected).

Fields of papers citing papers by Man‐Tak Shing

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Man‐Tak Shing. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Man‐Tak Shing. The network helps show where Man‐Tak Shing may publish in the future.

Co-authorship network of co-authors of Man‐Tak Shing

This figure shows the co-authorship network connecting the top 25 collaborators of Man‐Tak Shing. A scholar is included among the top collaborators of Man‐Tak Shing based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Man‐Tak Shing. Man‐Tak Shing is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Michael, James, et al.. (2011). Verification and Validation for Trustworthy Software Systems. IEEE Software. 28(6). 86–92. 15 indexed citations

2.

Murphy, Judy, et al.. (2010). Independent validation of software safety requirements for systems of systems. Zenodo (CERN European Organization for Nuclear Research). 1–6. 4 indexed citations

3.

Michael, James Bret, et al.. (2009). A Validation Metrics Framework for safety-critical software-intensive Systems. Defense Technical Information Center (DTIC). 1–8. 9 indexed citations

4.

Michael, James Bret, et al.. (2009). Software reuse in the IV&V of system of systems. 1–5. 3 indexed citations

5.

Michael, James Bret, et al.. (2009). The verification and validation of software architecture for systems of systems. 1–6. 13 indexed citations

6.

Michael, James Bret, et al.. (2009). Standards interoperability: Applying software safety assurance standards to the evolution of legacy software. 1–8. 5 indexed citations

7.

Wijesekera, Duminda, et al.. (2008). Orchestrating BMD Control in Extended BPEL.

8.

Drusinsky, Doron, et al.. (2008). Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance. 47–51. 14 indexed citations

9.

Auguston, Mikhail, et al.. (2007). A design pattern for using non-developmental items in real-time Java. 135–135. 3 indexed citations

10.

Drusinsky, Doron, Man‐Tak Shing, & Kadir Alpaslan Demir. (2006). Creation and Validation of Embedded Assertion Statecharts. 17–23. 12 indexed citations

11.

Shing, Man‐Tak, et al.. (2004). Modeling and simulation of system-of-systems timing constraints with UML-RT and OMNeT++. 202–209. 9 indexed citations

12.

Drusinsky, Doron & Man‐Tak Shing. (2004). TLCharts: armor-plating Harel statecharts with temporal logic conditions. 29–36. 6 indexed citations

13.

Shing, Man‐Tak, et al.. (2003). Architectural re-engineering of Janus using object modeling and rapid prototyping. 6. 216–221.

14.

Shing, Man‐Tak, et al.. (2002). Evolutionary Computer Aided Prototyping System (CAPS). 24. 363–372. 1 indexed citations

15.

Luqi, et al.. (2000). Object-Oriented Modular Architecture for Ground Combat Simulation. Defense Technical Information Center (DTIC). 2 indexed citations

16.

Luqi, et al.. (1999). Re-engineering the Janus (A) combat simulation system. Defense Technical Information Center (DTIC). 3 indexed citations

17.

Bērziņš, Valdis, Luqi, & Man‐Tak Shing. (1995). Computer Aided Prototyping System.. Software Engineering and Knowledge Engineering. 499. 3 indexed citations

18.

Shing, Man‐Tak & Gary B. Parker. (1993). Genetic Algorithms for the Development of Real-Time Multi-Heuristic Search Strategies. international conference on Genetic algorithms. 565–572. 8 indexed citations

19.

Shing, Man‐Tak & T. C. Hu. (1986). A decomposition algorithm for multi-terminal networks flows. Discrete Applied Mathematics. 13(2-3). 165–181.

20.

Hu, T. C. & Man‐Tak Shing. (1984). Computation of Matrix Chain Products. Part II. SIAM Journal on Computing. 13(2). 228–251. 35 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact