University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 3271–3300 of 9,290 items
Thumbnail for Trustworthy Program Verification via Proof Generation
Trustworthy Program Verification via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Efficient Mutual Exclusion in Peer-to-Peer Systems
Efficient Mutual Exclusion in Peer-to-Peer Systems
Muhammad, Moosa; Cheema, Adeep; Gupta, Indranil

Thumbnail for Bita: Coverage-guided, Automatic Testing of Actor Programs
Bita: Coverage-guided, Automatic Testing of Actor Programs
Tasharofi, Samira; Pradel, Michael; Lin, Yu; Johnson, Ralph E.

Thumbnail for Inferred Allelic Variants of Immunoglobulin Receptor Genes: A System for Their Evaluation, Documentation, and Naming
Inferred Allelic Variants of Immunoglobulin Receptor Genes: A System for Their Evaluation, Documentation, and Naming
Ohlin, Mats; Scheepers, Cathrine; Corcoran, Martin; Lees, William D.; Busse, Christian E.; Bagnara, Davide; Thörnqvist, Linnea; Bürckert, Jean-Philippe; Jackson, Katherine J. L.; Ralph, Duncan; A., Chaim; Marthandan, Nishanth; Breden, Felix; Scott, Jamie; Matsen IV, Frederick A.; Greiff, Victor; Yaari, Gur; Kleinstein, Steven H.; Christley, Scott; Sherkow, Jacob S.; Kossida, Sofia; Lefranc, Marie-Paule; van Zelm, Menno C.; Watson, Corey T.; Collins, Andrew M.