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

Research publications from UIUC 81
Graduate Dissertations and Theses at Illinois 31
College of Liberal Arts and Sciences 20
College of Engineering 17
Dept. of Computer Science 14
School of Information Sciences 11
Publications - School of Information Sciences 10
Dept. of English 8
Bulletin of the Center for Children's Books 7
College of Education 6

Collection

Research publications from the University of Illinois at Urbana-Champaign 79
Graduate Dissertations and Theses at Illinois 31
Research and Tech Reports - Computer Science 13
Dissertations and Theses - English 8
Dissertations and Theses - Education 6
Dissertations and Theses - Communication 3
Summary of Engineering Research (2003-2008) 3
1990: Artificial intelligence and expert systems : will they change the library? 2
Dissertations and Theses - Political Science 2
Dissertations and Theses - Theatre 2

Author(s)

University of Illinois at Urbana-Champaign 57
Rosu, Grigore 11
Meredith, Patrick O'Neil 10
Jin, Dongyun 7
University of Illinois at Chicago Circle 6
Chen, Feng 4
University of Illinois at Urbana-Champaign. College of Engineering 3
Bennett, Scott Boyce 2
Hills, Mark 2
Meredith, Patrick 2

Keyword(s)

Book reviews 7
Children's literature -- Bibliography -- Periodicals 7
Literature, Modern 6
University of Illinois at Chicago Circle Directories. 5
University of Illinois at Urbana-Champaign Dissertations. 5
University of Illinois at Urbana-Champaign Degrees. 4
Education, Higher 3
Research and publications sponsored in the College of Engineering 3
Theater 3
Biography 2

Type of Resource

text 148
other 1

↑ ↓

Showing 1–30 of 150 items

1 (current)
2
3
4
5

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 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; Jin, Dongyun; Meredith, Patrick O'Neil; 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 A K Definition of Scheme

A K Definition of Scheme

Meredith, Patrick O'Neil; Hills, Mark; 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 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 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 A Formal Executable Semantics of Verilog

A Formal Executable Semantics of Verilog

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

Thumbnail for Efficient, expressive, and effective runtime verification

Efficient, expressive, and effective runtime verification

Meredith, Patrick

Thumbnail for The Interactions Between The Irish Rebellion and The English Civil Wars

The Interactions Between The Irish Rebellion and The English Civil Wars

Elkin, Robert Edmund

Thumbnail for Open Problems and Challenges 2016

Open Problems and Challenges 2016

Rosu, Grigore

Thumbnail for Commencement program. 1930/31

Commencement program. 1930/31

University of Illinois at Urbana-Champaign

Thumbnail for Bulletin of the Center for Children's Books 20 (11) 1967

Bulletin of the Center for Children's Books 20 (11) 1967

Submitter: William Ingram

Thumbnail for Bulletin of the Center for Children's Books 14 (11) 1961

Bulletin of the Center for Children's Books 14 (11) 1961

Submitter: William Ingram

Thumbnail for Open Problems and Challenges 2017

Open Problems and Challenges 2017

Roşu, Grigore

Thumbnail for Bulletin of the Center for Children's Books 19 (11) 1966

Bulletin of the Center for Children's Books 19 (11) 1966

Submitter: William Ingram

Thumbnail for Commencement program. 1932-1945

Commencement program. 1932-1945

University of Illinois at Urbana-Champaign

Thumbnail for Commencement program. 1946-1951

Commencement program. 1946-1951

University of Illinois at Urbana-Champaign

Thumbnail for Bulletin of the Center for Children's Books 52 (02) 1998

Bulletin of the Center for Children's Books 52 (02) 1998

Submitter: William Ingram

Thumbnail for Commencement program. 1916/29

Commencement program. 1916/29

University of Illinois at Urbana-Champaign

Thumbnail for Irish modernism and the machine

Irish modernism and the machine

Weng, Julie McCormick

Thumbnail for Back Matter including Contributors and Index to Artificial intelligence and expert systems : will they change the library? Papers presented at the 1990 Clinic on Library Applications of Data Processing

Back Matter including Contributors and Index to Artificial intelligence and expert systems : will they change the library? Papers presented at the 1990 Clinic on Library Applications of Data Processing

Submitter: Sarah Shreeves

Thumbnail for Annual register. 1927-28

Annual register. 1927-28

University of Illinois at Urbana-Champaign

Thumbnail for Report ... and honor roll of contributors. 1953

Report ... and honor roll of contributors. 1953

Illini Achievement Fund

Thumbnail for Science fiction and the theatre

Science fiction and the theatre

Willingham, Ralph Allen

Thumbnail for Bulletin of the Center for Children's Books 21 (04) 1967

Bulletin of the Center for Children's Books 21 (04) 1967

Submitter: William Ingram

Thumbnail for Bulletin of the Center for Children's Books 55 (02) 2001

Bulletin of the Center for Children's Books 55 (02) 2001

Submitter: William Ingram

1 (current)
2
3
4
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)