University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 10,904 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 2018 Di Girolamo
2018 Di Girolamo
Di Girolamo

Thumbnail for 2017 Di Girolamo
2017 Di Girolamo
Di Girolamo, Larry

Thumbnail for The Mathematics of Poker: Extending the Nash-Shapley Model
The Mathematics of Poker: Extending the Nash-Shapley Model
Dugar, Ajay; Corum, Tanner; Grosman, Kevin; Wang, Haoyu

Thumbnail for Social Network Analysis
Social Network Analysis
Yen, John; Giles, Lee; Foley, Hank; Adamic, Lada A.; Menczer, Filippo; Wang, Haizheng; Tapia, Andrea; Smith, Marc; Vespigani, Alessandro; Smith, Brian

Thumbnail for The Evolution of Digital Humanities in China
The Evolution of Digital Humanities in China
Wang, Xiaoguang; Tan, Xu; Li, Huinan