University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 699 items
Thumbnail for 2018 Di Girolamo
2018 Di Girolamo
Di Girolamo

Thumbnail for Communicating the Impacts of Potential Future Climate Change on the Expected Frequency of Extreme Rainfall Events in Cook County, Illinois
Communicating the Impacts of Potential Future Climate Change on the Expected Frequency of Extreme Rainfall Events in Cook County, Illinois
Markus, Momcilo; Angel, James R.; Byard, Gregory J.; Zhang, Chen; Zaloudek, Zoe; McConkey, Sally A.

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 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