University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–20 of 20 items
Thumbnail for Maude-PSL: a new input language for Maude-NPA
Maude-PSL: a new input language for Maude-NPA
Cholewa, Andrew Russel

Thumbnail for Variants of Variants and the Finite Variant Property
Variants of Variants and the Finite Variant Property
Cholewa, Andrew; Meseguer, José; Escobar, Santiago

Thumbnail for Constrained Narrowing for Conditional Equational Theories Modulo Axioms
Constrained Narrowing for Conditional Equational Theories Modulo Axioms
Cholewa, Andrew; Escobar, Santiago; Meseguer, José

Thumbnail for 21st century literacy instruction: African American males' experiences in an English/language arts classroom
21st century literacy instruction: African American males' experiences in an English/language arts classroom
Blackmon, Nikisha

Thumbnail for Status of Endangered and Threatened Sand Area Species of the Illinois Flora
Status of Endangered and Threatened Sand Area Species of the Illinois Flora
Phillippe, Loy R.; Molano-Flores, Brenda; Murphy, Michael J.C.; Marcum, Paul B.; Ebinger, John E.

Thumbnail for Investigation of Electrode Processes and Double Layer Structure Using Visible/infrared Sum Frequency Generation
Investigation of Electrode Processes and Double Layer Structure Using Visible/infrared Sum Frequency Generation
Shaw, Scott Kevin

Thumbnail for Teaching as a means of participating in a movement for social change: critical care in practice
Teaching as a means of participating in a movement for social change: critical care in practice
Zaccor, Karla Mills

Thumbnail for In-situ electrochemical spectroscopy and probe microscopy studies of electrodeposition
In-situ electrochemical spectroscopy and probe microscopy studies of electrodeposition
Hatch, Jeremy J.

Thumbnail for Variant-Based Satisfiability
Variant-Based Satisfiability
Meseguer, José

Thumbnail for Development of Guidelines for Implementation of Horizontal Directional Drilling
Development of Guidelines for Implementation of Horizontal Directional Drilling
Hashash, Youssef M. A.; Baltaji, Omar; Xing, Guangchao; Liang, Yongxi

Thumbnail for Extending the language and applications of Maude-NPA through rewriting semantics
Extending the language and applications of Maude-NPA through rewriting semantics
Yang, Fan

Thumbnail for Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude
Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude
Liu, Si

Thumbnail for Rewriting-based symbolic methods for distributed system verification
Rewriting-based symbolic methods for distributed system verification
Skeirik, Stephen

Thumbnail for Symbolic reachability analysis for rewrite theories
Symbolic reachability analysis for rewrite theories
Rocha, Camilo

Thumbnail for Rewriting-based model checking methods
Rewriting-based model checking methods
Bae, Kyungmin

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

Thumbnail for Commencement program. 1932-1945
Commencement program. 1932-1945
University of Illinois at Urbana-Champaign

Thumbnail for Annual register. 1934-35
Annual register. 1934-35
University of Illinois at Urbana-Champaign

Thumbnail for Annual register. 1933-34
Annual register. 1933-34
University of Illinois at Urbana-Champaign

Thumbnail for Students' directory. 1970-1973
Students' directory. 1970-1973
University of Illinois at Urbana-Champaign