University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 7,960 items
Thumbnail for Mitochondrial genome in Hypsizygus marmoreus and its evolution in Dikarya
Mitochondrial genome in Hypsizygus marmoreus and its evolution in Dikarya
Wang, Gang; Lin, Jingxian; Shi, Yang; Chang, Xiaoguang; Wang, Yuanyuan; Guo, Lin; Wang, Wenhui; Dou, Meijie; Deng, Youjin; Ming, Ray; Zhang, Jisen

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 Answerer engagement in an enterprise social question & answering system
Answerer engagement in an enterprise social question & answering system
Wang, Dakuo; Hou, Youyang; Luo, Lin; Pan, Yingxin

Thumbnail for Developing a Serious Game for Information Ethics Literacy
Developing a Serious Game for Information Ethics Literacy
Wang, Jui-Ying; Lin, Weijane; Yueh, Hsiu-Ping

Thumbnail for Reducing Space Overhead for Independent Checkpointing
Reducing Space Overhead for Independent Checkpointing
Wang, Yi-Min; Chung, Pi-Yu; Lin, In-Jen; Fuchs, W. Kent

Thumbnail for Reducing Space Overhead for Independent Checkpointing
Reducing Space Overhead for Independent Checkpointing
Wang, Yi-Min; Chung, Pi-Yu; Lin, In-Jen; Fuchs, W. Kent

Thumbnail for Investigation of Contributing Factors Regarding Wrong-Way Driving on Freeways
Investigation of Contributing Factors Regarding Wrong-Way Driving on Freeways
Zhou, Huaguo; Zhao, Jiguang; Fries, Ryan; Gahrooei, Mostafa Reisi; Wang, Lin; Vaughn, Brent; Bahaaldin, Karzan; Ayyalasomayajula, Balasubrahmanyam