University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 31–60 of 102 items
Thumbnail for Exposure to a firefighting overhaul environment without respiratory protection increases immune dysregulation and lung disease risk
Exposure to a firefighting overhaul environment without respiratory protection increases immune dysregulation and lung disease risk
Gainey, Stephen J.; Horn, Gavin P.; Towers, Albert E.; Oelschlager, Maci L.; Tir, Vincent L.; Drnevich, Jenny; Fent, Kenneth W.; Kerber, Stephen; Smith, Denise L.; Freund, Gregory G.

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