University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 151–180 of 508 items
Thumbnail for The Report of the  2019 NSF Cybersecurity Summit for  Large Facilities and Cyberinfrastructure
The Report of the 2019 NSF Cybersecurity Summit for Large Facilities and Cyberinfrastructure
Adams, Andrew; Benninger, Kathy; Dopheide, Jeannette; Krenz, Mark; Marsteller, James; Zage, John; Avila, Kay

Thumbnail for Guarded Matching Logic is Decidable
Guarded Matching Logic is Decidable
Rodrigues, Nishant; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu

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 Fate of Arsenic in the Mahomet Aquifer: Influence of Added Sulfate and Nitrate
Fate of Arsenic in the Mahomet Aquifer: Influence of Added Sulfate and Nitrate
Sanford, Robert; Flynn, Theodore; Holm, Thomas R.; Kelly, Walton R.