University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Geographic Coverage

Abstract

Series/Report Name or Number

Type of Resource

Genre of Resource

Permalink

Full Text

Academic Unit

Graduate Dissertations and Theses at Illinois 26576
College of Engineering 11497
College of Liberal Arts and Sciences 8417
College of Education 3678
College of Agricultural, Consumer and Environmental Sciences (ACES) 2512
Dept. of Computer Science 2209
Dept. of Electrical and Computer Engineering 2025
Dept. of Civil and Environmental Engineering 1764
Dept. of Physics 1729
Dept. of Chemistry 1414

Collection

Graduate Dissertations and Theses at Illinois 26576
Dissertations and Theses - Education 3453
Dissertations and Theses - Electrical and Computer Engineering 1808
Dissertations and Theses - Physics 1729
Dissertations and Theses - Chemistry 1404
Dissertations and Theses - Civil and Environmental Engineering 1375
Dissertations and Theses - Computer Science 1357
Research publications from the University of Illinois at Urbana-Champaign 1255
Dissertations and Theses - Psychology 929
Dissertations and Theses - Mechanical Science and Engineering 905

Author(s)

University of Illinois at Urbana-Champaign 102
Rosu, Grigore 77
University of Illinois. College of Veterinary Medicine 74
Bruce, Bertram C. 70
Nahrstedt, Klara 66
Meseguer, José 53
Gupta, Indranil 49
Illinois State Geological Survey 47
National Center for Supercomputing Applications (NCSA) 43
Wilson, Wilbur M. 31

Keyword(s)

Engineering, Electronics and Electrical 1154
Computer Science 1091
Engineering, Civil 629
Engineering, Materials Science 577
Engineering, Mechanical 518
Physics, Condensed Matter 491
Chemistry, Biochemistry 435
Education, Educational Psychology 407
Biology, Molecular 367
Education, Administration 363

Type of Resource

text 30133
Thesis 1077
image 146
still image 37
other 36
Text 16
Image 11
audio 9
dataset / spreadsheet 7
Dissertation / Thesis 1

↑ ↓

Showing 541–570 of 34,162 items

17
18
19 (current)
20
21

Thumbnail for Managing Information in an Interactive Space

Managing Information in an Interactive Space

Biehl, Jacob T.

Thumbnail for LISP: A Link-Indexed Statistical Traffic Prediction Approach to Improving IEEE 802.11 PSM

LISP: A Link-Indexed Statistical Traffic Prediction Approach to Improving IEEE 802.11 PSM

Hu, Chunyu; Hou, Jennifer C.

Thumbnail for Predicting Concurrency Errors at Runtime using Sliced Causality

Predicting Concurrency Errors at Runtime using Sliced Causality

Chen, Feng; Rosu, Grigore

Thumbnail for Coordinating the Interplay between Physical Carrier Sense and Power Control in CSMA/CA Wireless Networks

Coordinating the Interplay between Physical Carrier Sense and Power Control in CSMA/CA Wireless Networks

Park, Kyung-Joon; Kim, LaeYoung; Hou, Jennifer C.

Thumbnail for A user's view of BALLOTS

A user's view of BALLOTS

Epstein, A.H.; Veaner, Allen B.

Thumbnail for Information and the study of turbulence and complex flow

Information and the study of turbulence and complex flow

Adrian, Ronald J.

Thumbnail for A Catalog of Security-oriented Program Transformations

A Catalog of Security-oriented Program Transformations

Hafiz, Munawar; Adamczyk, Paul; Johnson, Ralph

Thumbnail for The Johns Hopkins University Library

The Johns Hopkins University Library

Courtright, Benjamin

Thumbnail for RankSQL: Query Algebra and Optimization for Relational Top-k Queries

RankSQL: Query Algebra and Optimization for Relational Top-k Queries

Li, Chengkai; Chang, Kevin Chen-Chuan; Ilyas, Ihab F.; Song, Sumin

Thumbnail for Optimal large-eddy simulation formulations for isotropic turbulence

Optimal large-eddy simulation formulations for isotropic turbulence

Langford, Jacob A.; Moser, Robert D.

Thumbnail for Machine assisted browsing for the naive user

Machine assisted browsing for the naive user

Fox, Mark S.; Palay, Andrew J.

Thumbnail for Variant Narrowing and Equational Unification

Variant Narrowing and Equational Unification

Escobar, Santiago; Meseguer, José; Sasse, Ralf

Thumbnail for A Separated Focus+Context Screens System for Sketching

A Separated Focus+Context Screens System for Sketching

Flider, Mark J.

Thumbnail for ReBA: Refactoring-aware Binary Adaption of Evolving Libraries

ReBA: Refactoring-aware Binary Adaption of Evolving Libraries

Dig, Danny; Negara, Stas; Johnson, Ralph; Mohindra, Vibhu

Thumbnail for A Realistic Blue Sky System

A Realistic Blue Sky System

Davis, Joyce N.

Thumbnail for SpiderNet: A Quality-Aware Service Composition Middleware

SpiderNet: A Quality-Aware Service Composition Middleware

Gu, Xiaohui

Thumbnail for Role-Based Access Control in a Mobile Environment

Role-Based Access Control in a Mobile Environment

Compagnoni, Adriana; Gunter, Elsa L.; Bidinger, Philippe

Thumbnail for Controllable Smoke Animation with Guiding Objects

Controllable Smoke Animation with Guiding Objects

Yu, Yizhou; Shi, Lin

Thumbnail for An Axiomatic Approach to Information Retrieval

An Axiomatic Approach to Information Retrieval

Fang, Hui

Thumbnail for Context-Sensitive Pointer Analysis Based On Procedural Summaries

Context-Sensitive Pointer Analysis Based On Procedural Summaries

Kim, Hong-Seok

Thumbnail for Symbolic Model Checking of Infinite-State Systems Using Narrowing

Symbolic Model Checking of Infinite-State Systems Using Narrowing

Escobar, Santiago; Meseguer, José

Thumbnail for Efficient Monitoring of Parametric Context Free Patterns

Efficient Monitoring of Parametric Context Free Patterns

Meredith, Patrick O'Neil; Jin, Dongyun; Chen, Feng; Rosu, Grigore

Thumbnail for Efficient Explicit-State Model Checking for Programs with Dynamically Allocated Data

Efficient Explicit-State Model Checking for Programs with Dynamically Allocated Data

d'Amorim, Marcelo

Thumbnail for Neural Network Learning for Time-Series Predictions Using Constrained Formulations

Neural Network Learning for Time-Series Predictions Using Constrained Formulations

Qian, Minglun

Thumbnail for A Rewriting Logic Approach to Type Inference

A Rewriting Logic Approach to Type Inference

Ellison, Chucky M.; Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for Effectively Checking or Disproving the Finite Variant Property

Effectively Checking or Disproving the Finite Variant Property

Escobar, Santiago; Meseguer, José; Sasse, Ralf

Thumbnail for Data Movement in DoAll Loops

Data Movement in DoAll Loops

Jackson, Daniel Thomas • 2025

Thumbnail for Resource Management for Real-Time Environments

Resource Management for Real-Time Environments

Gopalakrishnan, Sathish

Thumbnail for Exploiting Locality and Parallelism with Hierarchically Tiled Arrays

Exploiting Locality and Parallelism with Hierarchically Tiled Arrays

Guo, Jia

Thumbnail for Term-Generic First-Order Logic

Term-Generic First-Order Logic

Papescu, Andrei; Rosu, Grigore

17
18
19 (current)
20
21

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 1 + 3?

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