University of Illinois at 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

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 176–198 of 198 items

4
5
6
7
8 (current)

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 Design and Evaluation of Multi-channel Multi-hop Wireless Networks

Design and Evaluation of Multi-channel Multi-hop Wireless Networks

So, Jungmin

Thumbnail for Compile-Time Analysis of Explicitly Parallel Programs

Compile-Time Analysis of Explicitly Parallel Programs

Chow, Jyh-Herng

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 Understanding, Detecting and Exposing Concurrency Bugs

Understanding, Detecting and Exposing Concurrency Bugs

Lu, Shan

Thumbnail for A meta-language for functional verification

A meta-language for functional verification

Katelman, Michael

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

Thumbnail for Understanding, Detecting and Exposing Concurrency Bugs

Understanding, Detecting and Exposing Concurrency Bugs

Lu, Shan

Thumbnail for Niching methods for genetic algorithms

Niching methods for genetic algorithms

Mahfoud, Samir W.

Thumbnail for Micro-Workflow: A Workflow Architecture Supporting Compositional Object -Oriented Software Development

Micro-Workflow: A Workflow Architecture Supporting Compositional Object -Oriented Software Development

Manolescu, Dragos-Anton

Thumbnail for Hindi filmigit: On the history of commercial Indian popular music

Hindi filmigit: On the history of commercial Indian popular music

Arnold, Alison E.

Thumbnail for Concerning Begum Akhtar: ''Queen of Ghazal''

Concerning Begum Akhtar: ''Queen of Ghazal''

Ollikkala, Robert Charles

Thumbnail for Local Reasoning for Stateful Programs

Local Reasoning for Stateful Programs

Yang, Hongseok

Thumbnail for Rule-based Evolutionary Online Learning Systems: Learning Bound, Classification, and Prediction

Rule-based Evolutionary Online Learning Systems: Learning Bound, Classification, and Prediction

Butz, Martin

Thumbnail for Making Parallel Programming Easy: Research Contributions from Illinois

Making Parallel Programming Easy: Research Contributions from Illinois

Thumbnail for Rule-based Evolutionary Online Learning Systems: Learning Bound, Classification, and Prediction

Rule-based Evolutionary Online Learning Systems: Learning Bound, Classification, and Prediction

Butz, Martin

Thumbnail for Rule -Based Evolutionary Online Learning Systems: Learning Bounds, Classification, and Prediction

Rule -Based Evolutionary Online Learning Systems: Learning Bounds, Classification, and Prediction

Butz, Martin Volker

Thumbnail for Specifying and verifying program transformations with PTRANS

Specifying and verifying program transformations with PTRANS

Mansky, William

Thumbnail for Undergraduate programs; catalog 1991-1992

Undergraduate programs; catalog 1991-1992

University of Illinois at Urbana-Champaign

Thumbnail for Transactions of the Board of Trustees [electronic resource] / 1990-92

Transactions of the Board of Trustees [electronic resource] / 1990-92

University of Illinois (System). Board of Trustees

4
5
6
7
8 (current)

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 8 + 0?

© 2023 University of Illinois Board of Trustees

Log In

Log in with Illinois NetID

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)