University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–17 of 17 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 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 Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu

Thumbnail for Towards a Trustworthy Semantics-Based Language Framework via Proof Generation
Towards a Trustworthy Semantics-Based Language Framework via Proof Generation
Xiaohong Chen; Zhengyao Lin; Minh-Thai Trinh; Grigore Rosu

Thumbnail for Academic and campus experiences of college students with visual impairments in Vietnam: a multiple case-based study
Academic and campus experiences of college students with visual impairments in Vietnam: a multiple case-based study
Bui, Tuyen Thi Thanh

Thumbnail for Reversing the French gaze: four Vietnamese Francophone women writers from 1910s to 2000s—Marguerite Triaire, Trinh Thuc Oanh, Ly Thu Ho, and Linda Lê
Reversing the French gaze: four Vietnamese Francophone women writers from 1910s to 2000s—Marguerite Triaire, Trinh Thuc Oanh, Ly Thu Ho, and Linda Lê
Kwok, Gloria

Thumbnail for An Interactive Theorem Prover for Matching Logic with Proof Object Generation
An Interactive Theorem Prover for Matching Logic with Proof Object Generation
Lin, Zhengyao; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Embodiments of Difference: Representations of Vietnamese Women in the U.S. Cultural Imaginary
Embodiments of Difference: Representations of Vietnamese Women in the U.S. Cultural Imaginary
Bui, Diem-My Thi

Thumbnail for Guarded Matching Logic is Decidable
Guarded Matching Logic is Decidable
Rodrigues, Nishant; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Contingent identities
Contingent identities
Lopez, Victoria A.

Thumbnail for LTL Model Checking in Matching Logic
LTL Model Checking in Matching Logic
Tusil, Jan; Chen, Xiaohong

Thumbnail for The Quest for a Filipino Identity: Constructing Ethnic Identity in a Transnational Location
The Quest for a Filipino Identity: Constructing Ethnic Identity in a Transnational Location
Ignacio, Emily Noelle Sanchez

Thumbnail for
"""The Everyday Affective Life of Racism"": Forms of Racial Melancholia in Early Asian American Literature"
Im, Jane

Thumbnail for Hyperproperties in Matching Logic
Hyperproperties in Matching Logic
Tusil, Jan; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Multiple literacies in a multicultural setting: Contextualizing nontraditional students' appropriation of virtuality and reality
Multiple literacies in a multicultural setting: Contextualizing nontraditional students' appropriation of virtuality and reality
Gruber, Sibylle

Thumbnail for Blackness and Periphery: A Retelling of Marginality in Hip -Hop Culture of Sao Paulo, Brazil
Blackness and Periphery: A Retelling of Marginality in Hip -Hop Culture of Sao Paulo, Brazil
Pardue, Derek Parkman

Thumbnail for Faculty publications and doctoral dissertations. 1975-1977
Faculty publications and doctoral dissertations. 1975-1977
University of Illinois at Urbana-Champaign