University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 301–330 of 5,071 items
Thumbnail for Maximal Causal Models for Multithreaded Systems
Maximal Causal Models for Multithreaded Systems
Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for Hyperproperties in Matching Logic
Hyperproperties in Matching Logic
Tusil, Jan; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Stability of an evaporating thin liquid film
Stability of an evaporating thin liquid film
Shklyaev, Oleg E.; Fried, Eliot

Thumbnail for iConference 2015 Program
iConference 2015 Program
Submitter: Kelly Applegate