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 185
Dept. of Computer Science 156
Graduate Dissertations and Theses at Illinois 120
Dept. of Civil and Environmental Engineering 20
Newmark Structural Engineering Laboratory 9
Summary of Engineering Research (1957-2008) 7
Research publications from UIUC 3
College of Fine and Applied Arts 2
Illinois Research and Scholarship (Open Unit) 2
School of Music 2

Collection

Graduate Dissertations and Theses at Illinois 120
Dissertations and Theses - Computer Science 102
Research and Tech Reports - Computer Science 54
Dissertations and Theses - Civil and Environmental Engineering 11
Newmark Structural Laboratory Report Series (NSEL Report Series ISSN 1940-9826) 9
Summary of Engineering Research (2003-2008) 6
Research publications from the University of Illinois at Urbana-Champaign 3
Dissertations and Theses [Graduate College] - Music 2
Illinois Research and Scholarship (Open Collection) 2
Dissertations and Theses - Education 1

Author(s)

Agha, Gul A. 20
Sen, Koushik 9
Kwon, YoungMin 6
Meseguer, José 5
Spencer, Billie F., Jr. 5
University of Illinois at Urbana-Champaign. College of Engineering 5
Jang, Myeong-Wuk 4
Liu, Si 4
Sundresh, Sameer 4
Charalambides, Minas 3

Keyword(s)

Computer Science 53
computer science 14
Formal Methods 6
Structural Health Monitoring 6
Research and publications sponsored in the College of Engineering 5
Artificial Intelligence 4
distributed systems 3
Backward Execution 2
Distributed Systems 2
Dynamic Analysis 2

Type of Resource

text 161
Thesis 3
Dissertation / Thesis 1
image 1

↑ ↓

Showing 151–180 of 198 items

3
4
5
6 (current)
7

Thumbnail for Decision Procedures for Equationally Based Reasoning

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.

Thumbnail for Open Problems and Challenges 2017

Open Problems and Challenges 2017

Roşu, Grigore

Thumbnail for Techniques for Developing Correct, Fast, and Robust Implementations of Distributed Protocols

Techniques for Developing Correct, Fast, and Robust Implementations of Distributed Protocols

Sane, Aamod Arvind

Thumbnail for Access

Access

Submitter: Howard Ding

Thumbnail for The Summary of Engineering Research 2007

The Summary of Engineering Research 2007

University of Illinois at Urbana-Champaign. College of Engineering

Thumbnail for Visual programming using graphics, relations, and classes

Visual programming using graphics, relations, and classes

Rogers, Gregory Scott

Thumbnail for Speculation-Based Distributed *Simulation for Dependability and Performance Analysis

Speculation-Based Distributed *Simulation for Dependability and Performance Analysis

Huang, Yiqing

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 Monitoring Oriented Programming and Analysis

Monitoring Oriented Programming and Analysis

Chen, Feng

Thumbnail for Time-Based Coordinated Checkpointing

Time-Based Coordinated Checkpointing

Neves, Nuno F.

Thumbnail for Alternate Routing Protocols for Bridged Networks

Alternate Routing Protocols for Bridged Networks

Lui, King-Shan

Thumbnail for An object-oriented extensible transaction management system

An object-oriented extensible transaction management system

Xiao, Lun

Thumbnail for Dynamic resource provisioning for data center workloads with data constraints

Dynamic resource provisioning for data center workloads with data constraints

Li, Shen

Thumbnail for Programming in three dimensions

Programming in three dimensions

Najork, Marc-Alexander

Thumbnail for SpiderNet: A Quality-Aware Service Composition Middleware

SpiderNet: A Quality-Aware Service Composition Middleware

Gu, Xiaohui

Thumbnail for Timing Analysis of Embedded Real -Time Systems

Timing Analysis of Embedded Real -Time Systems

Dasdan, Ali

Thumbnail for The Summary of Engineering Research 2002

The Summary of Engineering Research 2002

University of Illinois at Urbana-Champaign. College of Engineering

Thumbnail for Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Farzan, Azadeh

Thumbnail for Rewriting Logic Semantics of Orc

Rewriting Logic Semantics of Orc

AlTurki, Musab; Meseguer, José

Thumbnail for Automated Multiparty Authorization in Open Distributed Systems

Automated Multiparty Authorization in Open Distributed Systems

Zhang, Chengqiang

Thumbnail for Discovering roles and types from hierarchical information networks

Discovering roles and types from hierarchical information networks

Weninger, Timothy

Thumbnail for In search of better proximity

In search of better proximity

Kumar, Nirman

Thumbnail for Specification of concurrent systems using graph grammars

Specification of concurrent systems using graph grammars

Loyall, Joseph Patrick

Thumbnail for Implementation of functional languages with state

Implementation of functional languages with state

Springer, Jonathan Charles

Thumbnail for An Integrated and Qos-Aware Framework for Multimedia Service Management

An Integrated and Qos-Aware Framework for Multimedia Service Management

Xu, Dongyan

Thumbnail for Dynamic analysis of Cyber-Physical Systems

Dynamic analysis of Cyber-Physical Systems

Duggirala, Parasara Sridhar

Thumbnail for Circuit-switched multicomputers and heuristic load placement

Circuit-switched multicomputers and heuristic load placement

Grunwald, Dirk Claus

Thumbnail for Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Farzan, Azadeh

Thumbnail for Understanding, Detecting and Exposing Concurrency Bugs

Understanding, Detecting and Exposing Concurrency Bugs

Lu, Shan

Thumbnail for Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures

Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures

Derisavi, Salem

3
4
5
6 (current)
7

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)