University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 181–210 of 1,192 items
Thumbnail for Maximality of Atomic Causality
Maximality of Atomic Causality
Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for Nucleation in Supersaturated Vapors
Nucleation in Supersaturated Vapors
Clarke, John Victor, Jr.

Thumbnail for A Rewriting Logic Approach to Operational Semantics
A Rewriting Logic Approach to Operational Semantics
Serbanuta, Traian Florin; Rosu, Grigore; Meseguer, José

Thumbnail for River otters as biomonitors for organochlorine pesticides, PCBs, and PBDEs in Illinois.
River otters as biomonitors for organochlorine pesticides, PCBs, and PBDEs in Illinois.
Carpenter, Samantha K.; Mateus-Pinilla, Nohra E.; Singh, Kuldeep; Lehner, Andreas; Satterthwaite-Phillips, Damian; Bluett, Robert D.; Rivera, Nelda A.; Novakofski, Jan E.

Thumbnail for Maximality of Atomic Causality
Maximality of Atomic Causality
Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore