University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 241–270 of 508 items
Thumbnail for UIC Sustainable Materials Management Plan
UIC Sustainable Materials Management Plan
Feher, Savannah; Iosbaker, Joe; Janssen Mahajan, April; Klein-Banai, Cindy; Pai, Shantanu; Scrogum, Joy

Thumbnail for Towards a Trustworthy Semantics-Based Language Framework via Proof Generation
Towards a Trustworthy Semantics-Based Language Framework via Proof Generation
Xiaohong Chen; Zhengyao Lin; Minh-Thai Trinh; Grigore Rosu

Thumbnail for Biomarker Magazine Winter 2019, vol. 13
Biomarker Magazine Winter 2019, vol. 13
University of Illinois. Carl R. Woese Institute for Genomic Biology. Communications Department

Thumbnail for LTL Model Checking in Matching Logic
LTL Model Checking in Matching Logic
Tusil, Jan; Chen, Xiaohong