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

Graduate Dissertations and Theses at Illinois 543
College of Engineering 372
Dept. of Computer Science 162
College of Liberal Arts and Sciences 141
Dept. of Electrical and Computer Engineering 66
Dept. of Chemistry 64
College of Business 52
Dept. of Business Administration 44
Dept. of Mechanical Science and Engineering 25
College of Agricultural, Consumer and Environmental Sciences (ACES) 24

Collection

Graduate Dissertations and Theses at Illinois 543
Research and Tech Reports - Computer Science 84
Dissertations and Theses - Computer Science 77
Dissertations and Theses - Chemistry 64
Dissertations and Theses - Electrical and Computer Engineering 62
Dissertations and Theses - Business Administration 44
Dissertations and Theses - Mechanical Science and Engineering 25
Dissertations and Theses - Materials Science and Engineering 23
Dissertations and Theses - Civil and Environmental Engineering 21
Dissertations and Theses - Chemical and Biomolecular Engineering 19

Author(s)

Viswanathan, Mahesh 24
Meseguer, José 13
Rosu, Grigore 11
Chadha, Rohit 7
Agha, Gul A. 6
Liu, Si 6
Brown, Eric N. 5
Sen, Koushik 5
University of Illinois at Urbana-Champaign. College of Engineering 5
White, Scott R. 5

Keyword(s)

Engineering, Electronics and Electrical 29
Computer Science 25
computer science 24
Engineering, Materials Science 18
Business Administration, Marketing 17
Engineering, Mechanical 8
Chemistry, Analytical 7
Engineering, Civil 6
Maude 6
Formal Methods 5

Type of Resource

text 516
Thesis 47
Text 2
other 2
Image 1
Other 1

↑ ↓

Showing 91–120 of 703 items

2
3
4 (current)
5
6

Thumbnail for EnforceMOP: A Runtime Property Enforcement System for Multithreaded Programs

EnforceMOP: A Runtime Property Enforcement System for Multithreaded Programs

Luo, Qingzhou; Rosu, Grigore

Thumbnail for Open Problems and Challenges 2016

Open Problems and Challenges 2016

Rosu, Grigore

Thumbnail for Compositional analysis of networked cyber-physical systems: safety and privacy

Compositional analysis of networked cyber-physical systems: safety and privacy

Huang, Zhenqi

Thumbnail for Magnetism in Nickel - Copper Alloys

Magnetism in Nickel - Copper Alloys

Robbins, Charles Gordon

Thumbnail for MOP: Reliable Software Development using Abstract Aspects

MOP: Reliable Software Development using Abstract Aspects

Chen, Feng; Rosu, Grigore

Thumbnail for Bounded Verification with On-the-Fly Discrepancy Computation

Bounded Verification with On-the-Fly Discrepancy Computation

Fan, Chuchu; Mitra, Sayan

Thumbnail for QoS-Aware Meta-Data Compiler for Ubiquitous Multimedia Applications

QoS-Aware Meta-Data Compiler for Ubiquitous Multimedia Applications

Wichadakul, Duangdao; Nahrstedt, Klara

Thumbnail for Verification of Annotated Models from Executions

Verification of Annotated Models from Executions

Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh

Thumbnail for Novel Self-Healing Materials Chemistries for Targeted Applications

Novel Self-Healing Materials Chemistries for Targeted Applications

Wilson, Gerald O.

Thumbnail for Model-Checking Markov Chains in the presence of Uncertainties

Model-Checking Markov Chains in the presence of Uncertainties

Sen, Koushik; Viswanathan, Mahesh; Agha, Gul A.

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 Modular Verification of Protocol Equivalence in the Presence of Randomness

Modular Verification of Protocol Equivalence in the Presence of Randomness

Bauer, Matthew S; Chadha, Rohit; Viswanathan, Mahesh

Thumbnail for Decidability Results for Well-Structured Transition Systems with Auxiliary Storage

Decidability Results for Well-Structured Transition Systems with Auxiliary Storage

Chadha, Rohit; Viswanathan, Mahesh

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 Exploration of the Structure and Catalytic Activity of Modified Platinum Substrates

Exploration of the Structure and Catalytic Activity of Modified Platinum Substrates

Crown, Alechia

Thumbnail for Space -Time Transmit Precoding and Interference Suppression for a Wireless Downlink

Space -Time Transmit Precoding and Interference Suppression for a Wireless Downlink

Visotsky, Eugene

Thumbnail for Human development, capabilities and university-industry partnerships: A case study of the Institute for Postharvest Loss

Human development, capabilities and university-industry partnerships: A case study of the Institute for Postharvest Loss

Sadomytschenko, Georganne

Thumbnail for The conformational landscape of L-threonine: Matrix isolation infrared and ab-initio studies

The conformational landscape of L-threonine: Matrix isolation infrared and ab-initio studies

Dubey, Pankaj

Thumbnail for Self-healing materials and multinozzle printheads with embedded microvascular networks

Self-healing materials and multinozzle printheads with embedded microvascular networks

Hansen, Christopher J.

Thumbnail for Exploring Design Alternatives for RAMP Transactions through Statistical Model Checking

Exploring Design Alternatives for RAMP Transactions through Statistical Model Checking

Liu, Si; Olveczky, Peter C.; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José

Thumbnail for Multiscale dynamics in honeybee societies

Multiscale dynamics in honeybee societies

Deviprasad Rao, Vikyath

Thumbnail for Entrepreneurship in the informal economy: evidence from informal institutional environments

Entrepreneurship in the informal economy: evidence from informal institutional environments

Skousen, Bradley Reed

Thumbnail for Three essays in corporate finance

Three essays in corporate finance

Kim, Hwanki Brian

Thumbnail for Lattice-Ordered Rings and Modules

Lattice-Ordered Rings and Modules

Steinberg, Stuart Alvin

Thumbnail for Optimized Structures for Switched-Capacitor Filters

Optimized Structures for Switched-Capacitor Filters

Attaie, Nowjand

Thumbnail for Electrochemical multiphase microsensor for detection of acetylcholinesterase inhibitors

Electrochemical multiphase microsensor for detection of acetylcholinesterase inhibitors

Sayyah, Maryam

Thumbnail for A nutriceutical approach to inhibiting H1N1 influenza infection

A nutriceutical approach to inhibiting H1N1 influenza infection

Lu, Lei

Thumbnail for Compositional bounded reachability using time partitioning and abstraction

Compositional bounded reachability using time partitioning and abstraction

Green, Jeremy

Thumbnail for An examination of the categorization process for pictures and words / Madhubalan Viswanathan ; Terry L. Childers 1992:124

An examination of the categorization process for pictures and words / Madhubalan Viswanathan ; Terry L. Childers 1992:124

Viswanathan, Madhubalan; Childers, Terry L.

Thumbnail for Magnetic phases of narrow band solids in the Hubbard model

Magnetic phases of narrow band solids in the Hubbard model

Yang, Bunli

2
3
4 (current)
5
6

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 5 + 0?

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