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 1–30 of 713 items

1 (current)
2
3
4
5

Thumbnail for Novel Self-Healing Materials Chemistries for Targeted Applications

Novel Self-Healing Materials Chemistries for Targeted Applications

Wilson, Gerald O.

Thumbnail for Performance of Decentralized Detection in Large Sensor Networks: Impact of Different Binary Modulation Schemes and Fading in Sensor-to-fusion Center Link

Performance of Decentralized Detection in Large Sensor Networks: Impact of Different Binary Modulation Schemes and Fading in Sensor-to-fusion Center Link

Kanchumarthy, Venkateshwara R.; Viswanathan, R.

Thumbnail for Comparison of Diversity Combining Techniques Based on K-out of-N Strongest Branch Signals for FSK Detection in Fading Channels

Comparison of Diversity Combining Techniques Based on K-out of-N Strongest Branch Signals for FSK Detection in Fading Channels

Youn, Il Jin; Mandala, Swapna; Viswanathan, R.

Thumbnail for On the Expressiveness and Complexity of Randomization in Finite State Monitors

On the Expressiveness and Complexity of Randomization in Finite State Monitors

Chadha, Rohit; Sistla, A. Parsad; Viswanathan, Mahesh

Thumbnail for On Statistical Model Checking of Stochastic Systems

On Statistical Model Checking of Stochastic Systems

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

Thumbnail for Incorporating Bounded Model Checking in Network Simulation: Theory, Implementation and Evaluation

Incorporating Bounded Model Checking in Network Simulation: Theory, Implementation and Evaluation

Sobeih, Ahmed A.; Viswanathan, Mahesh; Hou, Jennifer C.

Thumbnail for Learning to Verify Branching Time Properties

Learning to Verify Branching Time Properties

Vardhan, Abhay; Viswanathan, Mahesh

Thumbnail for A Decidable Class of Planar Linear Hybrid Systems

A Decidable Class of Planar Linear Hybrid Systems

Prabhakar, Pavithra; Vladimerou, Vladimeros; Viswanathan, Mahesh; Dullerud, Geir E.

Thumbnail for Bounded Model Checking of Network Protocols in Network Simulators by Exploiting Protocol-Specific Heuristics

Bounded Model Checking of Network Protocols in Network Simulators by Exploiting Protocol-Specific Heuristics

Sobeih, Ahmed A.; Viswanathan, Mahesh; Hou, Jennifer C.

Thumbnail for Model Checking Multithreaded Programs with Asynchronous Atomic Methods

Model Checking Multithreaded Programs with Asynchronous Atomic Methods

Sen, Koushik; 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 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 Verification of Simulation Models of Network Protocols Using State Space Exploration and Protocol-Specific Properties

Verification of Simulation Models of Network Protocols Using State Space Exploration and Protocol-Specific Properties

Sobeih, Ahmed A.; d'Amorim, Marcelo; Viswanathan, Mahesh; Marinov, Darko; Hou, Jennifer C.

Thumbnail for Entrepreneurial teaching in creating third spaces for experiential learning: a case study of two science teachers in low-income settings

Entrepreneurial teaching in creating third spaces for experiential learning: a case study of two science teachers in low-income settings

Koehler, Jeanne

Thumbnail for On the Expressiveness and Complexity of Randomization in Finite State Monitors

On the Expressiveness and Complexity of Randomization in Finite State Monitors

Chadha, Rohit; Sistla, A. Parsad; Viswanathan, Mahesh

Thumbnail for Propositional Tree Automata

Propositional Tree Automata

Hendrix, Joe; Ohsaki, Hitoshi; Viswanathan, Mahesh

Thumbnail for Congruences for Visibly Pushdown Languages

Congruences for Visibly Pushdown Languages

Alur, Rajeev; Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh

Thumbnail for Using Asset Poverty Measures to Understand Poverty Dynamics, Poverty Traps and Farmer Behavior in Sub-Saharan Africa: A Focus on Rural Ethiopia

Using Asset Poverty Measures to Understand Poverty Dynamics, Poverty Traps and Farmer Behavior in Sub-Saharan Africa: A Focus on Rural Ethiopia

Liverpool, Lenis Saweda

Thumbnail for Minimization, Learning, and Conformance Testing of Boolean Programs

Minimization, Learning, and Conformance Testing of Boolean Programs

Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh

Thumbnail for Entrepreneurial marketing in subsistence marketplaces

Entrepreneurial marketing in subsistence marketplaces

Venugopal, Srinivas

Thumbnail for Expert -Like Performance in Everyday Domains: The Effects of Thinking Styles and Problem Structure on Problem -Solving Performance

Expert -Like Performance in Everyday Domains: The Effects of Thinking Styles and Problem Structure on Problem -Solving Performance

Gau, Roland

Thumbnail for Encoding and memory differences between numerical and verbal product information. BEBR 92-0141

Encoding and memory differences between numerical and verbal product information. BEBR 92-0141

Viswanathan, Madhubalan

Thumbnail for Marginal oscillator sensitivity enhancement using full-state nonlinear feedback

Marginal oscillator sensitivity enhancement using full-state nonlinear feedback

Ginsberg, Mark D

Thumbnail for The encoding of numerical and verbal information on product attributes : implications for consumer memory / 1992:104

The encoding of numerical and verbal information on product attributes : implications for consumer memory / 1992:104

Viswanathan, Madhubalan

Thumbnail for Very near-nozzle shear-layer turbulence and jet noise

Very near-nozzle shear-layer turbulence and jet noise

Fontaine, Ryan

"Individual differences in ""need for precision"" / 1992:102"

Viswanathan, Madhubalan

Thumbnail for The measurement of individual differences in preference for numerical information

The measurement of individual differences in preference for numerical information

Viswanathan, Madhubalan

Thumbnail for Statistical verification and differential privacy in cyber-physical systems

Statistical verification and differential privacy in cyber-physical systems

Wang, Yu

Thumbnail for Towards parallelization of simulation-based reachability

Towards parallelization of simulation-based reachability

Qi, Bolun

Thumbnail for Algorithmic advances in dynamic analysis for detecting concurrency bugs

Algorithmic advances in dynamic analysis for detecting concurrency bugs

Mathur, Umang

1 (current)
2
3
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 8 + 2?

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