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 181–210 of 703 items

5
6
7 (current)
8
9

Thumbnail for Identification of battery products and intermediates through NMR spectroscopy

Identification of battery products and intermediates through NMR spectroscopy

Huff, Laura

Thumbnail for Uniform verification of safety for parameterized networks of hybrid automata

Uniform verification of safety for parameterized networks of hybrid automata

Johnson, Taylor

Thumbnail for Circadian disruption causes deficits in attention and response inhibition in adult Long-Evans rats

Circadian disruption causes deficits in attention and response inhibition in adult Long-Evans rats

Balachandran, Rekha C.

Thumbnail for Exploring Design Alternatives for Replicated RAMP Transactions Using Maude

Exploring Design Alternatives for Replicated RAMP Transactions Using Maude

Liang, Lei; Liu, Si

Thumbnail for Stability of linear autonomous systems under regular switching sequences

Stability of linear autonomous systems under regular switching sequences

Wang, Yu

Thumbnail for The propagator for graviton modes in supergravity on ADS5 x S5

The propagator for graviton modes in supergravity on ADS5 x S5

Ostling, Annette Marie

Thumbnail for Curriculum Vitae for F. Wilfrid Lancaster

Curriculum Vitae for F. Wilfrid Lancaster

Submitter: Sarah Shreeves

Thumbnail for A study of the relationships among perceived job context factors, information-seeking behaviors, work engagement, and future role intent among Korean project managers

A study of the relationships among perceived job context factors, information-seeking behaviors, work engagement, and future role intent among Korean project managers

Hong, Seung Won

Thumbnail for Scalable Parametric Runtime Monitoring

Scalable Parametric Runtime Monitoring

Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore

Thumbnail for Self-healing strategies for lithium-ion battery anodes

Self-healing strategies for lithium-ion battery anodes

Kang, Sen

Thumbnail for Model Checking Multithreaded Programs with Asynchronous Atomic Methods

Model Checking Multithreaded Programs with Asynchronous Atomic Methods

Sen, Koushik; Viswanathan, Mahesh

Thumbnail for The effects of cultural orientation on perceptions of power threat

The effects of cultural orientation on perceptions of power threat

Wong, Jimmy S.

Thumbnail for Efficient Monitoring of ω-languages

Efficient Monitoring of ω-languages

d'Amorim, Marcelo; Rosu, Grigore

Thumbnail for Organic seminar abstracts. 1963 summer

Organic seminar abstracts. 1963 summer

Submitter: Howard Ding

Thumbnail for Mechanophore activation at heterointerface and surface crowdedness as a determining factor

Mechanophore activation at heterointerface and surface crowdedness as a determining factor

Li, Jun

Thumbnail for Hydrothermal processes to recover energy and nutrients from liquid portion of swine manure

Hydrothermal processes to recover energy and nutrients from liquid portion of swine manure

Zhang, Peng

Thumbnail for Non -Contributors to Transactive Memory: Team Responses and Team Effectiveness

Non -Contributors to Transactive Memory: Team Responses and Team Effectiveness

Gupta, Naina

Thumbnail for On the turbulence-generated sound and control of compressible mixing layers

On the turbulence-generated sound and control of compressible mixing layers

Kleinman, Randall R.

Thumbnail for Retardation and repair of fatigue cracks in a microcapsule toughened epoxy composite -- Part I: Manual infiltration

Retardation and repair of fatigue cracks in a microcapsule toughened epoxy composite -- Part I: Manual infiltration

Brown, Eric N.; White, Scott R.; Sottos, Nancy R.

Thumbnail for Efficient Explicit-State Model Checking for Programs with Dynamically Allocated Data

Efficient Explicit-State Model Checking for Programs with Dynamically Allocated Data

d'Amorim, Marcelo

Thumbnail for Using Context-Free Grammars to Scaffold and Automate Feedback in Precise Mathematical Writing

Using Context-Free Grammars to Scaffold and Automate Feedback in Precise Mathematical Writing

Xia, Jason; Zilles, Craig • 2022

Thumbnail for 20 Years of Rewriting Logic

20 Years of Rewriting Logic

Meseguer, José

Thumbnail for Simultaneous observations of meteors and the equatorial electrojet at Jicamarca

Simultaneous observations of meteors and the equatorial electrojet at Jicamarca

Chapin, Elaine

Thumbnail for Information-theoretic analysis of human-machine mixed systems

Information-theoretic analysis of human-machine mixed systems

Seo, Daewon

Thumbnail for Automated Systematic Testing of Open Distributed Programs

Automated Systematic Testing of Open Distributed Programs

Sen, Koushik; Agha, Gul A.

Thumbnail for An Equational Logic and a Coordination Language for Distributed Objects

An Equational Logic and a Coordination Language for Distributed Objects

Ziaei, Mahmood Reza

Thumbnail for Two essays on product positioning and social media

Two essays on product positioning and social media

Liu, Xuefeng

"""Forms of Some Intenser Life"": Genre and Imperialism at the Turn of the Century"

Jernigan, Brandon

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 Extending Parikh's Theorem to Weighted and Probabilistic Context-Free Grammars

Extending Parikh's Theorem to Weighted and Probabilistic Context-Free Grammars

Bhattiprolu, Vijay; Gordon, Spencer; Viswanathan, Mahesh

5
6
7 (current)
8
9

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 2 + 1?

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