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

College of Engineering 114
Dept. of Computer Science 96
Graduate Dissertations and Theses at Illinois 63
Summary of Engineering Research (1957-2008) 7
Dept. of Electrical and Computer Engineering 6
College of Business 2
Dept. of Business Administration 2
Dept. of Mechanical Science and Engineering 2
Research publications from UIUC 2
College of Liberal Arts and Sciences 1

Collection

Graduate Dissertations and Theses at Illinois 63
Dissertations and Theses - Computer Science 48
Research and Tech Reports - Computer Science 47
Summary of Engineering Research (2003-2008) 6
Dissertations and Theses - Electrical and Computer Engineering 4
Dissertations and Theses - Business Administration 2
Dissertations and Theses - Mechanical Science and Engineering 2
Research publications from the University of Illinois at Urbana-Champaign 2
Senior Theses - Electrical and Computer Engineering 2
Dissertations and Theses - Aerospace Engineering 1

Author(s)

Viswanathan, Mahesh 26
Chadha, Rohit 7
Agha, Gul A. 6
Sen, Koushik 6
University of Illinois at Urbana-Champaign. College of Engineering 5
Liu, Si 4
Prabhakar, Pavithra 4
Hendrix, Joseph D. 3
Hou, Jennifer C. 3
Kumar, Viraj 3

Keyword(s)

computer science 15
Computer Science 14
Research and publications sponsored in the College of Engineering 6
Formal Methods 5
verification 5
Distributed Systems 3
Algorithms 2
Complexity 2
Dynamic Analysis 2
K 2

Type of Resource

text 96
Thesis 8
other 1

↑ ↓

Showing 91–120 of 124 items

2
3
4 (current)
5

Thumbnail for Efficient on -Demand Operations in Large-Scale Infrastructures

Efficient on -Demand Operations in Large-Scale Infrastructures

Ko, Steven Y.

Thumbnail for Algorithms and complexity results for problems on fair division and imitation games

Algorithms and complexity results for problems on fair division and imitation games

Murhekar, Aniket

Thumbnail for Decision Procedures for Equationally Based Reasoning

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.

Thumbnail for An Equational Logic and a Coordination Language for Distributed Objects

An Equational Logic and a Coordination Language for Distributed Objects

Ziaei, Mahmood Reza

Thumbnail for Formal patterns for medical device safety

Formal patterns for medical device safety

Sun, Mu

Thumbnail for Improved regression testing of multithreaded programs

Improved regression testing of multithreaded programs

Jagannath, Vilas

Thumbnail for Open Problems and Challenges 2017

Open Problems and Challenges 2017

Roşu, Grigore

Thumbnail for Testing, runtime verification, and analysis of concurrent programs

Testing, runtime verification, and analysis of concurrent programs

Luo, Qingzhou

Thumbnail for Models for Privacy in Ubiquitous Computing Environments

Models for Privacy in Ubiquitous Computing Environments

Kapadia, Apu C.

Thumbnail for Practical verification of network planes

Practical verification of network planes

Prabhu Muraleedhara Prabhu, Santhosh

Thumbnail for Not All Desires Are Created Equal: Exploring a Dual -Motivation Account of Consumer Desire

Not All Desires Are Created Equal: Exploring a Dual -Motivation Account of Consumer Desire

Rodriguez, Alexandra V.

Thumbnail for Self-healing laminated composites from prepreg fabrics

Self-healing laminated composites from prepreg fabrics

Kim, Sang Yup

Thumbnail for Applying integrative computational models to study the evolution of gene regulation

Applying integrative computational models to study the evolution of gene regulation

Xie, Dan

Thumbnail for Network flow optimization for distributed clouds

Network flow optimization for distributed clouds

Abdu Jyothi, Sangeetha

Thumbnail for Regression test selection: theory and practice

Regression test selection: theory and practice

Gligoric, Milos Zivko

Thumbnail for The Temporal Logic of Rewriting

The Temporal Logic of Rewriting

Meseguer, José

Thumbnail for Equilibrium graphs on the flat torus or finding zen amidst the bull

Equilibrium graphs on the flat torus or finding zen amidst the bull

Lin, Patrick

Thumbnail for Monitoring Oriented Programming and Analysis

Monitoring Oriented Programming and Analysis

Chen, Feng

Thumbnail for Using Frameworks to Extend Frameworks

Using Frameworks to Extend Frameworks

Balaguer, Federico

Thumbnail for Evolution-aware runtime verification

Evolution-aware runtime verification

Legunsen, Owolabi

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 Towards energy-performance trade-off analysis of parallel applications

Towards energy-performance trade-off analysis of parallel applications

Korthikanti, Vijay Anand

Thumbnail for Improving reliability and security monitoring in enterprise and cloud systems by leveraging information redundancy

Improving reliability and security monitoring in enterprise and cloud systems by leveraging information redundancy

Thakore, Uttam

Thumbnail for The Summary of Engineering Research 2006

The Summary of Engineering Research 2006

University of Illinois at Urbana-Champaign. College of Engineering

Thumbnail for National Integration: The State in Search of Community

National Integration: The State in Search of Community

Rajagopalan, Swarna

Thumbnail for The Summary of Engineering Research 2004

The Summary of Engineering Research 2004

University of Illinois at Urbana-Champaign. College of Engineering

Thumbnail for On computational intractability assumptions in cryptography

On computational intractability assumptions in cryptography

Maji, Hemanta K.

Thumbnail for Scalable Automated Methods for Dynamic Program Analysis

Scalable Automated Methods for Dynamic Program Analysis

Sen, Koushik

Thumbnail for The Summary of Engineering Research 2003

The Summary of Engineering Research 2003

University of Illinois at Urbana-Champaign. College of Engineering

Thumbnail for The Summary of Engineering Research 2007

The Summary of Engineering Research 2007

University of Illinois at Urbana-Champaign. College of Engineering

2
3
4 (current)
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 8 + 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)