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 40
College of Engineering 21
College of Liberal Arts and Sciences 17
Dept. of Computer Science 12
Dept. of East Asian Languages and Cultures 4
Dept. of Linguistics 4
Dept. of Chemistry 3
Dept. of Electrical and Computer Engineering 3
Research publications from UIUC 3
Bulletin of the Center for Children's Books 2

Collection

Graduate Dissertations and Theses at Illinois 40
Dissertations and Theses - Computer Science 8
Dissertations and Theses - East Asian Languages and Cultures 4
Dissertations and Theses - Linguistics 4
Dissertations and Theses - Chemistry 3
Dissertations and Theses - Electrical and Computer Engineering 3
Research and Tech Reports - Computer Science 3
Research publications from the University of Illinois at Urbana-Champaign 3
Dissertations - Communications 2
Dissertations - Law 2

Author(s)

Li, Liyi 4
Gunter, Elsa L. 2
Mansky, William 2
Roşu, Grigore 2
Andreacchio, Marco Antonio 1
Azeredo, Bruno Pavanelli 1
Bai, Ruoyun 1
Bay, Michael 1
Cai, Ming 1
Campbell, Richard Joe 1

Keyword(s)

Language, Linguistics 5
Chemistry, Organic 3
Engineering, Electronics and Electrical 3
Book reviews 2
Children's literature -- Bibliography -- Periodicals 2
Literature, Asian 2
Theses -- UIUC 2
"""green logistics""" 1
1,2,3-triazole 1
Actor 1

Type of Resource

text 49
Thesis 1
image 1

↑ ↓

Showing 1–30 of 53 items

1 (current)
2

Thumbnail for A verification framework suitable for proving large language translations

A verification framework suitable for proving large language translations

Li, Liyi

Thumbnail for Symbolic semantics for CSP

Symbolic semantics for CSP

Li, Liyi

Thumbnail for IsaK: A Complete Semantics of K

IsaK: A Complete Semantics of K

Li, Liyi; Gunter, Elsa L.

Thumbnail for Symbolic Semantics for CSP

Symbolic Semantics for CSP

Li, Liyi; Gunter, Elsa L.; Mansky, William

Thumbnail for Bulletin of the Center for Children's Books 40 (01) 1986

Bulletin of the Center for Children's Books 40 (01) 1986

Submitter: William Ingram

Thumbnail for Reliable control of decentralized systems: An ARE-based H(infinity) approach

Reliable control of decentralized systems: An ARE-based H(infinity) approach

Veillette, Robert Joseph

Thumbnail for The Greeks of Homer's Odyssey

The Greeks of Homer's Odyssey

Tull, Effie M.

Thumbnail for Representing Divorce, Reforming Interiority: Narratives of Gender, Class and Family in Post-Reform Chinese Literature and Culture

Representing Divorce, Reforming Interiority: Narratives of Gender, Class and Family in Post-Reform Chinese Literature and Culture

Xiao, Hui

Thumbnail for Bulletin of the Center for Children's Books 40 (11) 1987

Bulletin of the Center for Children's Books 40 (11) 1987

Submitter: William Ingram

"A syntactical study of the chanson de geste ""La destruction de Rome"""

Tomlinson, Ben

Thumbnail for The politics and identity of fashion changes in early-twentieth century China

The politics and identity of fashion changes in early-twentieth century China

Wang, Lu

"Decarbonizing the ""Last Mile"" of E-commerce in Shanghai"

Li, Zherui

Thumbnail for KEVM: A Complete Semantics of the Ethereum Virtual Machine

KEVM: A Complete Semantics of the Ethereum Virtual Machine

Everett Hildenbrandt; Saxena, Manasvi; Xiaoran Zhu; Rodrigues, Nishant; Philip Daian; Guth, Dwight; Roşu, Grigore

Thumbnail for Programming platform for distributed robotics: primitives and portability

Programming platform for distributed robotics: primitives and portability

Lin, Yixiao

Thumbnail for The Determination of The Direction of Arrival of an Interference Field

The Determination of The Direction of Arrival of an Interference Field

Lai, Hang Hanley

Thumbnail for A static semantics for labels in OCaml

A static semantics for labels in OCaml

Bay, Michael

Thumbnail for Biennial Report of the State Laboratory and Special Report of the University Biological Experiment Station 1895-1896

Biennial Report of the State Laboratory and Special Report of the University Biological Experiment Station 1895-1896

Forbes, Stephen Alfred

Thumbnail for Asymptotic Stability of the Ground States of the Nonlinear Schrodinger Equation

Asymptotic Stability of the Ground States of the Nonlinear Schrodinger Equation

Mizrak, Ozgur

Thumbnail for Corporate Social and Environmental Disclosure in Emerging Securities Markets: China as a Case Study

Corporate Social and Environmental Disclosure in Emerging Securities Markets: China as a Case Study

Lin, Li Wen

Thumbnail for Final Report : Low Cycle Fatigue of Butt Weldments of Hy-100 (T) and HY-130(T) Steel

Final Report : Low Cycle Fatigue of Butt Weldments of Hy-100 (T) and HY-130(T) Steel

Radziminski, J.B.; Lawrence, F.V.

Thumbnail for Non-lithographic and scalable manufacturing of silicon micro & nanomaterials

Non-lithographic and scalable manufacturing of silicon micro & nanomaterials

Azeredo, Bruno Pavanelli

Thumbnail for Applicative matching logic

Applicative matching logic

Chen, Xiaohong; Roşu, Grigore

Thumbnail for Anticorruption Television Dramas: Between Propaganda and Popular Culture in Globalizing China

Anticorruption Television Dramas: Between Propaganda and Popular Culture in Globalizing China

Bai, Ruoyun

Thumbnail for You Gotta Have Friends: An Analysis of Social Relations in Preschool Children With Speech and Language Impairment

You Gotta Have Friends: An Analysis of Social Relations in Preschool Children With Speech and Language Impairment

Nungesser, Nicole Renee

Thumbnail for Electromagnetic Inverse Scattering Problems for Strong Scatterers

Electromagnetic Inverse Scattering Problems for Strong Scatterers

Otto, Gregory Patrick

Thumbnail for Bosonization in 1 + 1/2 dimensions

Bosonization in 1 + 1/2 dimensions

Fuentes, Manuel Alejandro

Thumbnail for Nucleophilic Displacements on Azomethine Nitrogen

Nucleophilic Displacements on Azomethine Nitrogen

Glorvigen, Bradley Willard

Thumbnail for Measurement of the relative amplitude and strong phase between antineutral D meson decaying to kaon+ resonance kaon- and neutral D meson decaying to kaon+ resonance kaon- via Dalitz plot analysis of neutral D meson decaying to kaon+ kaon- neutral pion decays

Measurement of the relative amplitude and strong phase between antineutral D meson decaying to kaon+ resonance kaon- and neutral D meson decaying to kaon+ resonance kaon- via Dalitz plot analysis of neutral D meson decaying to kaon+ kaon- neutral pion decays

Naik, Paras P.

Thumbnail for The anticommons problem in China’s landownership system and its reform

The anticommons problem in China’s landownership system and its reform

Feng, Ye

Thumbnail for Whole-system testing and analysis of actor programs

Whole-system testing and analysis of actor programs

Li, Sihan

1 (current)
2

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 3 + 8?

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