University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 91–120 of 317 items
Thumbnail for On Localizing Urban Events with Instagram
On Localizing Urban Events with Instagram
Giridhar, Prasanna; Wang, Shiguang; Abdelzaher, Tarek F.; Kaplan, Lance; George, Jemin; Ganti, Raghu

Thumbnail for GSLIS Alumni Newsletter Spring 2010
GSLIS Alumni Newsletter Spring 2010
Graduate School of Library and Information Science. University of Illinois at Urbana-Champaign.

Thumbnail for Program Verification by Coinduction
Program Verification by Coinduction
Rosu, Grigore; Moore, Brandon

Thumbnail for Strong normalization for System F by HOAS on top of FOAS
Strong normalization for System F by HOAS on top of FOAS
Popescu, Andrei; Gunter, Elsa L.; Osborn, Christopher J.