University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 18,114 items
Thumbnail for Assessment of the Ecotoxicological Hazard of Sediments in Waukegan Harbor, Illinois
Assessment of the Ecotoxicological Hazard of Sediments in Waukegan Harbor, Illinois
Ross, Philippe E.; Henebry, Michael S.; Burnett, LouAnn C.; Wang, Wuncheng

Thumbnail for “I Can’t Believe It’s Not Custodial!” Usable Trustless Decentralized Key Management
“I Can’t Believe It’s Not Custodial!” Usable Trustless Decentralized Key Management
Sharma, Tanusree; Nair, Vivek C.; Wang, Henry; Wang, Yang; Song, Dawn • 2024

Thumbnail for Formal Modeling and Analysis of the Walter Transactional Data Store
Formal Modeling and Analysis of the Walter Transactional Data Store
Liu, Si; Olveczky, Peter C.; Wang, Qi; Meseguer, José

Thumbnail for Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis
Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis
Liu, Si; Olveczky, Peter C.; Wang, Qi; Gupta, Indranil; Meseguer, José