University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 4351–4380 of 29,640 items
Thumbnail for 2019 CURES Connections Workshop: New Voices and Paths to Urban Sustainability
2019 CURES Connections Workshop: New Voices and Paths to Urban Sustainability
Ando, Amy; Hanson, Anne-Marie; Kocs, Elizabeth; Klein-Banai, Cynthia; Massey, Dean; Rigsbee, Carolee; Sharma, Ashish; Donald, Wuebbles; Moira, Zellner; Lei, Zhao

Thumbnail for Water Resources Availability, Quality, and Cost in Northeastern Illinois
Water Resources Availability, Quality, and Cost in Northeastern Illinois
Schicht, Richard, J.; Adams, J. Rodger; Stall, John B.

Thumbnail for IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain
IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain
Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian Florin; Zhang, Yi; Filaretti, Daniele; Serbanuta, Virgil; Johnson, Ralph; Roşu, 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