University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1891–1920 of 4,498 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 Evidence for a multi-level trophic organization of the human gut microbiome
Evidence for a multi-level trophic organization of the human gut microbiome
Wang, Tong; Goyal, Akshit; Dubinkina, Veronika; Maslov, Sergei

Thumbnail for ReAssert: Suggesting Repairs for Broken Unit Tests
ReAssert: Suggesting Repairs for Broken Unit Tests
Daniel, Brett; Jagannath, Vilas; Dig, Danny; Marinov, Darko

Thumbnail for Link Quality Estimation for Data-Intensive Sensor Network Applications
Link Quality Estimation for Data-Intensive Sensor Network Applications
Moinzadeh, Parya; Mechitov, Kirill A.; Agha, Gul A.