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 547
College of Engineering 376
Dept. of Computer Science 164
College of Liberal Arts and Sciences 145
Dept. of Electrical and Computer Engineering 71
Dept. of Chemistry 64
College of Business 53
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 547
Research and Tech Reports - Computer Science 86
Dissertations and Theses - Computer Science 79
Dissertations and Theses - Electrical and Computer Engineering 65
Dissertations and Theses - Chemistry 64
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 26
Meseguer, José 13
Rosu, Grigore 11
Agha, Gul A. 7
Chadha, Rohit 7
Sen, Koushik 7
Liu, Si 6
Viswanathan, Madhubalan 6
Brown, Eric N. 5
University of Illinois at Urbana-Champaign. College of Engineering 5

Keyword(s)

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

Type of Resource

text 523
Thesis 49
Text 3
other 2
Image 1
Other 1
image 1

↑ ↓

Showing 91–120 of 713 items

2
3
4 (current)
5
6

Thumbnail for The cardiovascular effects of the pharmacological interruption of the brain renin-angiotensin system in Dahl salt-induced hypertension

The cardiovascular effects of the pharmacological interruption of the brain renin-angiotensin system in Dahl salt-induced hypertension

Lark, Lisa Anne

Thumbnail for LAS: Aquatic Toxicity and Biodegradation

LAS: Aquatic Toxicity and Biodegradation

Morrow, Debra; Piwoni, Marvin D.

Thumbnail for Development of Self -Healing Polymer Composites and Photoinduced Ring -Opening Metathesis Polymerization

Development of Self -Healing Polymer Composites and Photoinduced Ring -Opening Metathesis Polymerization

Sriram, Suresh Ranganathan

Thumbnail for Stocks, bonds and volatility in financial markets

Stocks, bonds and volatility in financial markets

Lee, Jae Hoon

Thumbnail for Conformance Testing and Error Explanation for Software Models

Conformance Testing and Error Explanation for Software Models

Kumar, Viraj

Thumbnail for Diurnal Variations in Transpiration and Root Metabolism in Maize

Diurnal Variations in Transpiration and Root Metabolism in Maize

Long, Raymond Carl

Thumbnail for Optimized Execution of Deterministic Blocks in Java PathFinder

Optimized Execution of Deterministic Blocks in Java PathFinder

d'Amorim, Marcelo; Sobeih, Ahmed A.; Marinov, Darko

Thumbnail for Probabilistic Modeling and Verification of Large Scale Systems

Probabilistic Modeling and Verification of Large Scale Systems

Kwon, YoungMin

Thumbnail for Software tools for scenario verification of autonomous systems exploiting dynamical symmetries

Software tools for scenario verification of autonomous systems exploiting dynamical symmetries

Li, Yangge

Thumbnail for If Romantic Historicism Shaped Modern Fundamentalism, Would that Count as Secularization?

If Romantic Historicism Shaped Modern Fundamentalism, Would that Count as Secularization?

Underwood, Ted

Thumbnail for Probabilistic Modeling and Verification of Large Scale Systems

Probabilistic Modeling and Verification of Large Scale Systems

Kwon, YoungMin

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 Examining the perceptions of diabetes risk factors among Congolese immigrants in Illinois

Examining the perceptions of diabetes risk factors among Congolese immigrants in Illinois

Tshiswaka, Daudet Ilunga

Thumbnail for Open Problems and Challenges 2016

Open Problems and Challenges 2016

Rosu, Grigore

Thumbnail for Magnetism in Nickel - Copper Alloys

Magnetism in Nickel - Copper Alloys

Robbins, Charles Gordon

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 Verification of Annotated Models from Executions

Verification of Annotated Models from Executions

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

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

Bounded Verification with On-the-Fly Discrepancy Computation

Fan, Chuchu; Mitra, Sayan

Thumbnail for MOP: Reliable Software Development using Abstract Aspects

MOP: Reliable Software Development using Abstract Aspects

Chen, Feng; Rosu, Grigore

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 Three essays in corporate finance

Three essays in corporate finance

Kim, Hwanki Brian

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 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 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 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 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 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 Multiscale dynamics in honeybee societies

Multiscale dynamics in honeybee societies

Deviprasad Rao, Vikyath

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 Fearful Bodies into Disciplined Subjects: Pleasure, Romance, and the Family Drama of Colonial Reform in Mary Carpenter's Six Months in India

Fearful Bodies into Disciplined Subjects: Pleasure, Romance, and the Family Drama of Colonial Reform in Mary Carpenter's Six Months in India

Burton, A.M.

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 + 5?

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