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 339
College of Liberal Arts and Sciences 188
Research publications from UIUC 115
School of Information Sciences 63
Dept. of English 61
College of Engineering 55
Publications - School of Information Sciences 52
College of Fine and Applied Arts 41
Dept. of Computer Science 39
College and Research Libraries 36

Collection

Graduate Dissertations and Theses at Illinois 339
Research publications from the University of Illinois at Urbana-Champaign 112
Dissertations and Theses - English 60
Dissertations and Theses - History 32
Dissertations and Theses - Education 28
Dissertations and Theses - Computer Science 20
Dissertations and Theses - Political Science 20
Dissertations and Theses [Graduate College] - Music 19
Research and Tech Reports - Computer Science 18
Dissertations and Theses - Communication 15

Author(s)

University of Illinois at Urbana-Champaign 62
Rosu, Grigore 14
Meredith, Patrick O'Neil 9
Jin, Dongyun 7
Sangamon State University 7
University of Illinois at Chicago Circle 6
Chen, Feng 5
University of Illinois. College of Veterinary Medicine 4
Graduate School of Library and Information Science. University of Illinois at... 3
Baker, Ira Osborn 2

Keyword(s)

Book reviews 27
Children's literature -- Bibliography -- Periodicals 27
Literature, Modern 18
Theater 10
Library Science 9
Literature, English 7
Sangamon State University 7
Course Catalogs--Sangamon State University 6
University of Illinois at Chicago Circle Directories. 6
Women's Studies 6

Type of Resource

text 524
Thesis 21
other 7
dataset / spreadsheet 1
image 1

↑ ↓

Showing 1–30 of 614 items

1 (current)
2
3
4
5

Thumbnail for Efficient, expressive, and effective runtime verification

Efficient, expressive, and effective runtime verification

Meredith, Patrick

Thumbnail for Efficient Parametric Runtime Verification with Deterministic String Rewriting

Efficient Parametric Runtime Verification with Deterministic String Rewriting

Meredith, Patrick; Rosu, Grigore

Thumbnail for A Formal Executable Semantics of Verilog

A Formal Executable Semantics of Verilog

Meredith, Patrick; Katelman, Michael; Meseguer, José; Rosu, Grigore

Thumbnail for Scalable Parametric Runtime Monitoring

Scalable Parametric Runtime Monitoring

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

Thumbnail for Garbage Collection for Monitoring Parametric Properties

Garbage Collection for Monitoring Parametric Properties

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

Thumbnail for Efficient Formalism-Independent Monitoring of Parametric Properties

Efficient Formalism-Independent Monitoring of Parametric Properties

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

Thumbnail for Towards Categorizing and Formalizing the JDK API

Towards Categorizing and Formalizing the JDK API

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

Thumbnail for Efficient Formalism-Independent Monitoring of Parametric Properties

Efficient Formalism-Independent Monitoring of Parametric Properties

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

Thumbnail for A K Definition of Scheme

A K Definition of Scheme

Meredith, Patrick O'Neil; Hills, Mark; Rosu, Grigore

Thumbnail for Efficient Formalism-Independent Monitoring of Parametric Properties

Efficient Formalism-Independent Monitoring of Parametric Properties

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

Thumbnail for A Formal Rewriting Logic Semantic Definition of Scheme

A Formal Rewriting Logic Semantic Definition of Scheme

Meredith, Patrick O'Neil; Hills, Mark; Rosu, Grigore

Thumbnail for Efficient Monitoring of Parametric Context Free Patterns

Efficient Monitoring of Parametric Context Free Patterns

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

Thumbnail for How Successful Is Data Structure Analysis in Isolating and Analyzing Linked Data Structures?

How Successful Is Data Structure Analysis in Isolating and Analyzing Linked Data Structures?

Meredith, Patrick O'Neil; Pankaj, Balpreet; Sahoo, Swarup K.; Lattner, Chris A.; Adve, Vikram S.

Thumbnail for Predictable and monitored execution for COTS-based real-time embedded systems

Predictable and monitored execution for COTS-based real-time embedded systems

Pellizzoni, Rodolfo

Thumbnail for The Cult of Manliness in English Literature: A Victorian Controversy, 1857-1880

The Cult of Manliness in English Literature: A Victorian Controversy, 1857-1880

Haley, Bruce Everts

Thumbnail for Open Problems and Challenges 2016

Open Problems and Challenges 2016

Rosu, Grigore

Thumbnail for Making runtime monitoring of parametric properties practical

Making runtime monitoring of parametric properties practical

Jin, Dongyun

Thumbnail for Bulletin of the Center for Children's Books 41 (10) 1988

Bulletin of the Center for Children's Books 41 (10) 1988

Submitter: William Ingram

Thumbnail for Strategic Planning as a Catalyst for Change in the 1990s

Strategic Planning as a Catalyst for Change in the 1990s

Butler, Meredith A.; Davis, Hiram Logan

Thumbnail for Libraries and data processing---where do we stand?

Libraries and data processing---where do we stand?

Melin, John S.

Thumbnail for Bulletin of the Center for Children's Books 49 (09) 1996

Bulletin of the Center for Children's Books 49 (09) 1996

Submitter: William Ingram

Thumbnail for Drone on: Reconsidering Art2Drone

Drone on: Reconsidering Art2Drone

Rappaport, Mat

Thumbnail for Bulletin of the Center for Children's Books 42 (07) 1989

Bulletin of the Center for Children's Books 42 (07) 1989

Submitter: William Ingram

Thumbnail for Computer & Information Sciences (Book Review)

Computer & Information Sciences (Book Review)

Hayes, Robert M.

Thumbnail for Toward an Expert System for Reference Service: A Research Agenda for the 1990s

Toward an Expert System for Reference Service: A Research Agenda for the 1990s

Richardson, John V.

Thumbnail for Open Problems and Challenges 2017

Open Problems and Challenges 2017

Roşu, Grigore

Thumbnail for Commencement program. 1916/29

Commencement program. 1916/29

University of Illinois at Urbana-Champaign

Thumbnail for The Library and Continuing Education

The Library and Continuing Education

O'Brien, Katherine Lord

Thumbnail for Focus on Information and Communication (Book Review)

Focus on Information and Communication (Book Review)

Shera, Jesse H.

Thumbnail for The evolution of library outreach 1960-75 and its effect on reader services : some considerations

The evolution of library outreach 1960-75 and its effect on reader services : some considerations

Weibel, Kathleen

1 (current)
2
3
4
5

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)