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 46
Graduate Dissertations and Theses at Illinois 39
College of Engineering 37
Dept. of Computer Science 33
College of Liberal Arts and Sciences 13
Dept. of Germanic Languages and Literatures 6
Publications - School of Information Sciences 3
School of Information Sciences 3
College of Agricultural, Consumer and Environmental Sciences (ACES) 2
Dept. of Chemistry 2

Collection

Research publications from the University of Illinois at Urbana-Champaign 44
Graduate Dissertations and Theses at Illinois 39
Dissertations and Theses - Computer Science 18
Research and Tech Reports - Computer Science 14
Dissertations and Theses - Germanic Languages and Literatures 6
Dissertations and Theses - Chemistry 2
Dissertations and Theses - Mechanical Science and Engineering 2
Dissertations and Theses - Physics 2
Library Trends 50 (4) Spring 2002: Midlife Career Decisions of Librarians 2
Student Directory and Code (University of Illinois at Urbana-Champaign) 2

Author(s)

University of Illinois at Urbana-Champaign 38
Rosu, Grigore 10
Schulte, Wolfram 5
Chen, Xiaohong 4
Lin, Zhengyao 3
Serbanuta, Traian Florin 3
University of Illinois at Chicago Circle 3
Okur, Semih 2
Roşu, Grigore 2
Trinh, Minh-Thai 2

Keyword(s)

Literature, Germanic 5
University of Illinois at Urbana-Champaign Dissertations. 5
Computer Science 3
concurrency 3
matching logic 3
Biophysics, General 2
Chemistry, Biochemistry 2
Faculty Directories 2
K 2
Languages, Modern -- Study and teaching 2

Type of Resource

text 92
Thesis 2

↑ ↓

Showing 31–60 of 105 items

1
2 (current)
3
4

Thumbnail for Efficient Explicit -State Model Checking for Programs With Dynamically Allocated Data

Efficient Explicit -State Model Checking for Programs With Dynamically Allocated Data

d'Amorim, Marcelo

Thumbnail for Trustworthy Program Verification via Proof Generation

Trustworthy Program Verification via Proof Generation

Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Enabling modern concurrency through program transformations

Enabling modern concurrency through program transformations

Okur, Semih

Thumbnail for A tool for model-based engineering

A tool for model-based engineering

Nam, Min Young

Thumbnail for Open Problems and Challenges 2017

Open Problems and Challenges 2017

Roşu, Grigore

Thumbnail for Symcretic testing of programs

Symcretic testing of programs

Dinges, Peter

Thumbnail for Practical analyses and transformations for flow-based parallelism

Practical analyses and transformations for flow-based parallelism

Chen, Nicholas Chun Y.

Thumbnail for Systematic testing for actor programs

Systematic testing for actor programs

Lauterburg, Steven T.

Thumbnail for Environmental influences on communication development: Implications for children with neurodevelopmental communication impairments

Environmental influences on communication development: Implications for children with neurodevelopmental communication impairments

Betancourt, Mariana Aparicio

"Georg Wickrams ""Von guten und boesen Nachbarn"": Eine literarische Utopie"

Wambach, Annemarie Hedwig

Thumbnail for Exploring the Limits of Cavitation

Exploring the Limits of Cavitation

Hopkins, Stephen Day

Thumbnail for Verification of linear-time properties for finite probabilistic systems

Verification of linear-time properties for finite probabilistic systems

Kini, Dileep Raghunath

Thumbnail for Studies in the linguistic sciences. 27 (1997)

Studies in the linguistic sciences. 27 (1997)

Submitter: Timothy Donohue

Thumbnail for The rebellious mind: explaining which people become rebels

The rebellious mind: explaining which people become rebels

Townsen, Ashly Adam

Thumbnail for Coinductive program verification

Coinductive program verification

Moore, Brandon Michael

Thumbnail for Making runtime monitoring of parametric properties practical

Making runtime monitoring of parametric properties practical

Jin, Dongyun

Thumbnail for Spectroscopic analysis and dynamics of ligand binding to bacterial oxidases

Spectroscopic analysis and dynamics of ligand binding to bacterial oxidases

Hill, John Joseph

Thumbnail for Commencement program. 1932-1945

Commencement program. 1932-1945

University of Illinois at Urbana-Champaign

Thumbnail for Ab initio study of effects of interstitial species on electrochemical and mechanical properties of prussian blue analogues

Ab initio study of effects of interstitial species on electrochemical and mechanical properties of prussian blue analogues

Liu, Sizhe

Thumbnail for University of Illinois modern foreign language newsletter. 20-22

University of Illinois modern foreign language newsletter. 20-22

Submitter: Howard Ding

Thumbnail for Annual register. 1903-1904

Annual register. 1903-1904

University of Illinois at Urbana-Champaign

Thumbnail for Biomolecular Solid-State Nuclear Magnetic Resonance Methods for Spectral Assignment and High-Resolution Structure Determination of Proteins

Biomolecular Solid-State Nuclear Magnetic Resonance Methods for Spectral Assignment and High-Resolution Structure Determination of Proteins

Franks, William Trent

Thumbnail for Security models in rewriting logic for cryptographic protocols and browsers

Security models in rewriting logic for cryptographic protocols and browsers

Sasse, Ralf

"Orhan Pamuk's novels and their ""afterlife"" in English and German translations"

Turkkan, Sevinc

Thumbnail for Formation and transport of undesirable compounds during repeated deep frying

Formation and transport of undesirable compounds during repeated deep frying

Shen, Ru

Thumbnail for Commencement program. 1916/29

Commencement program. 1916/29

University of Illinois at Urbana-Champaign

Thumbnail for Library Trends 50 (4) 2002: Midlife Career Decisions of Librarians

Library Trends 50 (4) 2002: Midlife Career Decisions of Librarians

Submitter: Matthew Cordial

Thumbnail for Memory on the move: transnational travel in post-1989 German literature

Memory on the move: transnational travel in post-1989 German literature

Hansen, Lauren Michelle

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 Learning-based inductive invariant synthesis

Learning-based inductive invariant synthesis

Garg, Pranav

1
2 (current)
3
4

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 3 + 1?

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