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

College of Engineering 90
Graduate Dissertations and Theses at Illinois 83
Dept. of Computer Science 75
College of Liberal Arts and Sciences 17
Dept. of Electrical and Computer Engineering 7
Program in Comparative and World Literature 5
Research publications from UIUC 4
Dept. of Chemistry 3
Summary of Engineering Research (1957-2008) 3
XSEDE: Extreme Science and Engineering Discovery Environment 3

Collection

Graduate Dissertations and Theses at Illinois 83
Dissertations and Theses - Computer Science 47
Research and Tech Reports - Computer Science 28
Dissertations and Theses - Electrical and Computer Engineering 7
Dissertations and Theses - Comparative and World Literature 5
Research publications from the University of Illinois at Urbana-Champaign 4
Dissertations and Theses - Chemistry 3
Summary of Engineering Research (2003-2008) 3
XSEDE Planning Documents and Reports 3
Dissertations and Theses - Anthropology 2

Author(s)

Madhusudan, P. 7
Viswanathan, Mahesh 4
Chen, Feng 3
Farzan, Azadeh 3
Garg, Pranav 3
Kumar, Viraj 3
Lu, Shan 3
Meseguer, José 3
Tasharofi, Samira 3
Basu Thakur, Gautam 2

Keyword(s)

computer science 7
Computer Science 6
Verification 4
verification 4
Concurrency 3
concurrency 3
program verification 3
Chemistry, Biochemistry 2
Deadlock 2
Dynamic Analysis 2

Type of Resource

text 78
Thesis 13
image 1

↑ ↓

Showing 91–120 of 121 items

2
3
4 (current)
5

Thumbnail for Trustworthy History and Provenance for Files and Databases

Trustworthy History and Provenance for Files and Databases

Hasan, Ragib

Thumbnail for Lane assignment on automated highway systems

Lane assignment on automated highway systems

Ramaswamy, Deepa

Thumbnail for The Molecular Evolution of the Serotonin System in Macaques (MACACA): a Detailed Survey of Four Serotonin-Related Genes

The Molecular Evolution of the Serotonin System in Macaques (MACACA): a Detailed Survey of Four Serotonin-Related Genes

Shattuck, Milena

Thumbnail for Eating identity: food, gender, and social organization in late Neolithic northern China

Eating identity: food, gender, and social organization in late Neolithic northern China

Dong, Yu

Thumbnail for Structural investigation of lanthipeptides involved in substrate controlled pathways and methods for leader peptide removal

Structural investigation of lanthipeptides involved in substrate controlled pathways and methods for leader peptide removal

Bobeica, Silvia Cristina

Thumbnail for The energy futures of long-distance passenger rail in the United States

The energy futures of long-distance passenger rail in the United States

Minn, Michael

Thumbnail for Monitoring Oriented Programming and Analysis

Monitoring Oriented Programming and Analysis

Chen, Feng

Thumbnail for Prisoners of History: Bengali Cultural Nationalists and the Hindu Past

Prisoners of History: Bengali Cultural Nationalists and the Hindu Past

Mehta, Rini Bhattacharya

Thumbnail for Securing the software-defined networking control plane by using control and data dependency techniques

Securing the software-defined networking control plane by using control and data dependency techniques

Ujcich, Benjamin E

Thumbnail for XSEDE: The Extreme Science and Engineering Discovery Environment (OAC 15-48562) Interim Project Report 13: Report Year 5, Reporting Period 2 August 1, 2020 – October 31, 2020

XSEDE: The Extreme Science and Engineering Discovery Environment (OAC 15-48562) Interim Project Report 13: Report Year 5, Reporting Period 2 August 1, 2020 – October 31, 2020

Submitter: Leslie Froeschl

Thumbnail for Security on demand

Security on demand

Hafiz, Munawar

Thumbnail for Hindu and Buddhist Mysticism: The Still Point in The Turning Worlds of T. S. Eliot and Octavio Paz

Hindu and Buddhist Mysticism: The Still Point in The Turning Worlds of T. S. Eliot and Octavio Paz

Hoover, Judith Myers

Thumbnail for An effect system and language for deterministic-by-default parallel programming

An effect system and language for deterministic-by-default parallel programming

Bocchino, Robert L., Jr.

Thumbnail for Detecting, characterizing, and taming flaky tests

Detecting, characterizing, and taming flaky tests

Lam, Wing

Thumbnail for A verification framework suitable for proving large language translations

A verification framework suitable for proving large language translations

Li, Liyi

Thumbnail for Translingual nostalgias in modern Sanskrit and Indian poetry in English

Translingual nostalgias in modern Sanskrit and Indian poetry in English

Nelson, Matthew

Thumbnail for Racializing white residues: seditious Anglo-Indians and others

Racializing white residues: seditious Anglo-Indians and others

Chanda, Debojoy

Thumbnail for Naogaon and the world: Intoxication, commoditisation, and imperialism in South Asia and the Indian Ocean, 1840-1940

Naogaon and the world: Intoxication, commoditisation, and imperialism in South Asia and the Indian Ocean, 1840-1940

Chattopadhyaya, Utathya

Thumbnail for XSEDE 2013 Q1 Quarterly Report

XSEDE 2013 Q1 Quarterly Report

Thumbnail for Population Forecasts and Management Considerations for Gray Wolves in North Central Wisconsin (2002--2040)

Population Forecasts and Management Considerations for Gray Wolves in North Central Wisconsin (2002--2040)

Rafferty, John Patrick

Thumbnail for Scripting Anxiety/scripting Identity: Indian Mutiny, History, and the Colonial Imaginary, 1857--1911

Scripting Anxiety/scripting Identity: Indian Mutiny, History, and the Colonial Imaginary, 1857--1911

Basu Thakur, Gautam

Thumbnail for Scripting anxiety/scripting identity: Indian mutiny, history, and the colonial imaginary, 1857-1911

Scripting anxiety/scripting identity: Indian mutiny, history, and the colonial imaginary, 1857-1911

Basu Thakur, Gautam

Thumbnail for Three Plays by Rabindranath Tagore: Translated, and With an Introduction (Drama, Bengali, India)

Three Plays by Rabindranath Tagore: Translated, and With an Introduction (Drama, Bengali, India)

Lal, Ananda

Thumbnail for Commencement program. 1916/29

Commencement program. 1916/29

University of Illinois at Urbana-Champaign

Thumbnail for XSEDE Program Year 2 Annual Report

XSEDE Program Year 2 Annual Report

Thumbnail for The Summary of Engineering Research 2008

The Summary of Engineering Research 2008

University of Illinois at Urbana-Champaign. College of Engineering

Thumbnail for The Summary of Engineering Research 2007

The Summary of Engineering Research 2007

University of Illinois at Urbana-Champaign. College of Engineering

Thumbnail for Transactions of the Board of Trustees [electronic resource] / 2004-06

Transactions of the Board of Trustees [electronic resource] / 2004-06

University of Illinois (System). Board of Trustees

Thumbnail for Annual register. 1928-29

Annual register. 1928-29

University of Illinois at Urbana-Champaign

Thumbnail for Annual register. 1929-30

Annual register. 1929-30

University of Illinois at Urbana-Champaign

2
3
4 (current)
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 2 + 2?

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