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

Research publications from UIUC 78
Graduate Dissertations and Theses at Illinois 75
College of Engineering 29
College of Liberal Arts and Sciences 23
Dept. of Computer Science 21
College of Fine and Applied Arts 18
College of Education 17
School of Music 12
College of Agricultural, Consumer and Environmental Sciences (ACES) 8
Prairie Research Institute 7

Collection

Research publications from the University of Illinois at Urbana-Champaign 76
Graduate Dissertations and Theses at Illinois 75
Dissertations and Theses - Education 16
Research and Tech Reports - Computer Science 14
Dissertations and Theses - Computer Science 7
Dissertations and Theses [Graduate College] - Music 7
Dissertations and Theses - Communication 6
Dissertations and Theses - History 4
Oil & Gas Drilling Report - Illinois State Geological Survey 4
Dissertations and Theses - Crop Sciences 3

Author(s)

University of Illinois at Urbana-Champaign 40
University of Illinois at Chicago Circle 6
Meseguer, José 5
Hendrix, Joe 4
Hendrix, Joseph D. 3
Ohsaki, Hitoshi 3
Bennett, Scott Boyce 2
Crenshaw, Tanya L. 2
Farzan, Azadeh 2
Rocha, Camilo 2

Keyword(s)

Computer Science 6
University of Illinois at Chicago Circle Directories. 6
computer science 6
University of Illinois at Urbana-Champaign Degrees. 4
American Studies 3
City planning 3
Gas wells -- Periodicals. 3
Home economics -- Study and teaching 3
African Americans 2
Agriculture 2

Type of Resource

text 187
Thesis 4
still image 3
image 2
video 1

↑ ↓

Showing 1–30 of 202 items

1 (current)
2
3
4
5

Thumbnail for On the Completeness of Context-Sensitive Order-sorted Specifications

On the Completeness of Context-Sensitive Order-sorted Specifications

Hendrix, Joe; Meseguer, José

Thumbnail for Combining Equational Tree Automata Over AC and ACI Theories

Combining Equational Tree Automata Over AC and ACI Theories

Hendrix, Joe; Ohsaki, Hitoshi

Thumbnail for Propositional Tree Automata

Propositional Tree Automata

Hendrix, Joe; Ohsaki, Hitoshi; Viswanathan, Mahesh

Thumbnail for Sufficient Completeness Checking with Propositional Tree Automata

Sufficient Completeness Checking with Propositional Tree Automata

Hendrix, Joe; Ohsaki, Hitoshi; Meseguer, José

Thumbnail for Inductive Programming--the Exposition of a Theoretical Model, and a Description of the Development and Trial of an Exemplar Based on That Model

Inductive Programming--the Exposition of a Theoretical Model, and a Description of the Development and Trial of an Exemplar Based on That Model

Fejfar, James Lawrence

Thumbnail for GUITARIST JOHN SCOFIELD’S IMPROVISATIONAL CONCEPTS IN SELECTED PIANO LESS QUARTETS

GUITARIST JOHN SCOFIELD’S IMPROVISATIONAL CONCEPTS IN SELECTED PIANO LESS QUARTETS

Burns, Timothy William

Thumbnail for Underground Libraries

Underground Libraries

Fuhlrott, Rolf

Thumbnail for Imaginings of Africa in the music of Miles Davis

Imaginings of Africa in the music of Miles Davis

McNulty, Ryan S

Thumbnail for Annual town and country state art exhibition. 1983

Annual town and country state art exhibition. 1983

Submitter: Howard Ding

Thumbnail for Decision Procedures for Equationally Based Reasoning

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.

Thumbnail for Decision Procedures for Equationally Based Reasoning

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.

Thumbnail for Grievous Angel: Gram Parsons and the country rock movement

Grievous Angel: Gram Parsons and the country rock movement

Stanislawski, John

Thumbnail for Decision Procedures for Equationally Based Reasoning

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.

Thumbnail for College and Research Libraries 47 (3) May 1986

College and Research Libraries 47 (3) May 1986

Submitter: Howard Ding

Thumbnail for The Contributions of Alternative Press Publishers to Multicultural Literature for Children

The Contributions of Alternative Press Publishers to Multicultural Literature for Children

Horning, Kathleen T.

Thumbnail for How Mary Halvorson explores creative expression and free improvisation through performance, composition, and arranging

How Mary Halvorson explores creative expression and free improvisation through performance, composition, and arranging

Mock, Paul

Thumbnail for Five Isomorphic Boolean Theories and Four Equational Decision Procedures

Five Isomorphic Boolean Theories and Four Equational Decision Procedures

Rocha, Camilo; Meseguer, José

Thumbnail for Deep case systems for language understanding

Deep case systems for language understanding

Bruce, Bertram C.

Thumbnail for Annual town and country state art exhibition. 1976

Annual town and country state art exhibition. 1976

Submitter: Howard Ding

Thumbnail for An analysis of guitar improvisation techniques in Bill Frisell trio albums

An analysis of guitar improvisation techniques in Bill Frisell trio albums

Song, Josh Jonghun

Thumbnail for 20 Years of Rewriting Logic

20 Years of Rewriting Logic

Meseguer, José

Thumbnail for Initial Algebra Semantics in Matching Logic

Initial Algebra Semantics in Matching Logic

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

Thumbnail for Mobilizing jazz communities: the dynamic use of jazz as a political resource in the Black Liberation Struggle, 1925-1965

Mobilizing jazz communities: the dynamic use of jazz as a political resource in the Black Liberation Struggle, 1925-1965

Gaffney, Nicholas

Thumbnail for Commencement program. 1930/31

Commencement program. 1930/31

University of Illinois at Urbana-Champaign

Thumbnail for Changing Teacher Behavior: A Study of the Effects of Feedback From Students on the Behavior of Certain Vocational Teachers

Changing Teacher Behavior: A Study of the Effects of Feedback From Students on the Behavior of Certain Vocational Teachers

Hillen, Lowell Francis

Thumbnail for The guitar style of Toninho Horta in selected recordings, 1988-1992

The guitar style of Toninho Horta in selected recordings, 1988-1992

Gobbo, Jose Emilio Junior

Thumbnail for Index to Library Trends Volume 41

Index to Library Trends Volume 41

Cohen, Barbara E.

Thumbnail for Commencement program. 1932-1945

Commencement program. 1932-1945

University of Illinois at Urbana-Champaign

Thumbnail for Bulletin of the Center for Children's Books 57 (05) 2004

Bulletin of the Center for Children's Books 57 (05) 2004

Submitter: William Ingram

Thumbnail for Deep-time tectono-thermal history of the northern us cordillera: understanding zircon (U-Th)/he thermochronology and its application to Idaho-Montana basement rocks

Deep-time tectono-thermal history of the northern us cordillera: understanding zircon (U-Th)/he thermochronology and its application to Idaho-Montana basement rocks

Kaempfer, Jenna Marie

1 (current)
2
3
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 6 + 0?

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