University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 61–90 of 1,192 items
Thumbnail for Maximal Causal Models for Sequentially Consistent Multithreaded Systems
Maximal Causal Models for Sequentially Consistent Multithreaded Systems
Șerbănuță, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for KRAM--Extended Report
KRAM--Extended Report
Șerbănuță, Traian Florin; Rosu, Grigore

Thumbnail for Condensation of Immiscible Mixtures
Condensation of Immiscible Mixtures
Bernhardt, Steven Howard

Thumbnail for Specularity of Longitudinal Acoustic Phonons at Rough Surfaces
Specularity of Longitudinal Acoustic Phonons at Rough Surfaces
Gelda, Dhruv; Ghossoub, Marc G.; Valavala, Krishna; Ma, Jun; Rajagopal, Manjunath C.; Sinha, Sanjiv

Thumbnail for Alumni news / 15(1988)
Alumni news / 15(1988)
University of Illinois at Urbana-Champaign. Deptartment of Urban and Regional Planning

Thumbnail for Runtime Verification of C Memory Safety
Runtime Verification of C Memory Safety
Rosu, Grigore; Schulte, Wolfram; Serbanuta, Traian Florin

Thumbnail for A Formal Rewriting Logic Semantic Definition of Scheme
A Formal Rewriting Logic Semantic Definition of Scheme
Meredith, Patrick O'Neil; Hills, Mark; Rosu, Grigore

Thumbnail for Dextrose in commercial ice-cream manufacture
Dextrose in commercial ice-cream manufacture
Corbett, Willard Jason; Tracy, Paul Hubert

Thumbnail for Reachability Logic in K
Reachability Logic in K
Stefanescu, Andrei; Ciobaca, Stefan; Moore, Brandon; Serbanuta, Traian Florin; Rosu, Grigore