Peng Dai

18 papers and 266 indexed citations i.

Peng Dai has authored 18 papers that have received a total of 266 indexed citations. This includes 15 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 7 papers in Computer Science Applications. The topics of these papers are Formal Methods in Verification (7 papers), Mobile Crowdsensing and Crowdsourcing (7 papers) and Adaptation to Concept Drift in Data Streams (7 papers). Peng Dai is often cited by papers focused on Formal Methods in Verification (7 papers), Mobile Crowdsensing and Crowdsourcing (7 papers) and Adaptation to Concept Drift in Data Streams (7 papers) and collaborates with scholars based in United States and China. Peng Dai's co-authors include Mausam Mausam, Daniel S. Weld, Praveen Paritosh, Judy Goldsmith and Jeffrey M. Rzeszotarski and has published in prestigious journals such as Artificial Intelligence, Complexity and ACM Transactions on Intelligent Systems and Technology