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 447
College of Liberal Arts and Sciences 212
Research publications from UIUC 124
Prairie Research Institute 115
College of Engineering 111
Illinois State Geological Survey (ISGS) 58
Dept. of Chemistry 48
Dept. of Computer Science 48
Dept. of English 48
College of Agricultural, Consumer and Environmental Sciences (ACES) 40

Collection

Graduate Dissertations and Theses at Illinois 447
Research publications from the University of Illinois at Urbana-Champaign 121
Dissertations and Theses - English 48
Dissertations and Theses - Chemistry 47
Dissertations and Theses - Education 37
Research and Tech Reports - Computer Science 23
Dissertations and Theses - Computer Science 21
Dissertations and Theses - History 21
Annual Report - Illinois State Geological Survey 17
Dissertations and Theses - Physics 15

Author(s)

University of Illinois at Urbana-Champaign 48
Illinois State Geological Survey 20
Rosu, Grigore 10
Roşu, Grigore 8
Chen, Xiaohong 7
Moore, Brandon 6
Berg, Richard C. 4
Butts, Thomas A. 4
Hansel, Ardith K. 4
University of Illinois at Chicago Circle 3

Keyword(s)

Geology 36
Book reviews 15
Children's literature -- Bibliography -- Periodicals 15
Illinois State Geological Survey Periodicals. 12
Literature, English 11
Illinois River 10
Literature, Modern 9
University of Illinois at Urbana-Champaign Basketball. 9
Chemistry, Organic 8
Illinois 7

Type of Resource

text 660
Thesis 37
image 4
dataset / spreadsheet 3
still image 2
audio 1
video 1

↑ ↓

Showing 1–30 of 796 items

1 (current)
2
3
4
5

Thumbnail for Coinductive program verification

Coinductive program verification

Moore, Brandon Michael

Thumbnail for Program Verification by Coinduction

Program Verification by Coinduction

Rosu, Grigore; Moore, Brandon

Thumbnail for Reachability Logic in K

Reachability Logic in K

Stefanescu, Andrei; Ciobaca, Stefan; Moore, Brandon; Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for Reachability Logic

Reachability Logic

Rosu, Grigore; Stefanescu, Andrei; Ciobaca, Stefan; Moore, Brandon

Thumbnail for Verification of Casper in the Coq Proof Assistant

Verification of Casper in the Coq Proof Assistant

Palmskog, Karl; Gligoric, Milos; Pena, Lucas; Moore, Brandon; Roşu, Grigore

Thumbnail for Thread Contracts for Race-Freedom

Thread Contracts for Race-Freedom

Karmani, Rajesh Kumar; Madhusudan, P.; Moore, Brandon

Thumbnail for IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics

IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics

Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian; Serbanuta, Virgil; Filaretti, Daniele; Roşu, Grigore; Johnson, Ralph

Thumbnail for IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics

IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics

Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian; Serbanuta, Virgil; Filaretti, Daniele; Roşu, Grigore; Johnson, Ralph

Thumbnail for IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain

IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain

Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian Florin; Zhang, Yi; Filaretti, Daniele; Serbanuta, Virgil; Johnson, Ralph; Roşu, Grigore

Thumbnail for Depositional and taphonomic aspects of a Silurian (Brandon Bridge, Llandovery-Wenlock) Fossil Konservat Lagerstatte from Waukesha, Wisconsin (U.S.A.), predictability of North American Silurian Fossil Konservat Lagerstatten, and some insights into ichnofacies

Depositional and taphonomic aspects of a Silurian (Brandon Bridge, Llandovery-Wenlock) Fossil Konservat Lagerstatte from Waukesha, Wisconsin (U.S.A.), predictability of North American Silurian Fossil Konservat Lagerstatten, and some insights into ichnofacies

Kluessendorf, Joanne

Thumbnail for Open Problems and Challenges 2016

Open Problems and Challenges 2016

Rosu, Grigore

Thumbnail for Open Problems and Challenges 2017

Open Problems and Challenges 2017

Roşu, Grigore

Thumbnail for Illinois football spring prospectus. 2001

Illinois football spring prospectus. 2001

Submitter: Howard Ding

Thumbnail for Urban Planning and the Cannabis Industries: Guidance for Implementing Green Industries with High-Level Opportunities

