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

College of Engineering 90
Graduate Dissertations and Theses at Illinois 84
Dept. of Computer Science 75
College of Liberal Arts and Sciences 17
Dept. of Electrical and Computer Engineering 7
Program in Comparative and World Literature 5
Research publications from UIUC 4
Dept. of Chemistry 3
Summary of Engineering Research (1957-2008) 3
XSEDE: Extreme Science and Engineering Discovery Environment 3

Collection

Graduate Dissertations and Theses at Illinois 84
Dissertations and Theses - Computer Science 48
Research and Tech Reports - Computer Science 28
Dissertations and Theses - Electrical and Computer Engineering 7
Dissertations and Theses - Comparative and World Literature 5
Research publications from the University of Illinois at Urbana-Champaign 4
Dissertations and Theses - Chemistry 3
Summary of Engineering Research (2003-2008) 3
XSEDE Planning Documents and Reports 3
Dissertations and Theses - Anthropology 2

Author(s)

Madhusudan, P. 7
Viswanathan, Mahesh 4
Chen, Feng 3
Farzan, Azadeh 3
Garg, Pranav 3
Kumar, Viraj 3
Lu, Shan 3
Meseguer, José 3
Tasharofi, Samira 3
Basu Thakur, Gautam 2

Keyword(s)

computer science 7
Computer Science 6
Verification 4
verification 4
Concurrency 3
concurrency 3
program verification 3
Chemistry, Biochemistry 2
Deadlock 2
E&O 2

Type of Resource

text 78
Thesis 14
image 1

↑ ↓

Showing 61–90 of 122 items

1
2
3 (current)
4
5

Thumbnail for Constrained Narrowing for Conditional Equational Theories Modulo Axioms

Constrained Narrowing for Conditional Equational Theories Modulo Axioms

Cholewa, Andrew; Escobar, Santiago; Meseguer, José

Thumbnail for Automated Discovery of Social Networks in Online Learning Communities

Automated Discovery of Social Networks in Online Learning Communities

Gruzd, Anatoliy

Thumbnail for Practical verification of network planes

Practical verification of network planes

Prabhu Muraleedhara Prabhu, Santhosh

Thumbnail for Ideals of powers of linear forms

Ideals of powers of linear forms

Shan, Jianyun

Thumbnail for Taming implicit synchronizations in concurrent programs

Taming implicit synchronizations in concurrent programs

Xiong, Weiwei

Thumbnail for Improved regression testing of multithreaded programs

Improved regression testing of multithreaded programs

Jagannath, Vilas

Thumbnail for Metal–organic framework based non-precious metal electrocatalysts for the oxygen reduction reaction

Metal–organic framework based non-precious metal electrocatalysts for the oxygen reduction reaction

Al-Zoubi, Talha

Thumbnail for High efficiency luminescent solar concentrator with interconnected gallium indium phosphide micro solar cells

High efficiency luminescent solar concentrator with interconnected gallium indium phosphide micro solar cells

Su, Hanxiao

Thumbnail for Guided synthesis of network behavior

Guided synthesis of network behavior

Zhou, Wenxuan

Thumbnail for Generalized Rewrite Theories, Coherence Completion and Symbolic Methods

Generalized Rewrite Theories, Coherence Completion and Symbolic Methods

Meseguer, José

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 A comprehensive solvation theory for colloidal forces with application to both neutral and charged systems

A comprehensive solvation theory for colloidal forces with application to both neutral and charged systems

Frink, Laura Jane Douglas

Thumbnail for Regression test selection: theory and practice

Regression test selection: theory and practice

Gligoric, Milos Zivko

Thumbnail for Foundations for practical network verification

Foundations for practical network verification

Kheradmand, Ali

Thumbnail for Actor programming with static guarantees

Actor programming with static guarantees

Charalambides, Minas

Thumbnail for A rewriting approach to concurrent programming language design and semantics

A rewriting approach to concurrent programming language design and semantics

Serbanuta, Traian Florin

Thumbnail for Conformance Testing and Error Explanation for Software Models

Conformance Testing and Error Explanation for Software Models

Kumar, Viraj

Thumbnail for The tasks with effects model for safe concurrency

The tasks with effects model for safe concurrency

Heumann, Stephen T.

Thumbnail for Integrated plant and control design for vehicle-environment interaction

Integrated plant and control design for vehicle-environment interaction

Xie, Yangmin

Thumbnail for Remedies for building reliable cyber-physical systems

Remedies for building reliable cyber-physical systems

Roohi, Nima

Thumbnail for Secure virtual architecture: security for commodity software systems

Secure virtual architecture: security for commodity software systems

Criswell, John

Thumbnail for Evolution-aware runtime verification

Evolution-aware runtime verification

Legunsen, Owolabi

Thumbnail for Approximation Based Safety and Stability Verification of Hybrid Systems

Approximation Based Safety and Stability Verification of Hybrid Systems

Prabhakar, Pavithra

Thumbnail for Algorithms on Clustering, Orienteering, and Conflict-Free Coloring

Algorithms on Clustering, Orienteering, and Conflict-Free Coloring

Chen, Ke

Thumbnail for Investigation of the Enzymes Involved in Lantibiotic Biosynthesis: Lacticin 481 and Haloduracin

Investigation of the Enzymes Involved in Lantibiotic Biosynthesis: Lacticin 481 and Haloduracin

Ihnken, Leigh Anne Furgerson

Thumbnail for Making runtime monitoring of parametric properties practical

Making runtime monitoring of parametric properties practical

Jin, Dongyun

Thumbnail for Modeling the successes and failures of content-based platforms

Modeling the successes and failures of content-based platforms

Dev, Himel

Thumbnail for Dynamic analysis of Cyber-Physical Systems

Dynamic analysis of Cyber-Physical Systems

Duggirala, Parasara Sridhar

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 Single Molecule Fret Studies of DNA Binding and RNA Polymerizing Proteins

Single Molecule Fret Studies of DNA Binding and RNA Polymerizing Proteins

Rahul, Roy

1
2
3 (current)
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 0 + 7?

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