University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 6811–6840 of 13,279 items
Thumbnail for Formal semantics of hybrid automata
Formal semantics of hybrid automata
Saxena, Manasvi; Chen, Xiaohong; Rodrigues, Nishant; 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 Technology Diffusion and Pollution Prevention
Technology Diffusion and Pollution Prevention
Jacobson, Debra; Lindsey, Tim; Scrogum, Joy; Barnes, Laura L.

Thumbnail for Full-scale FEED Study for Retrofitting the Prairie State Generating Station with an 816 MWe Capture Plant using Mitsubishi Heavy Industries Engineering Post-Combustion CO2 Capture Technology
Full-scale FEED Study for Retrofitting the Prairie State Generating Station with an 816 MWe Capture Plant using Mitsubishi Heavy Industries Engineering Post-Combustion CO2 Capture Technology
OBrien, Kevin C; Lu, Yongqi; Dietsch, Jason; Zhang, Jason; Wu, Tiffany; Thomas, Timothy; Iwakura, Keisuke; Thomas, Matthew; Brown, Alison; Guletsky, Paula; Baker, Anthony; Meyer, Rich; Arzola, Javier; Gaston, Don