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 61–90 of 713 items

1
2
3 (current)
4
5

Thumbnail for Incremental State Space Exploration in J-Sim

Incremental State Space Exploration in J-Sim

Sobeih, Ahmed A.; Lauterburg, Steven

Thumbnail for Automatic simulation-driven reachability using matrix measures

Automatic simulation-driven reachability using matrix measures

Fan, Chuchu

Thumbnail for Mechanical and surface free energy characterization of asphalt concrete for moisture damage detection

Mechanical and surface free energy characterization of asphalt concrete for moisture damage detection

Abauwad, Ibrahim M.

Thumbnail for Hybridization based CEGAR for Hybrid Automata with Affine Dynamics

Hybridization based CEGAR for Hybrid Automata with Affine Dynamics

Roohi, Nima; Prabhakar, Pavithra; Viswanathan, Mahesh

"Aesthetics as resistance: rasa, dhvani, and empire in Tamil ""Protest"" drama"

Sundaram, Dheepa

Thumbnail for Power of Randomization in Automata on Infinite Strings

Power of Randomization in Automata on Infinite Strings

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

Thumbnail for Development of diffusive optical imaging as a tool for studying the neurobiology of birdsong

Development of diffusive optical imaging as a tool for studying the neurobiology of birdsong

Lee, James

Thumbnail for Querying Streaming XML Using Visibly Pushdown Automata

Querying Streaming XML Using Visibly Pushdown Automata

Clark, Robert

Thumbnail for Querying Streaming XML Using Visibly Pushdown Automata

Querying Streaming XML Using Visibly Pushdown Automata

Clark, Robert

Thumbnail for Non-Deterministic Vehicle Simulation Tool

Non-Deterministic Vehicle Simulation Tool

Li, Rongzhou

Thumbnail for A two-level path planning and monitoring architecture for real-world autonomous driving systems

A two-level path planning and monitoring architecture for real-world autonomous driving systems

Liu, Tianqi

Thumbnail for Verification Of Simulation Models Of Network Protocols Using State Space Exploration

Verification Of Simulation Models Of Network Protocols Using State Space Exploration

Sobeih, Ahmed A.

Thumbnail for Verification Of Simulation Models Of Network Protocols Using State Space Exploration

Verification Of Simulation Models Of Network Protocols Using State Space Exploration

Sobeih, Ahmed A.

Thumbnail for Categorization and Sensory Profiling of Functional Beverages

Categorization and Sensory Profiling of Functional Beverages

Tamamoto, Lauren Chiemi

Thumbnail for Verification of Randomized Security Protocols

Verification of Randomized Security Protocols

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

Thumbnail for Formal methods for safe autonomy: Data-driven verification, synthesis, and applications

Formal methods for safe autonomy: Data-driven verification, synthesis, and applications

Fan, Chuchu

Thumbnail for Locally Optimal Reach Set Over-approximation for Nonlinear Systems

Locally Optimal Reach Set Over-approximation for Nonlinear Systems

Fan, Chuchu; Kapinski, James; Jin, Xiaoqing; Mitra, Sayan

Thumbnail for Safe reinforcement learning: An overview, a hybrid systems perspective, and a case study

Safe reinforcement learning: An overview, a hybrid systems perspective, and a case study

Potok, Matthew

Thumbnail for Monitoring-Oriented Programming: A Tool-Supported Methodology for Higher Quality Object-Oriented Software

Monitoring-Oriented Programming: A Tool-Supported Methodology for Higher Quality Object-Oriented Software

Chen, Feng; d'Amorim, Marcelo; Rosu, Grigore

Thumbnail for The encoding and utilization of magnitudes of product attributes : an investigation using numerical and verbal information / 1992:105

The encoding and utilization of magnitudes of product attributes : an investigation using numerical and verbal information / 1992:105

Viswanathan, Madhubalan; Childers, Terry L.

Thumbnail for Angiotensin II Modulation of NMDA Receptor Function: Characterization of Mechanisms Attenuating Excitotoxicity in Neurons

Angiotensin II Modulation of NMDA Receptor Function: Characterization of Mechanisms Attenuating Excitotoxicity in Neurons

Schelman, William Russell

Thumbnail for Understanding how consumers navigate relationships within communities: Two essays

Understanding how consumers navigate relationships within communities: Two essays

Arias, Robert Alfonso

Thumbnail for Verification of Simulation Models of Network Protocols Using State Space Exploration

Verification of Simulation Models of Network Protocols Using State Space Exploration

Sobeih, Ahmed Adel

Thumbnail for Verification of linear-time properties for finite probabilistic systems

Verification of linear-time properties for finite probabilistic systems

Kini, Dileep Raghunath

Thumbnail for Aria Forms and Chorus Textures in Bach's Early Cantatas: The Influences of Neumeister, Telemann, and Rosenmueller

Aria Forms and Chorus Textures in Bach's Early Cantatas: The Influences of Neumeister, Telemann, and Rosenmueller

Metzler, Patrizia

Thumbnail for Optimal Translation of LTL to Limit Deterministic Automata

Optimal Translation of LTL to Limit Deterministic Automata

Kini, Dileep; Viswanathan, Mahesh

Thumbnail for Specifications for Decidable Hybrid Automata and Games

Specifications for Decidable Hybrid Automata and Games

Vladimerou, Vladimeros

Thumbnail for Automaticity and Control in the Effect of Arousal on Persuasion

Automaticity and Control in the Effect of Arousal on Persuasion

Riemer, Hila

Thumbnail for PMaude: Rewrite-based Specification Language for Probabilistic Object Systems

PMaude: Rewrite-based Specification Language for Probabilistic Object Systems

Agha, Gul A.; Meseguer, José; Sen, Koushik

Thumbnail for Direct ink writing of microvascular networks

Direct ink writing of microvascular networks

Wu, Willie

1
2
3 (current)
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 7 + 4?

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