Scalable Influence Maximization in Social Networks under the Linear Threshold Model. - Wei Chen 013; Yifei Yuan 001; Li Zhang 001 (ICDM, 2010)

Influence Maximization in Social Networks When Negative Opinions May Emerge and Propagate. - Wei Chen 013; Alex Collins; Rachel Cummings; Te Ke; Zhenming Liu; David Rincón 001; Xiaorui Sun; Yajun Wang 001; Wei Wei; Yifei Yuan 001 (SDM, 2011)

Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems - Rajeev Alur; Loris D'Antoni; Jyotirmoy V. Deshmukh; Mukund Raghothaman; Yifei Yuan 001 (CoRR, 2011)

On the feasibility of automation for bandwidth allocation problems in data centers. - Yifei Yuan 001; Anduo Wang; Rajeev Alur; Boon Thau Loo (FMCAD, 2013)

On the Complexity of Shortest Path Problems on Discounted Cost Graphs. - Rajeev Alur; Sampath Kannan; Kevin Tian; Yifei Yuan 001 (LATA, 2013)

Regular Functions and Cost Register Automata. - Rajeev Alur; Loris D'Antoni; Jyotirmoy V. Deshmukh; Mukund Raghothaman; Yifei Yuan 001 (LICS, 2013)

An Adaptable Rule Placement for Software-Defined Networks. - Shuyuan Zhang; Franjo Ivancic; Cristian Lumezanu; Yifei Yuan 001; Aarti Gupta; Sharad Malik (DSN, 2014)

NetEgg: Programming Network Policies by Examples. - Yifei Yuan 001; Rajeev Alur; Boon Thau Loo (HotNets, 2014)

Generating consistent updates for software-defined network configurations. - Yifei Yuan 001; Franjo Ivancic; Cristian Lumezanu; Shuyuan Zhang; Aarti Gupta (HotSDN, 2014)

Scenario-based programming for SDN policies. - Yifei Yuan 001; Dong Lin; Rajeev Alur; Boon Thau Loo (CoNEXT, 2015)

Quantitative Network Monitoring with NetQRE. - Yifei Yuan 001; Dong Lin; Ankit Mishra; Sajal Marwaha; Rajeev Alur; Boon Thau Loo (SIGCOMM, 2017)

NetEgg: A Scenario-Based Programming Toolkit for SDN Policies. - Yifei Yuan 001; Dong Lin; Siri Anil; Harsh Verma; Anirudh Chelluri; Rajeev Alur; Boon Thau Loo (IEEE/ACM Trans. Netw., 2018)

Reasoning about Network Traffic Load Property at Production Scale. - Ruihan Li; Fangdan Ye; Yifei Yuan 001; Ruizhen Yang; Bingchuan Tian; Tianchen Guo; Hao Wu; Xiaobo Zhu; Zhongyu Guan; Qing Ma; Xianlong Zeng; Chenren Xu; et al. (NSDI, 2024)

A General and Efficient Approach to Verifying Traffic Load Properties under Arbitrary k Failures. - Ruihan Li; Yifei Yuan 001; Fangdan Ye; Mengqi Liu 001; Ruizhen Yang; Yang Yu; Tianchen Guo; Qing Ma; Xianlong Zeng; Chenren Xu; Dennis Cai; Ennan Zhai (SIGCOMM, 2024)

Relational Network Verification. - Xieyang Xu; Yifei Yuan 001; Zachary Kincaid; Arvind Krishnamurthy; Ratul Mahajan; David Walker 001; Ennan Zhai (SIGCOMM, 2024)