Urban Planning and the Cannabis Industries: Guidance for Implementing Green Industries with High-Level Opportunities

Harm, Taryn Stephnae

Thumbnail for Bibliography and index of Illinois geology: 1986

Bibliography and index of Illinois geology: 1986

Submitter: Howard Ding

Thumbnail for Measurements of Sediment Oxygen Demand Characteristics of the Upper Illinois Waterway

Measurements of Sediment Oxygen Demand Characteristics of the Upper Illinois Waterway

Butts, Thomas A.

Thumbnail for Des Plaines River Long-Term Monitoring Program: Vegetation Analyses and Habit
Characterization

Des Plaines River Long-Term Monitoring Program: Vegetation Analyses and Habit Characterization

Tazik, Pamela P.; Sobaski, Stephen T.

Thumbnail for Commodity Origins, Traffic and Markets Accessible to Chicago via the Illinois Waterway

Commodity Origins, Traffic and Markets Accessible to Chicago via the Illinois Waterway

Becht, J. Edwin

Thumbnail for Transcriptional response to spatial learning and foraging in honey bees: molecular bases for adult neuroplasticity

Transcriptional response to spatial learning and foraging in honey bees: molecular bases for adult neuroplasticity

Lutz, Claudia

Thumbnail for Aligning bodies: Collecting, arranging, and describing hatred for a critical queer archives

Aligning bodies: Collecting, arranging, and describing hatred for a critical queer archives

Cifor, Marika

Thumbnail for An Annotated Bibliography of the Illinois Herpetological Literature 1960-1980, and an Updated Checklist of Species of the State

An Annotated Bibliography of the Illinois Herpetological Literature 1960-1980, and an Updated Checklist of Species of the State

Morris, Michael A.; Funk, Richard S.; Smith, Philip Wayne

Thumbnail for High-Resolution Field Ion Microscopy

High-Resolution Field Ion Microscopy

Tong, Hua-Ching

Thumbnail for Bulletin of the Center for Children's Books 51 (03) 1997

Bulletin of the Center for Children's Books 51 (03) 1997

Submitter: William Ingram

Thumbnail for The interaction of climate, tectonics, and topography in the Olympic Mountains of Washington State: the influence of erosion on tectonic steady-state and the synthesis of the alpine glacial history

The interaction of climate, tectonics, and topography in the Olympic Mountains of Washington State: the influence of erosion on tectonic steady-state and the synthesis of the alpine glacial history

Hellwig, Jessica L.

Thumbnail for UNTANGLING MOLECULAR SIGNALS OF ASTROCHEMICAL ICES IN THE THz: DISTINGUISHING AMORPHOUS, CRYSTALLINE, AND INTRAMOLECULAR MODES WITH BROADBAND THz SPECTROSCOPY

UNTANGLING MOLECULAR SIGNALS OF ASTROCHEMICAL ICES IN THE THz: DISTINGUISHING AMORPHOUS, CRYSTALLINE, AND INTRAMOLECULAR MODES WITH BROADBAND THz SPECTROSCOPY

McGuire, Brett A.

Thumbnail for Annual report to the Board of Natural Resources and Conservation / Illinois State Geological Survey Report 1989-90 vol. 3 (recognition and service)

Annual report to the Board of Natural Resources and Conservation / Illinois State Geological Survey Report 1989-90 vol. 3 (recognition and service)

Illinois State Geological Survey

Thumbnail for Self and Society in the Novel: The Victorian Synthesis

Self and Society in the Novel: The Victorian Synthesis

Kubitschek, Martha Dehn

Thumbnail for Field Evaporation: Model and Experiment

Field Evaporation: Model and Experiment

Vesely, Marian; Ehrlich, Gert

Thumbnail for Newsletter (University of Illinois Museum of Natural History) v.1, no.1 (1987) - v. 1, no.10 (1991)

Newsletter (University of Illinois Museum of Natural History) v.1, no.1 (1987) - v. 1, no.10 (1991)

University of Illinois Museum of Natural History

Thumbnail for IsaK: A Complete Semantics of K

IsaK: A Complete Semantics of K

Li, Liyi; Gunter, Elsa L.

1 (current)
2
3
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 4 + 3?

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