University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 8,274 items
Thumbnail for Making Formal Verification Trustworthy via Proof Generation
Making Formal Verification Trustworthy via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Trustworthy Program Verification via Proof Generation
Trustworthy Program Verification via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Towards a Trustworthy Semantics-Based Language Framework via Proof Generation
Towards a Trustworthy Semantics-Based Language Framework via Proof Generation
Xiaohong Chen; Zhengyao Lin; Minh-Thai Trinh; Grigore Rosu

Thumbnail for A study of readers’ motivations and behavior with motivational books in Taiwan
A study of readers’ motivations and behavior with motivational books in Taiwan
Lu, Sin-Bei; Yang, Chia-Chen; Yen, Tsai-Lun; Lin, Chi-Shiou

Thumbnail for Fast Convex Optimization Algorithms for Exact Recovery of a Corrupted Low-Rank Matrix
Fast Convex Optimization Algorithms for Exact Recovery of a Corrupted Low-Rank Matrix
Lin, Zhouchen; Ganesh, Arvind; Wright, John; Wu, Leqin; Chen, Minming; Ma, Yi