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 84
College of Engineering 63
Dept. of Computer Science 58
College of Liberal Arts and Sciences 38
Research publications from UIUC 29
Dept. of Political Science 9
Dept. of Sociology 9
School of Information Sciences 8
Dept. of Anthropology 7
Publications - School of Information Sciences 6

Collection

Graduate Dissertations and Theses at Illinois 84
Dissertations and Theses - Computer Science 30
Research and Tech Reports - Computer Science 28
Research publications from the University of Illinois at Urbana-Champaign 27
Dissertations and Theses - Political Science 9
Dissertations and Theses - Sociology 9
Dissertations and Theses - Anthropology 7
Dissertations and Theses - Education 5
Summary of Engineering Research (2003-2008) 5
Dissertations and Theses - Business Administration 4

Author(s)

University of Illinois at Urbana-Champaign 17
Meseguer, José 9
Rosu, Grigore 6
Liu, Si 4
University of Illinois at Urbana-Champaign. College of Engineering 4
Chen, Xiaohong 3
Hendrix, Joseph D. 3
Serbanuta, Traian Florin 3
University of Illinois at Chicago Circle 3
Chang, Po-Hao 2

Keyword(s)

Computer Science 18
Political Science, General 9
computer science 7
Formal Methods 4
Home economics -- Study and teaching 4
Research and publications sponsored in the College of Engineering 4
Women's Studies 4
Anthropology, Cultural 3
American Studies 2
Books and reading. 2

Type of Resource

text 150
image 2
Thesis 1

↑ ↓

Showing 31–60 of 163 items

1
2 (current)
3
4
5

Thumbnail for From Models to Implementations - Distributed Algorithms using Maude

From Models to Implementations - Distributed Algorithms using Maude

Stephens, Sam C

Thumbnail for A general contingency approach to the design of interorganizational service delivery systems / 286

A general contingency approach to the design of interorganizational service delivery systems / 286

Whetten, David A.

Thumbnail for Systematic testing for actor programs

Systematic testing for actor programs

Lauterburg, Steven T.

Thumbnail for Queering the American family: belief, fallacy & myth

Queering the American family: belief, fallacy & myth

Quinn, Kevin

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

Security models in rewriting logic for cryptographic protocols and browsers

Sasse, Ralf

Thumbnail for The Treatment of Social Change in High School History Textbooks

The Treatment of Social Change in High School History Textbooks

Palmer, John Robert

Thumbnail for Index to Library Trends Volume 45

Index to Library Trends Volume 45

Bero, Kari J.

Thumbnail for An Approach to Decision-Making

An Approach to Decision-Making

Kirby, Inabell Trueblood

Thumbnail for College and Research Libraries 24 (6) November 1963

College and Research Libraries 24 (6) November 1963

Submitter: Howard Ding

Thumbnail for Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution

Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution

Chang, Po-Hao

Thumbnail for Patterns of Electoral Politics in Ceylon, 1947-1970

Patterns of Electoral Politics in Ceylon, 1947-1970

Morris, Wilda Webber

Thumbnail for First, do not speak: Errant doctors, sexual abuse, and institutional silence

First, do not speak: Errant doctors, sexual abuse, and institutional silence

Warren, Catherine Annette

Thumbnail for Organizational decline, sources, responses, and effects / BEBR No. 628

Organizational decline, sources, responses, and effects / BEBR No. 628

Whetten, David A.

Thumbnail for Formal patterns for medical device safety

Formal patterns for medical device safety

Sun, Mu

Thumbnail for Relative Deprivation Theory and Its Application to the Study of Politics

Relative Deprivation Theory and Its Application to the Study of Politics

Dabelko, David Donald

Thumbnail for Type Theoretic Properties of Assignments

Type Theoretic Properties of Assignments

Swarup, Vipin

Thumbnail for Rewriting Semantics of Production Rule Sets

Rewriting Semantics of Production Rule Sets

Katelman, Michael; Keller, Sean; Meseguer, José

"""Mine Eyes Have Seen the Glory"": The Citizen-Soldier and the Construction of Identity in Northern Civil War Literature"

Conner, Matthew

Thumbnail for Computationally Equivalent Elimination of Conditions

Computationally Equivalent Elimination of Conditions

Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for LTL Model Checking in Matching Logic

LTL Model Checking in Matching Logic

Tusil, Jan; Chen, Xiaohong

Thumbnail for Implicit Programming and the Logic of Constructible Duality

Implicit Programming and the Logic of Constructible Duality

Patterson, Anna L.

Thumbnail for Statistical Model Checking of RANDAO’s Resilience Against Pre-computed Reveal Strategies

Statistical Model Checking of RANDAO’s Resilience Against Pre-computed Reveal Strategies

Alturki, Musab A.; Roşu, Grigore

Thumbnail for Implementation of functional languages with state

Implementation of functional languages with state

Springer, Jonathan Charles

Thumbnail for Using Frameworks to Extend Frameworks

Using Frameworks to Extend Frameworks

Balaguer, Federico

Thumbnail for Pragmatism at the Institutional Level of Organizations: The Case of Large Corporations in The United States

Pragmatism at the Institutional Level of Organizations: The Case of Large Corporations in The United States

Deile, Andrew John, IV

Thumbnail for Rewriting Logic Semantics of Orc

Rewriting Logic Semantics of Orc

AlTurki, Musab; Meseguer, José

Thumbnail for Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis

Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis

Liu, Si; Olveczky, Peter C.; Wang, Qi; Gupta, Indranil; Meseguer, José

Thumbnail for College and Research Libraries 27 (5) September 1966

College and Research Libraries 27 (5) September 1966

Submitter: Howard Ding

Thumbnail for Automatic Security Assessment of Control Systems for Critical Cyber -Infrastructures

Automatic Security Assessment of Control Systems for Critical Cyber -Infrastructures

Anwar, Zahid

Thumbnail for Library Trends 45 (4) Spring 1997: Children and the Digital Library

Library Trends 45 (4) Spring 1997: Children and the Digital Library

Submitter: Matthew Cordial

1
2 (current)
3
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 8 + 3?

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