University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

Graduate Dissertations and Theses at Illinois 84
College of Engineering 63
Dept. of Computer Science 58
College of Liberal Arts and Sciences 38
Research publications from UIUC 29
Dept. of Political Science 9
Dept. of Sociology 9
School of Information Sciences 8
Dept. of Anthropology 7
Publications - School of Information Sciences 6

Collection

Graduate Dissertations and Theses at Illinois 84
Dissertations and Theses - Computer Science 30
Research and Tech Reports - Computer Science 28
Research publications from the University of Illinois at Urbana-Champaign 27
Dissertations and Theses - Political Science 9
Dissertations and Theses - Sociology 9
Dissertations and Theses - Anthropology 7
Dissertations and Theses - Education 5
Summary of Engineering Research (2003-2008) 5
Dissertations and Theses - Business Administration 4

Author(s)

University of Illinois at Urbana-Champaign 17
Meseguer, José 9
Rosu, Grigore 6
Liu, Si 4
University of Illinois at Urbana-Champaign. College of Engineering 4
Chen, Xiaohong 3
Hendrix, Joseph D. 3
Serbanuta, Traian Florin 3
University of Illinois at Chicago Circle 3
Chang, Po-Hao 2

Keyword(s)

Computer Science 18
Political Science, General 9
computer science 7
Formal Methods 4
Home economics -- Study and teaching 4
Research and publications sponsored in the College of Engineering 4
Women's Studies 4
Anthropology, Cultural 3
American Studies 2
Books and reading. 2

Type of Resource

text 150
image 2
Thesis 1

↑ ↓

Showing 91–120 of 163 items

2
3
4 (current)
5
6

Thumbnail for Illinois teacher of home economics. 22 (1978-79)

Illinois teacher of home economics. 22 (1978-79)

Submitter: Howard Ding

Thumbnail for Illinois teacher of home economics. 16 (1972-73)

Illinois teacher of home economics. 16 (1972-73)

Submitter: Howard Ding

Thumbnail for The bonds of friendship: Prolegomena to a feminist account of epistemology and responsibility

The bonds of friendship: Prolegomena to a feminist account of epistemology and responsibility

Thompson, Audrey Ann

Thumbnail for Landscape, madness, and state: The emerging insane asylum system of nineteenth-century New York State

Landscape, madness, and state: The emerging insane asylum system of nineteenth-century New York State

Thomas, Jennifer Lynn

Thumbnail for The Effect of the Decline in Occupational Segregation on Sex Differences in Earnings Among Professional and Technical Workers: 1971-1981

The Effect of the Decline in Occupational Segregation on Sex Differences in Earnings Among Professional and Technical Workers: 1971-1981

Pavate, Gauri

Thumbnail for K: A Rewriting-Based Framework for Computations -- Preliminary version --

K: A Rewriting-Based Framework for Computations -- Preliminary version --

Rosu, Grigore

Thumbnail for Choosing your engagements: tenure and work life at state comprehensive universities

Choosing your engagements: tenure and work life at state comprehensive universities

Gump, Steven E.

Thumbnail for The Selected Papers of Jane Addams, Volume II: Venturing into Usefulness 1881-88

The Selected Papers of Jane Addams, Volume II: Venturing into Usefulness 1881-88

Bryan, Mary Lynn McCree; Bair, Barbara; de Angury, Maree

Thumbnail for Separation of Church and State: The Dynamics of Supreme Court Decision-Making

Separation of Church and State: The Dynamics of Supreme Court Decision-Making

Johnson, Richard Merrill

Thumbnail for Actor programming with static guarantees

Actor programming with static guarantees

Charalambides, Minas

Thumbnail for K: A Rewriting-Based Framework for Computations -- Preliminary version

K: A Rewriting-Based Framework for Computations -- Preliminary version

Rosu, Grigore

Thumbnail for Library Trends 13 (2) 1964: State and Local History in Libraries

Library Trends 13 (2) 1964: State and Local History in Libraries

Submitter: Matthew Cordial

Thumbnail for College and Research Libraries 24 (4) July 1963

College and Research Libraries 24 (4) July 1963

Submitter: Howard Ding

"The Springfield ""republican"" In The Progressive Era: A Guardian Of American Values"

Koscher, William Paul

Thumbnail for Coinductive program verification

Coinductive program verification

Moore, Brandon Michael

Thumbnail for Women With Hypertension: An Ethnographic Inquiry

Women With Hypertension: An Ethnographic Inquiry

Harmon, Adrienne Seccia

Thumbnail for The Role of Gender-Based Personality in Public Assistance Cases in Vermilion County, Illinois

The Role of Gender-Based Personality in Public Assistance Cases in Vermilion County, Illinois

Bush, Richard Dale

Thumbnail for You Take the Good and Leave the Rest Behind: Northern Thai Adolescent Girls and Their Narratives of Future Possibilities

You Take the Good and Leave the Rest Behind: Northern Thai Adolescent Girls and Their Narratives of Future Possibilities

Fadzillah, Ida

Thumbnail for Annual register. 1928-29

Annual register. 1928-29

University of Illinois at Urbana-Champaign

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. 1940-41

Annual register. 1940-41

University of Illinois at Urbana-Champaign

Thumbnail for Indiana state parks and the Hoosier imagination, 1916-1933

Indiana state parks and the Hoosier imagination, 1916-1933

Burrows, Steven

Thumbnail for Secular Value Patterns Held by Physical Educators

Secular Value Patterns Held by Physical Educators

Schmidt, Bobbie Nell

Thumbnail for Class work: New York intellectual labor and the creation of postmodern American fiction, 1932-1962

Class work: New York intellectual labor and the creation of postmodern American fiction, 1932-1962

Henn, Robert

Thumbnail for Conceptions of collaterality in modern Europe: Kinship ideologies from companionship to trusteeship

Conceptions of collaterality in modern Europe: Kinship ideologies from companionship to trusteeship

Baker, David Joseph

Thumbnail for The Youth Service Bureau: An Analysis of Diversion Practices in Juvenile Delinquency

The Youth Service Bureau: An Analysis of Diversion Practices in Juvenile Delinquency

Zant, Bernard Joseph

Thumbnail for Annual register. 1929-30

Annual register. 1929-30

University of Illinois at Urbana-Champaign

Thumbnail for An ethnography of black collegiate sprinters: A formal model of cultural identity and the identity complex

An ethnography of black collegiate sprinters: A formal model of cultural identity and the identity complex

Sands, Robert Russell

Thumbnail for Industrial Application of the System-Level Simplex Architecture for Real-Time Embedded System Safety

Industrial Application of the System-Level Simplex Architecture for Real-Time Embedded System Safety

Bak, Stanley

Thumbnail for A meta-language for functional verification

A meta-language for functional verification

Katelman, Michael

2
3
4 (current)
5
6

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 2 + 7?

© 2023 University of Illinois Board of Trustees

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Email

Password

(I forgot my password)