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 39
College of Engineering 36
Dept. of Computer Science 25
College of Liberal Arts and Sciences 8
Dept. of Chemistry 4
Dept. of Electrical and Computer Engineering 4
Summary of Engineering Research (1957-2008) 4
College of Business 3
Grainger College of Engineering 3
School of Molecular and Cellular Biology 3

Collection

Graduate Dissertations and Theses at Illinois 39
Dissertations and Theses - Computer Science 17
Research and Tech Reports - Computer Science 10
Dissertations and Theses - Chemistry 4
Dissertations and Theses - Electrical and Computer Engineering 4
Summary of Engineering Research (2003-2008) 3
Dissertations and Theses - Biochemistry 2
42nd Allerton Conference - 2004 1
Allerton Conference on Communication, Control, and Computing, 1977-present 1
Dissertations and Theses - Biophysics and Quantitative Biology 1

Author(s)

Liu, Si 7
Meseguer, José 4
Olveczky, Peter C. 4
University of Illinois at Urbana-Champaign. College of Engineering 4
Gupta, Indranil 3
Hendrix, Joseph D. 3
Wang, Qi 3
Fesehaye, Debessay 2
Ko, Steven Y. 2
Abdu Jyothi, Sangeetha 1

Keyword(s)

Computer Science 4
Maude 4
Research and publications sponsored in the College of Engineering 4
Statistical Model Checking 3
Computer science 2
Engineering, Materials Science 2
Field Effect Transistor (FET) 2
Performance 2
Rewriting Logic 2
Active/passive content 1

Type of Resource

text 40
Thesis 10
Text 1
other 1

↑ ↓

Showing 1–30 of 58 items

1 (current)
2

Thumbnail for An Information Theoretic Approach to Modeling Low Probabilities

An Information Theoretic Approach to Modeling Low Probabilities

Orlitsky, Alon; Santhanam, Narayana P.; Viswanathan, Krishnamurthy; Zhang, Junan

Thumbnail for Formal Modeling and Analysis of the Walter Transactional Data Store

Formal Modeling and Analysis of the Walter Transactional Data Store

Liu, Si; Olveczky, Peter C.; Wang, Qi; Meseguer, José

Thumbnail for Stocks, bonds and volatility in financial markets

Stocks, bonds and volatility in financial markets

Lee, Jae Hoon

Thumbnail for A New Distributed Transaction Protocol and Its Formal Analysis in Maude

A New Distributed Transaction Protocol and Its Formal Analysis in Maude

Liu, Si; Olveczky, Peter C.; Santhanam, Keshav; Wang, Qi; Gupta, Indranil; Meseguer, José

Thumbnail for Exploring Design Alternatives for Replicated RAMP Transactions Using Maude

Exploring Design Alternatives for Replicated RAMP Transactions Using Maude

Liang, Lei; Liu, Si

Thumbnail for Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude

Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude

Bobba, Rakesh; Grov, Jon; Gupta, Indranil; Liu, Si; Meseguer, José; Olveczky, Peter C.; Skeirik, Stephen

Thumbnail for High Performance Reverse Phase Chromatography of Triglycerides, Cholesterol and Cholesteryl Esters and Its Application in the Analysis of Natural and Oxidized Oils

High Performance Reverse Phase Chromatography of Triglycerides, Cholesterol and Cholesteryl Esters and Its Application in the Analysis of Natural and Oxidized Oils

El-Hamdy, Ali Hussein

Thumbnail for Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis

Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis

Liu, Si; Olveczky, Peter C.; Wang, Qi; Gupta, Indranil; Meseguer, José

Thumbnail for Hmm-Based Semantic Learning for a Mobile Robot

Hmm-Based Semantic Learning for a Mobile Robot

Squire, Kevin Michael

Thumbnail for Algorithmic advances in dynamic analysis for detecting concurrency bugs

Algorithmic advances in dynamic analysis for detecting concurrency bugs

Mathur, Umang

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 ORSA/TIMS 1990 marketing science conference session outlines, March 22-25, 1990

ORSA/TIMS 1990 marketing science conference session outlines, March 22-25, 1990

Submitter: Howard Ding

Thumbnail for Network analysis, inference and verification

Network analysis, inference and verification

Chaudhry, Gohar Irfan

Thumbnail for Practical verification of network planes

Practical verification of network planes

Prabhu Muraleedhara Prabhu, Santhosh

Thumbnail for Conjugated carbon monolayer membranes - synthesis and integration techniques

Conjugated carbon monolayer membranes - synthesis and integration techniques

Unarunotai, Sakulsuk

Thumbnail for Conjugated Carbon Monolayer Membranes -- Synthesis and Integration Techniques

Conjugated Carbon Monolayer Membranes -- Synthesis and Integration Techniques

Unarunoatai, Sakulsuk

Thumbnail for Foundations for practical network verification

Foundations for practical network verification

Kheradmand, Ali

Thumbnail for Efficient Cross-layer Routing & Congestion Control Architectures for Distributed Systems

Efficient Cross-layer Routing & Congestion Control Architectures for Distributed Systems

Fesehaye, Debessay

Thumbnail for Resource management in sensing services with audio applications

Resource management in sensing services with audio applications

Le, Long Nguyen Thang

Thumbnail for All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions

All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions

Liu, Si

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

Efficient On-Demand Operations in Large-Scale Infrastructures

Ko, Steven Y.

Thumbnail for Information-theoretic analysis of human-machine mixed systems

Information-theoretic analysis of human-machine mixed systems

Seo, Daewon

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

Efficient on -Demand Operations in Large-Scale Infrastructures

Ko, Steven Y.

Thumbnail for Characteristics of biological control agents and their antagonism against rice pathogens and pests

Characteristics of biological control agents and their antagonism against rice pathogens and pests

Bui, Hung Xuan

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 Whole-system testing and analysis of actor programs

Whole-system testing and analysis of actor programs

Li, Sihan

Thumbnail for Squeezing the most benefit from network parallelism in datacenters

Squeezing the most benefit from network parallelism in datacenters

Ghorbani Khaledi, Soudeh

Thumbnail for Thesis Draft: Efficient Cross-layer Routing And Congestion Control Architectures For Distributed Systems

Thesis Draft: Efficient Cross-layer Routing And Congestion Control Architectures For Distributed Systems

Fesehaye, Debessay

Thumbnail for Designing boundary interactions for simple mobile robots

Designing boundary interactions for simple mobile robots

Nilles, Alexandra Q

Thumbnail for Efficient cross-layer routing and congestion control architectures for distributed systems

Efficient cross-layer routing and congestion control architectures for distributed systems

Kassa, Debessay

1 (current)
2

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 7 + 3?

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