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 543
College of Engineering 372
Dept. of Computer Science 162
College of Liberal Arts and Sciences 141
Dept. of Electrical and Computer Engineering 66
Dept. of Chemistry 64
College of Business 52
Dept. of Business Administration 44
Dept. of Mechanical Science and Engineering 25
College of Agricultural, Consumer and Environmental Sciences (ACES) 24

Collection

Graduate Dissertations and Theses at Illinois 543
Research and Tech Reports - Computer Science 84
Dissertations and Theses - Computer Science 77
Dissertations and Theses - Chemistry 64
Dissertations and Theses - Electrical and Computer Engineering 62
Dissertations and Theses - Business Administration 44
Dissertations and Theses - Mechanical Science and Engineering 25
Dissertations and Theses - Materials Science and Engineering 23
Dissertations and Theses - Civil and Environmental Engineering 21
Dissertations and Theses - Chemical and Biomolecular Engineering 19

Author(s)

Viswanathan, Mahesh 24
Meseguer, José 13
Rosu, Grigore 11
Chadha, Rohit 7
Agha, Gul A. 6
Liu, Si 6
Brown, Eric N. 5
Sen, Koushik 5
University of Illinois at Urbana-Champaign. College of Engineering 5
White, Scott R. 5

Keyword(s)

Engineering, Electronics and Electrical 29
Computer Science 25
computer science 24
Engineering, Materials Science 18
Business Administration, Marketing 17
Engineering, Mechanical 8
Chemistry, Analytical 7
Engineering, Civil 6
Maude 6
Formal Methods 5

Type of Resource

text 516
Thesis 47
Text 2
other 2
Image 1
Other 1

↑ ↓

Showing 241–270 of 703 items

7
8
9 (current)
10
11

Thumbnail for Formal patterns for medical device safety

Formal patterns for medical device safety

Sun, Mu

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 Concolic Testing of Multithreaded Programs and Its Application to Testing Security Protocols

Concolic Testing of Multithreaded Programs and Its Application to Testing Security Protocols

Sen, Koushik; Agha, Gul A.

Thumbnail for Separation of distributed coordination and control for programming reliable robotics

Separation of distributed coordination and control for programming reliable robotics

Ghosh, Ritwika

Thumbnail for Learning frameworks for program synthesis

Learning frameworks for program synthesis

Saha, Shambwaditya

Thumbnail for Reasoning About MDPs as Transformers of Probability Distributions

Reasoning About MDPs as Transformers of Probability Distributions

Korthikanti, Vijay Anand; Viswanathan, Mahesh; Kwon, YoungMin; Agha, Gul A.

Thumbnail for An Intelligent Authentication Infrastructure for Ubiquitous Computing Environments

An Intelligent Authentication Infrastructure for Ubiquitous Computing Environments

Al-Muhtadi, Jalal F.

Thumbnail for A conceptual framework for the assessment of integrated energy storage resources

A conceptual framework for the assessment of integrated energy storage resources

Manjunath, Archana Shivaram

Thumbnail for Systematic testing for actor programs

Systematic testing for actor programs

Lauterburg, Steven T.

Thumbnail for Learning Invariants using Decision Trees and Implication Counterexamples

Learning Invariants using Decision Trees and Implication Counterexamples

Garg, Pranav; Neider, Daniel; Madhusudan, P.; Roth, Dan

Thumbnail for Why do mobile phone-based smoking cessation interventions struggle and how can we make them more effective?

Why do mobile phone-based smoking cessation interventions struggle and how can we make them more effective?

Ahmed, Shameem; Sharmin, Moushumi

Thumbnail for Stem cell membrane engineering: an approach for modulating cell-biomaterial interactions

Stem cell membrane engineering: an approach for modulating cell-biomaterial interactions

Bansal, Nidhanjali

Thumbnail for Towards understanding and simplifying human-in-the-loop machine learning

Towards understanding and simplifying human-in-the-loop machine learning

Ma, Litian

Thumbnail for Multi-stage polymer systems for the autonomic regeneration of large damage volumes

Multi-stage polymer systems for the autonomic regeneration of large damage volumes

Santa Cruz, Windy Ann

Thumbnail for Gas diffusion electrodes and operating conditions for electrochemical energy storage applications

Gas diffusion electrodes and operating conditions for electrochemical energy storage applications

Kim, Byoungsu

Thumbnail for Veterinary report

Veterinary report

University of Illinois. College of Veterinary Medicine

Thumbnail for Capacity expansion modeling of water supply in a planning support system for urban growth management

Capacity expansion modeling of water supply in a planning support system for urban growth management

Kim, Hyong-Bok

Thumbnail for Symbolic reachability analysis for rewrite theories

Symbolic reachability analysis for rewrite theories

Rocha, Camilo

Thumbnail for The Summary of Engineering Research 2005

The Summary of Engineering Research 2005

University of Illinois at Urbana-Champaign. College of Engineering

Thumbnail for Irradiation-Induced Microstructural Evolution and Mechanical Properties in Iron With and Without Helium

Irradiation-Induced Microstructural Evolution and Mechanical Properties in Iron With and Without Helium

Okuniewski, Maria Ann

Thumbnail for Veterinary report

Veterinary report

University of Illinois. College of Veterinary Medicine

Thumbnail for A formal semantics of P4 and applications

A formal semantics of P4 and applications

Kheradmand, Ali

Thumbnail for Q -Compiler: Metadata Qos-Aware Programming and Compilation Framework

Q -Compiler: Metadata Qos-Aware Programming and Compilation Framework

Wichadakul, Duangdao

Thumbnail for Lead Products, Marketing Profits, and Retail Store Choice

Lead Products, Marketing Profits, and Retail Store Choice

Choi, Pilsik

Thumbnail for Complexity of Dyck-reachability in directed graphs

Complexity of Dyck-reachability in directed graphs

Shankar Narayanan, Aditya

Thumbnail for Proceedings of the Fifth Undergraduate Research Conference in Mechanics

Proceedings of the Fifth Undergraduate Research Conference in Mechanics

Dienberg, Clarence E.; Ott-Monsivais, Stephanie E.; Ranchero, Joni L.; Rzeszutko, Alyssa A.; Winter, Cara L.

Thumbnail for Self-healing of delamination damage in glass/epoxy composites using catalyst functionalized fibers

Self-healing of delamination damage in glass/epoxy composites using catalyst functionalized fibers

Hart, Kevin

Thumbnail for Products and organizations, mirrors in a funhouse: three essays on the mirroring hypothesis

Products and organizations, mirrors in a funhouse: three essays on the mirroring hypothesis

Liu, Chih I

Thumbnail for Layer specific differences in the mouse auditory corticocollicular system

Layer specific differences in the mouse auditory corticocollicular system

Slater, Bernard Joseph

Thumbnail for Differential Cross-Sections for the Reaction Helium-3(gamma,proton)deuteron From 45 to 50 Mev

Differential Cross-Sections for the Reaction Helium-3(gamma,proton)deuteron From 45 to 50 Mev

O'Fallon, Nancy Marie McCumber

7
8
9 (current)
10
11

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 2 + 6?

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