University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 3361–3390 of 15,884 items
Thumbnail for Graduate Students
Graduate Students
KIN 494_06-01; KIN 494_06-03; Nordmeyer, Erin; Malavasi, Leticia; Hall, Grenita; Schrag, Myles

Thumbnail for Ion Bunching at High Energies
Ion Bunching at High Energies
Johnson, Gary Burton

Thumbnail for Making Formal Verification Trustworthy via Proof Generation
Making Formal Verification Trustworthy via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore