Concepedia

Man‐Tak Shing

MS

Statistics

Publications

27

Citations

598

H-Index

15

Active since

1980

Affiliations

Naval Postgraduate School(Current)

University of California San Diego

University of California, Santa Barbara

Man‐Tak Shing is an author at Naval Postgraduate School specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringSoftware AnalysisSoftware EngineeringVerificationFormal MethodsSoftware DesignSoftware TestingFormal Verification

Publications per year

1980–2020

27

Publications

27

Computation of Matrix Chain Products. Part II

T. C. Hu, Man‐Tak Shing · SIAM Journal on Computing · 1984 · 70 citations

Mathematical Programming, Engineering, Matrix Analysis +11

Cloud to cloud interoperability

Scott F. Dowell, Albert Barreto, James Bret Michael et al. · 2011 · 49 citations

Cloud Interoperability, Engineering, Cloud-based Integration +13

Computation of Matrix Chain Products. Part I

T. C. Hu, Man‐Tak Shing · SIAM Journal on Computing · 1982 · 48 citations

Mathematical Programming, Engineering, Matrix Analysis +12

A Visual Tradeoff Space for Formal Verification and Validation Techniques

Doron Drusinsky, James Bret Michael, Man‐Tak Shing · IEEE Systems Journal · 2008 · 29 citations

Software Maintenance, Engineering, Computer-assisted Formal Verification +22

Algorithms for special cases of rectilinear steiner trees: I. Points on the boundary of a rectilinear rectangle

Pankaj Agarwal, Man‐Tak Shing · Networks · 1990 · 28 citations

Mathematical Programming, Engineering, Geometry +20

1–5 of 27