T.-K. Ma is an author at University of Washington specializing in systems engineering, computer science, and networked computer systems.
Top concepts
EngineeringComputer ScienceAutomated ReasoningSystems EngineeringSoftware EngineeringNetworked Computer SystemsData MiningReliabilityVerificationFormal Methods
Publications per year
1992–2003
2
2
An algorithm for identification of relations among rules
H.Y. Marathe, T.-K. Ma, C.-C. Liu · 2003 · 14 citations
Rows per page
1–2 of 2