University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 5191–5220 of 11,176 items
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

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.