University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 8431–8460 of 15,751 items
Thumbnail for LTL Model Checking in Matching Logic
LTL Model Checking in Matching Logic
Tusil, Jan; Chen, Xiaohong

Thumbnail for Proceedings from North American Symposium on Knowledge Organization, Vol. 3
Proceedings from North American Symposium on Knowledge Organization, Vol. 3
Beak, Jihee; Olson, Hope A.; Edwards, Chloe; Kipp, Margaret E.I.; Milonas, Elizabeth; Green, Rebecca; Spiteri, Louise; Hudon, Michèle; MacCall, Steven; Fortier, Alexandre; McTavish, Jill; Milani, Suellen Oliviera; van den Heuvel, Charles; Loeherlein, Aaron; La Barre, Kathryn A.; Pimentel, David M.; Fox, Melodie; Dousa, Thomas M.; Pattuelli, Cristina; Tennis, Joseph T.; Barros, Thiago Henrique Bragato; Campbell, D. Grant; Thornton, Katherine

Thumbnail for ITARP 2009 Annual Report
ITARP 2009 Annual Report
Illinois Transportation Archaeological Research Program

Thumbnail for Design, Formal Modeling, and Validation of Cloud Storage   Systems using Maude
Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude
Bobba, Rakesh; Grov, Jon; Gupta, Indranil; Liu, Si; Meseguer, José; Olveczky, Peter C.; Skeirik, Stephen

Thumbnail for Tack Coat Optimization for HMA Overlays: Accelerated Pavement Test Report
Tack Coat Optimization for HMA Overlays: Accelerated Pavement Test Report
Al-Qadi, Imad L.; Carpenter, Samuel H.; Leng, Zhen; Ozer, Hasan; Trepanier, James

Thumbnail for Chronic Wasting Disease In Cervids: Prevalence, Impact And Management Strategies.
Chronic Wasting Disease In Cervids: Prevalence, Impact And Management Strategies.
Rivera, Nelda A.; Brandt, Adam L.; Novakofski, Jan E.; Mateus-Pinilla, Nohra E.