University of Illinois Urbana-Champaign

Modular Verification of Protocol Equivalence in the Presence of Randomness

Bauer, Matthew S; Chadha, Rohit; Viswanathan, Mahesh

Composing protocols with randomized actions

Matthew S. Bauer, Rohit Chadha and Mahesh Viswanathan

Blue Waters 2017 Annual Report

Blue Waters Project

Annual report to the Board of Natural Resources and Conservation / Illinois State Geological Survey Report 1991-92 vol. 3 (recognition and service)

Illinois State Geological Survey

Determinants of species composition, functional leaf traits, and floristic quality in restored wetlands

Charles, Brian

Detecting long-term trends in water quality parameters using remote sensing techniques

Larkin, Jinna

Bulletin of the Center for Children's Books 47 (06) 1994

Submitter: William Ingram

Bibliography and index of Illinois geology 1966-1996

Martin, Lynne Raymond

Annual report to the Board of Natural Resources and Conservation / Illinois State Geological Survey Report 1995-96 vol. 2

Illinois State Geological Survey

Bulletin of the Center for Children's Books 56 (02) 2002

Submitter: William Ingram

Index to Library Trends Volume 50

Rowland, Marilyn J.

Determining vegetation metric robustness to environmental and methodological variables, and coefficients of conservatism for the flora of the Middle Rio Grande, New Mexico

Stern, Jess L

Bibliography and index of Illinois geology: 1988

Submitter: Howard Ding

The Community Anchor Institutions of Champaign-Urbana, Illinois Technology Use by Non-Profit and Public Organizations in the Broadband Moment

Williams, Kate; Bailey, Ron; Booth, Ashley E.; Breck, Julianne L.; Cao, Haixia; Chen, I-Ju; Gant, Jon P.; Graham, Lauren M.; Grant, Lily; Green, Ivy Renee; Griebler, Claire; Hallauer, Afton; Hebel, Jennifer; Holland, Anna; Idoniboye, Opubo T.; Kim, Sunghwan "Sunny"; Kretzer, Lela; Lenstra, Noah; Lin, Yueh-Mei; Liu, Qiyuan; Looby, Mary; Lux, Rachel; McClowry, Colleen; Millsap, Samantha; Newcomer, John; Osisek, Elizabeth; Rosulescu, Andrei; Sackmann, Abigail; Sandberg, Jane; Smeltzer, Mike; Sorgert, Becca; Strillacci, Claire

Transactions of the Board of Trustees [electronic resource] / 2004-06

University of Illinois (System). Board of Trustees

Latin Antecedents of Romance Prepositional Usage: A Study Based on Nine Latin Works

Stillman, David Michael

Fiftieth annual farm and home week program, February 5-8, 1951. 48:35

University of Illinois at Urbana-Champaign. College of Agriculture

An Inquiry Into the Socioeconomic Accounting Information Needs of Federal Legislators

Burton, Eric James

Bulletin of the Center for Children's Books 44 (07) 1991

Submitter: William Ingram

Passive social media use and emotional wellbeing: Potential influences of newsfeed content and neighborhood danger

Jones, Markera

Bulletin of the Center for Children's Books 45 (10) 1992

Submitter: William Ingram

Quaternary geology, geomorphology, and climatic history of Kane County, Illinois

Curry, B. Brandon; Grimley, David A.; Stravers, Jay A.

Veterinary report

University of Illinois. College of Veterinary Medicine

Genetic analysis of lambda integrase and Escherichia coli integration host factor: Interactions with their recognition sites

Lee, Eunhee Cho

Path Selection for Performance- and Security-Improved Onion Routing

Snader, Robin

The rhetorics of community space: critical events in Champaign-Urbana's Black Freedom Movement

Burns, Michael

Heteroepitaxial Growth and Morphology of Thin Metal Films

Zhou, Guoliang

Bulletin of the Center for Children's Books 53 (02) 1999

Submitter: William Ingram

Comparative whole genome transcriptional responses of Ruminococcus albus strain 7 and 8: a case for specialization and niche differentiation

Kwon, Inhyuk

Commencement program. 1930/31

University of Illinois at Urbana-Champaign