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 547
College of Engineering 376
Dept. of Computer Science 164
College of Liberal Arts and Sciences 145
Dept. of Electrical and Computer Engineering 71
Dept. of Chemistry 64
College of Business 53
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 547
Research and Tech Reports - Computer Science 86
Dissertations and Theses - Computer Science 79
Dissertations and Theses - Electrical and Computer Engineering 65
Dissertations and Theses - Chemistry 64
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 26
Meseguer, José 13
Rosu, Grigore 11
Agha, Gul A. 7
Chadha, Rohit 7
Sen, Koushik 7
Liu, Si 6
Viswanathan, Madhubalan 6
Brown, Eric N. 5
University of Illinois at Urbana-Champaign. College of Engineering 5

Keyword(s)

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

Type of Resource

text 523
Thesis 49
Text 3
other 2
Image 1
Other 1
image 1

↑ ↓

Showing 241–270 of 713 items

7
8
9 (current)
10
11

Thumbnail for Automated Derivation of Application-Aware Error Detectors Using Compiler Analysis

Automated Derivation of Application-Aware Error Detectors Using Compiler Analysis

Pattabiraman, Karthik; Iyer, Ravishankar K.

Thumbnail for Advancing PSS with complex urban systems sciences and scalable spatio-temporal models

Advancing PSS with complex urban systems sciences and scalable spatio-temporal models

Pan, Haozhi

Thumbnail for Lost in translation: Linking technology to market opportunities in technology-based ventures

Lost in translation: Linking technology to market opportunities in technology-based ventures

Savage, Jeffrey P.

Thumbnail for Formal patterns for medical device safety

Formal patterns for medical device safety

Sun, Mu

Thumbnail for Source and Channel Coding for Wireless Networks

Source and Channel Coding for Wireless Networks

Tavildar, Saurabha R.

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 Symbolic Model Checking of Infinite-State Systems Using Narrowing

Symbolic Model Checking of Infinite-State Systems Using Narrowing

Escobar, Santiago; Meseguer, José

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 Zirconium nitride contacts for cadmium telluride solar cells

Zirconium nitride contacts for cadmium telluride solar cells

Yang, Zhengfeng

Thumbnail for Veterinary report

Veterinary report

University of Illinois. College of Veterinary Medicine

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 Regression Test Selection for Distributed Software Histories: Appendix

Regression Test Selection for Distributed Software Histories: Appendix

Gligoric, Milos; Majumdar, Rupak; Sharma, Rohan; Eloussi, Lamyaa; Marinov, Darko

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 Fabrication and integration of graphene field effect transistors for advanced biosensing platforms

Fabrication and integration of graphene field effect transistors for advanced biosensing platforms

Kim, Yerim

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 Fracture and Fatigue of a Self -Healing Polymer Composite Material

Fracture and Fatigue of a Self -Healing Polymer Composite Material

Brown, Eric Nathaniel

Thumbnail for Learning frameworks for program synthesis

Learning frameworks for program synthesis

Saha, Shambwaditya

Thumbnail for Veterinary report

Veterinary report

University of Illinois. College of Veterinary Medicine

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 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 Veterinary report

Veterinary report

University of Illinois. College of Veterinary Medicine

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 Symbolic reachability analysis for rewrite theories

Symbolic reachability analysis for rewrite theories

Rocha, Camilo

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 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 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 Q -Compiler: Metadata Qos-Aware Programming and Compilation Framework

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

Wichadakul, Duangdao

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 Lead Products, Marketing Profits, and Retail Store Choice

Lead Products, Marketing Profits, and Retail Store Choice

Choi, Pilsik

7
8
9 (current)
10
11

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 7 + 1?

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