Precisely Deciding Control State Reachability in Concurrent Traces with Limited Observability. - Chao Wang 001; Kevin Hoang (VMCAI, 2014)

Cognitive and Predictive Analytics on Big Open Data. - Kevin Hoang; Carson K. Leung; Matthew R. Spelchak; Bonnie Tang; Duncan P. Taylor-Quiring; Nicholas J. Wiebe (ICCC, 2020)