University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 181–210 of 824 items
Thumbnail for Trusted CI: PEARC19 Workshop
Trusted CI: PEARC19 Workshop
Basney, Jim; Welch, Von; Brunson, Dana; Shankar, Anurag; Avila, Kay; Krenz, Mark; Del Vento, Davide; Chourasia, Amit; Wong, Mona; Marru, Suresh; Adams, Eric; Weitzel, Derek; Trivedi, Shivam; Mandal, Anirban; Barton, Tom

Thumbnail for Veterinary report
Veterinary report
University of Illinois. College of Veterinary Medicine

Thumbnail for Veterinary report
Veterinary report
University of Illinois. College of Veterinary Medicine

Thumbnail for KEVM: A Complete Semantics of the Ethereum Virtual Machine
KEVM: A Complete Semantics of the Ethereum Virtual Machine
Everett Hildenbrandt; Saxena, Manasvi; Xiaoran Zhu; Rodrigues, Nishant; Philip Daian; Guth, Dwight; Roşu, Grigore

Thumbnail for Veterinary report
Veterinary report
University of Illinois. College of Veterinary Medicine

Thumbnail for Brittle Fracture Propagation in Wide Steel Plates
Brittle Fracture Propagation in Wide Steel Plates
Hall, W.J.; Holfe, S.T.; Barton, F.W.; Newmark, N.M.

Thumbnail for IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics
IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics
Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian; Serbanuta, Virgil; Filaretti, Daniele; Roşu, Grigore; Johnson, Ralph