University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 121–150 of 507 items
Thumbnail for Guarded Matching Logic is Decidable
Guarded Matching Logic is Decidable
Rodrigues, Nishant; Chen, Xiaohong; Rosu, Grigore

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