University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 51 items
Thumbnail for Automatic Generation of CINNI Instances for the Maude System
Automatic Generation of CINNI Instances for the Maude System
Eckhardt, Jonas; Muelbauer, Tobias; Meseguer, José

Thumbnail for Formal Design of Cloud Computing Systems in Maude
Formal Design of Cloud Computing Systems in Maude
Meseguer, José

Thumbnail for All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions
All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions
Liu, Si

Thumbnail for Annual register. 1909-10
Annual register. 1909-10
University of Illinois at Urbana-Champaign

Thumbnail for From Models to Implementations - Distributed Algorithms using Maude
From Models to Implementations - Distributed Algorithms using Maude
Stephens, Sam C

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é

Thumbnail for Annual register. 1907-1908
Annual register. 1907-1908
University of Illinois at Urbana-Champaign

Thumbnail for Annual register. 1908-1909
Annual register. 1908-1909
University of Illinois at Urbana-Champaign

Thumbnail for Annual register. 1910-1911
Annual register. 1910-1911
University of Illinois at Urbana-Champaign

Thumbnail for Computational approaches for analyzing regulatory regions in the human genome
Computational approaches for analyzing regulatory regions in the human genome
Zhang, Yang

Thumbnail for Changes of breast cancer growth and metastasis in murine models modulated by an aromatase inhibitor, a low calcium diet or a high fat diet
Changes of breast cancer growth and metastasis in murine models modulated by an aromatase inhibitor, a low calcium diet or a high fat diet
Wang, Wendan

Thumbnail for Annual register. 1911-1912
Annual register. 1911-1912
University of Illinois at Urbana-Champaign

Thumbnail for The Artistic Value of Emotional Disorder for Goethe
The Artistic Value of Emotional Disorder for Goethe
Greene, Vivian Yvonne

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 Annual register. 1913-1914
Annual register. 1913-1914
University of Illinois at Urbana-Champaign

Thumbnail for College and Research Libraries 21 (5) September 1960
College and Research Libraries 21 (5) September 1960
Submitter: Howard Ding

Thumbnail for A meta-language for functional verification
A meta-language for functional verification
Katelman, Michael

Thumbnail for Hebrew-German and Early Yiddish Literature: A Survey of Problems
Hebrew-German and Early Yiddish Literature: A Survey of Problems
Howard, John Anderson

Thumbnail for Thomas Preston's 'Cambises': A Critical Edition
Thomas Preston's 'Cambises': A Critical Edition
Johnson, Robert Carl

Thumbnail for Community at a distance: Ray Johnson's correspondence art network, 1955-75
Community at a distance: Ray Johnson's correspondence art network, 1955-75
Kienle, Miriam

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

Thumbnail for Annual register. 1912-1913
Annual register. 1912-1913
University of Illinois at Urbana-Champaign

Thumbnail for University of Illinois directory, listing the 35,000 persons who have ever been connected with the Urbana-Champaign departments, including officers of instruction and administration and 1397 deceased
University of Illinois directory, listing the 35,000 persons who have ever been connected with the Urbana-Champaign departments, including officers of instruction and administration and 1397 deceased
Phelps, Vergil Vivian

Thumbnail for Making meaning out of high tech: A critical ethnographic retelling of personal stories about the information age
Making meaning out of high tech: A critical ethnographic retelling of personal stories about the information age
Woodward, Wayne David

Thumbnail for Annual register. 1915-16
Annual register. 1915-16
University of Illinois at Urbana-Champaign

Thumbnail for Faculty publications and doctoral dissertations. 1968-1970
Faculty publications and doctoral dissertations. 1968-1970
University of Illinois at Urbana-Champaign

Thumbnail for Security models in rewriting logic for cryptographic protocols and browsers
Security models in rewriting logic for cryptographic protocols and browsers
Sasse, Ralf

Thumbnail for Annual register. 1936-37
Annual register. 1936-37
University of Illinois at Urbana-Champaign

Thumbnail for Annual register. 1935-36
Annual register. 1935-36
University of Illinois at Urbana-Champaign

Thumbnail for Annual register. 1919-20
Annual register. 1919-20
University of Illinois at Urbana-Champaign