University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1231–1260 of 18,472 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 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 Scalable Parametric Runtime Monitoring
Scalable Parametric Runtime Monitoring
Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore

Thumbnail for Determining the Chemical Composition of Cloud Condensation Nuclei
Determining the Chemical Composition of Cloud Condensation Nuclei
Williams, Allen L.; Rothert, Jane E.; McClure, Kent E.; Alofs, Darryl J.; Hagen, Donald E.; White, Daniel R.; Hopkins, A.R.; Trueblood, Max B.