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 61–90 of 163 items

1
2
3 (current)
4
5

Thumbnail for Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution

Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution

Chang, Po-Hao

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 A modular rewriting approach to language design, evolution and analysis

A modular rewriting approach to language design, evolution and analysis

Hills, Mark

Thumbnail for Emily's Toe: Vermont Women Conceptualize Health and Work Through Illness

Emily's Toe: Vermont Women Conceptualize Health and Work Through Illness

Berg, Carolee

Thumbnail for A Modular Rewriting Approach to Language Design, Evolution and Analysis

A Modular Rewriting Approach to Language Design, Evolution and Analysis

Hills, Mark

Thumbnail for Postsecular Victorians: literature, culture, and belief

Postsecular Victorians: literature, culture, and belief

Wong, Daniel Sung-En

Thumbnail for Subject Dispersion in Political Science. An Analysis of References Appearing in the Journal Literature: 1910-1960

Subject Dispersion in Political Science. An Analysis of References Appearing in the Journal Literature: 1910-1960

Robinson, William Chandler

Thumbnail for College and Research Libraries 1 (4) September 1940

College and Research Libraries 1 (4) September 1940

Submitter: Howard Ding

Thumbnail for Towards a Politics of the Sacred: Georges Bataille in Interwar France

Towards a Politics of the Sacred: Georges Bataille in Interwar France

York, Jonathan David

"""To Advance the Boundaries of Knowledge"" : The 1927 Union List of Serials and the Provision of Resources for Research"

McHugh, William A.

Thumbnail for Psychology and the Explanation of Political Behavior

Psychology and the Explanation of Political Behavior

Fraser, John Gabriel

Thumbnail for Students' directory. 1968-1969

Students' directory. 1968-1969

University of Illinois at Urbana-Champaign

Thumbnail for Anna Morgan: Reader, Teacher, and Director

Anna Morgan: Reader, Teacher, and Director

Sozen, Joyce Lorraine Chalcraft

Thumbnail for Students' directory. 1970-1973

Students' directory. 1970-1973

University of Illinois at Urbana-Champaign

Thumbnail for Probabilistic Modeling and Verification of Large Scale Systems

Probabilistic Modeling and Verification of Large Scale Systems

Kwon, YoungMin

"The Popular Press As Symbolic Interactionism: A Socio-cultural Analysis Of ""ebony,"" 1945-75"

Berry, William Earl

Thumbnail for Political Socialization in a Mid-Western Industrial Community

Political Socialization in a Mid-Western Industrial Community

Jones, James Theoplius

Thumbnail for Commencement program. 1946-1951

Commencement program. 1946-1951

University of Illinois at Urbana-Champaign

Thumbnail for “Mirrors, windows, and sliding glass doors”: A case study of teaching and learning for affective outcomes in comprehensive musicianship through performance for band

“Mirrors, windows, and sliding glass doors”: A case study of teaching and learning for affective outcomes in comprehensive musicianship through performance for band

Lofy, David

Thumbnail for Community Action: A Case Study in Racial Cleavage

Community Action: A Case Study in Racial Cleavage

Byuarm, Samuel Walter

Thumbnail for Architecture Reference Models for Early Safety Analysis

Architecture Reference Models for Early Safety Analysis

Crenshaw, Tanya

Thumbnail for Initial Algebra Semantics in Matching Logic

Initial Algebra Semantics in Matching Logic

Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore

Thumbnail for Staff directory. 1967-68

Staff directory. 1967-68

University of Illinois at Chicago Circle

Thumbnail for Architectural Reference Models For Safety-Critical Systems

Architectural Reference Models For Safety-Critical Systems

Crenshaw, Tanya L.

Thumbnail for Retailing in the American Economy, 1948 to 1962

Retailing in the American Economy, 1948 to 1962

Darling, John Rothburn, Jr.

Thumbnail for Architectural Reference Models For Safety-Critical Systems

Architectural Reference Models For Safety-Critical Systems

Crenshaw, Tanya L.

Thumbnail for Library Trends 22 (2) 1973: Research in the Fields of Reading and Communication

Library Trends 22 (2) 1973: Research in the Fields of Reading and Communication

Submitter: Matthew Cordial

Thumbnail for Medicalization and Mother-Blame: A Study in the Clinical Management of Deviance in Mexico

Medicalization and Mother-Blame: A Study in the Clinical Management of Deviance in Mexico

Denberg, Thomas David

Thumbnail for Staff directory. 1966/67

Staff directory. 1966/67

University of Illinois at Chicago Circle

Thumbnail for Staff directory. 1965/66

Staff directory. 1965/66

University of Illinois at Chicago Circle

1
2
3 (current)
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 7 + 5?

© 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)