University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–17 of 17 items
Thumbnail for Automatic techniques for proving correctness of heap-manipulating programs
Automatic techniques for proving correctness of heap-manipulating programs
Qiu, Xiaokang

Thumbnail for Physically-asynchronous logically-synchronous (PALS) system design and development
Physically-asynchronous logically-synchronous (PALS) system design and development
Al-Nayeem, Abdullah

Thumbnail for Automated deductive verification of systems software
Automated deductive verification of systems software
Pek, Edgar

Thumbnail for The politics and identity of fashion changes in early-twentieth century China
The politics and identity of fashion changes in early-twentieth century China
Wang, Lu

Thumbnail for PALS: Physically Asynchronous Logically Synchronous Systems
PALS: Physically Asynchronous Logically Synchronous Systems
Sha, Lui; Al-Nayeem, Abdullah; Sun, Mu; Meseguer, José; Olveczky, Peter C.

Thumbnail for Learning-based inductive invariant synthesis
Learning-based inductive invariant synthesis
Garg, Pranav

Thumbnail for Identities involving theta functions and analogues of theta functions
Identities involving theta functions and analogues of theta functions
Xu, Ping

Thumbnail for PALS/PRISM Software Design Description (SDD): Ver. 0.51
PALS/PRISM Software Design Description (SDD): Ver. 0.51
Kim, Cheolgi; Al-Nayeem, Abdullah; Yun, Heechul; Wu, Po-Liang; Sha, Lui

Thumbnail for Representing Divorce, Reforming Interiority: Narratives of Gender, Class and Family in Post-Reform Chinese Literature and Culture
Representing Divorce, Reforming Interiority: Narratives of Gender, Class and Family in Post-Reform Chinese Literature and Culture
Xiao, Hui

Thumbnail for Tencent as a nexus: the political economy of China’s internet industry
Tencent as a nexus: the political economy of China’s internet industry
Tang, Min

Thumbnail for Toward language-independent program verification
Toward language-independent program verification
Ștefănescu, Andrei

Thumbnail for The anticommons problem in China’s landownership system and its reform
The anticommons problem in China’s landownership system and its reform
Feng, Ye

Thumbnail for Structural analyses of the ribosome by hybrid approach
Structural analyses of the ribosome by hybrid approach
Chan, Kwok Yan

Thumbnail for Neural recommender models for sparse and skewed behavioral data
Neural recommender models for sparse and skewed behavioral data
Krishnan, Adit

Thumbnail for Low complexity system architecture design for medical Cyber-Physical-Human Systems (CPHS)
Low complexity system architecture design for medical Cyber-Physical-Human Systems (CPHS)
Wu, Po-Liang

Thumbnail for Chinese only children: Experiences in U.S. universities
Chinese only children: Experiences in U.S. universities
Tang, Xiaokang

Thumbnail for Cultural governance in contemporary China: popular culture, digital technology, and the state
Cultural governance in contemporary China: popular culture, digital technology, and the state
Li, Luzhou