University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 2071–2100 of 3,278 items
Thumbnail for Shedding light on E. coli phototaxis
Shedding light on E. coli phototaxis
Perlova, Tatyana Yurievna

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