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 20
College of Engineering 16
Dept. of Computer Science 16
Research publications from UIUC 10
College of Liberal Arts and Sciences 7
Prairie Research Institute 7
Illinois Natural History Survey (INHS) 4
Dept. of Chemistry 3
Illinois State Geological Survey (ISGS) 2
College of Agricultural, Consumer and Environmental Sciences (ACES) 1

Collection

Graduate Dissertations and Theses at Illinois 20
Dissertations and Theses - Computer Science 12
Research publications from the University of Illinois at Urbana-Champaign 10
Research and Tech Reports - Computer Science 3
History of the Dept. of Chemistry 2
Technical Reports - Illinois Natural History Survey 2
Dissertations and Theses - Chemistry 1
Dissertations and Theses - Education 1
Dissertations and Theses - Food Science and Human Nutrition 1
Dissertations and Theses - Geography and Geographic Information Science 1

Author(s)

Hansen, Lonnie P. 2
Nixon, Charles M. 2
Roşu, Grigore 2
University of Illinois at Urbana-Champaign 2
Adams, Roger 1
Bandhakavi, Sruthi 1
Bartow, Virginia 1
Busch, Phillip Maxwell 1
Dolinnaya, Juliya A. 1
Duggirala, Parasara Sridhar 1

Keyword(s)

Chemistry Dept. 2
Formal Methods 2
History 2
Hybrid Systems 2
K 2
program verification 2
Abstraction Refinement 1
Accounting 1
Accounting -- Research 1
Adjacent Landing Alerting System (ALAS) 1

Type of Resource

text 34
image 2

↑ ↓

Showing 1–30 of 42 items

1 (current)
2

Thumbnail for Automated deductive verification of systems software

Automated deductive verification of systems software

Pek, Edgar

Thumbnail for Cooperative Wildlife Research W-87-R-6 Annual Job Progress Report 1 July 1984 through 30 June 1985 : Illinois Deer Investigations

Cooperative Wildlife Research W-87-R-6 Annual Job Progress Report 1 July 1984 through 30 June 1985 : Illinois Deer Investigations

Nixon, Charles M.; Hansen, Lonnie P.

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 Urea Cycle Operation in the Diabetic Rat

Urea Cycle Operation in the Diabetic Rat

Ha, Young Hee

Thumbnail for Practical systems for overcoming processor imperfections

Practical systems for overcoming processor imperfections

Hicks, Matthew

Thumbnail for Learning-based inductive invariant synthesis

Learning-based inductive invariant synthesis

Garg, Pranav

Thumbnail for Surface subsidence in Illinois resulting from coal mining.

Surface subsidence in Illinois resulting from coal mining.

Young, Lewis Emanuel

Thumbnail for Building abstractions for fast, secure, reliable computer systems

Building abstractions for fast, secure, reliable computer systems

Mai, Haohui

Thumbnail for The Dreamworld of Gajto Gazdanov in the Context of European Modernism

The Dreamworld of Gajto Gazdanov in the Context of European Modernism

Dolinnaya, Juliya A.

Thumbnail for Wetland resources of Illinois : an analysis and atlas

Wetland resources of Illinois : an analysis and atlas

Suloway, Liane B.; Hubbell, Marvin E.

Thumbnail for Thermodynamic and Spectroscopic Studies on Some Transition-Metal Organometallic Systems

Thermodynamic and Spectroscopic Studies on Some Transition-Metal Organometallic Systems

Pribula, Alan Joseph

Thumbnail for Toward language-independent program verification

Toward language-independent program verification

Ștefănescu, Andrei

Thumbnail for Open Problems and Challenges 2017

Open Problems and Challenges 2017

Roşu, Grigore

Thumbnail for Open Problems and Challenges 2016

Open Problems and Challenges 2016

Rosu, Grigore

Thumbnail for Proactively detecting unreliable tests

Proactively detecting unreliable tests

Gyori, Alex

Thumbnail for Automatic techniques for proving correctness of heap-manipulating programs

Automatic techniques for proving correctness of heap-manipulating programs

Qiu, Xiaokang

Thumbnail for Report of Dairy Herd Improvement Association in Illinois / 1935-1938

Report of Dairy Herd Improvement Association in Illinois / 1935-1938

Submitter: Howard Ding

Thumbnail for Illinois Forest Game Investigations W-87-R-7, Annual Job Progress Report

Illinois Forest Game Investigations W-87-R-7, Annual Job Progress Report

Nixon, Charles M.; Hansen, Lonnie P.

Thumbnail for Criteria for the Establishment and Operation of a Statewide System of Comprehensive Regional Junior Colleges

Criteria for the Establishment and Operation of a Statewide System of Comprehensive Regional Junior Colleges

Spencer, James Sigel

Thumbnail for Automated detection of injection vulnerabilities in web applications

Automated detection of injection vulnerabilities in web applications

Bandhakavi, Sruthi

Thumbnail for Annual register. 1921-22

Annual register. 1921-22

University of Illinois at Urbana-Champaign

Thumbnail for Deverbal nominals in Kiswahili: Underspecification morphology and the lexicon

Deverbal nominals in Kiswahili: Underspecification morphology and the lexicon

Treece, Rick Everett

Thumbnail for Geographical Aspects of Petroleum Transportation With Special Reference to the Upper Mississippi Valley

Geographical Aspects of Petroleum Transportation With Special Reference to the Upper Mississippi Valley

Busch, Phillip Maxwell

Thumbnail for The international journal of accounting. 39-40

The international journal of accounting. 39-40

Submitter: Howard Ding

Thumbnail for Dynamic analysis of Cyber-Physical Systems

Dynamic analysis of Cyber-Physical Systems

Duggirala, Parasara Sridhar

Thumbnail for Approximation Based Safety and Stability Verification of Hybrid Systems

Approximation Based Safety and Stability Verification of Hybrid Systems

Prabhakar, Pavithra

Thumbnail for A meta-language for functional verification

A meta-language for functional verification

Katelman, Michael

"Suffering in the shadows: ""undocumented"" Latin American immigrants, inequality, embodiment and health"

Mantilla, Bryanna

Thumbnail for Annual register. 1940-41

Annual register. 1940-41

University of Illinois at Urbana-Champaign

Thumbnail for Oil and gas drilling report. No. 052-062

Oil and gas drilling report. No. 052-062

Submitter: Howard Ding

1 (current)
2

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 4 + 0?

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