1. A model checking approach to countering the dynamics of infection propagation over network Open Access Author: Zhang, Can Title: A model checking approach to countering the dynamics of infection propagation over network Graduate Program: Information Sciences and Technology Keywords: Model checking File: Download Thesis_ModelChecking_CanZhang_Final.pdf Committee Members: Dinghao Wu, Thesis Advisor/Co-Advisor
2. GEOCODING DISAMBIGUATION FOR ONLINE FORUM DISCUSSION THREAD Open Access Author: Zhang, Fan Title: GEOCODING DISAMBIGUATION FOR ONLINE FORUM DISCUSSION THREAD Graduate Program: Information Sciences and Technology Keywords: geocodinggeotagginggeocoding disambiguation File: Download FanZhang_Thesis_04.01.pdf Committee Members: Guoray Cai, Thesis Advisor/Co-Advisor