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 1–30 of 163 items

1 (current)
2
3
4
5

Thumbnail for Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude

Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude

Olveczky, Peter C.; Meseguer, José; Talcott, Carolyn L.

Thumbnail for Request-Based Mediated Execution

Request-Based Mediated Execution

Sundresh, Sameer

Thumbnail for 20 Years of Rewriting Logic

20 Years of Rewriting Logic

Meseguer, José

Thumbnail for Symbolic Model Checking of Infinite-State Systems Using Narrowing

Symbolic Model Checking of Infinite-State Systems Using Narrowing

Escobar, Santiago; Meseguer, José

Thumbnail for Modular specification of interaction policies in distributed computing

Modular specification of interaction policies in distributed computing

Sturman, Daniel Charles

Thumbnail for An Equational Logic and a Coordination Language for Distributed Objects

An Equational Logic and a Coordination Language for Distributed Objects

Ziaei, Mahmood Reza

Thumbnail for A Rewriting Logic Approach to Operational Semantics

A Rewriting Logic Approach to Operational Semantics

Serbanuta, Traian Florin; Rosu, Grigore; Meseguer, José

Thumbnail for A rewriting approach to concurrent programming language design and semantics

A rewriting approach to concurrent programming language design and semantics

Serbanuta, Traian Florin

Thumbnail for An Equational Logic and a Coordination Language for Distributed Objects

An Equational Logic and a Coordination Language for Distributed Objects

Ziaei, Mahmood Reza

Thumbnail for Symcretic testing of programs

Symcretic testing of programs

Dinges, Peter

Thumbnail for POLUS: A Self-Evolving Model-Based Approach for Automating the Observe-Analyze-Act Loop

POLUS: A Self-Evolving Model-Based Approach for Automating the Observe-Analyze-Act Loop

Uttamchandani, Sandeep

Thumbnail for An Adaptive Resource Management Architecture for Global Distributed Computing

An Adaptive Resource Management Architecture for Global Distributed Computing

Venkatasubramanian, Nalini

Thumbnail for Customization and Composition of Distributed Objects: Policy Management in Distributed Software Architectures

Customization and Composition of Distributed Objects: Policy Management in Distributed Software Architectures

Astley, Mark Christopher

Thumbnail for POLUS: A Self -Evolving Model-Based Approach for Automating the Observe -Analyze -Act Loop

POLUS: A Self -Evolving Model-Based Approach for Automating the Observe -Analyze -Act Loop

Uttamchandani, Sandeep

Thumbnail for Worldwide Computing With Universal Actors: Linguistic Abstractions for Naming, Migration, and Coordination

Worldwide Computing With Universal Actors: Linguistic Abstractions for Naming, Migration, and Coordination

Varela, Carlos Arturo

Thumbnail for All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions

All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions

Liu, Si

Thumbnail for Kinship, Socialization and Social Mobility

Kinship, Socialization and Social Mobility

Mindel, Charles Howard

Thumbnail for A Study of the Effect of Curriculum Planning and Usage on Teacher Attitudes in the Danville Public Schools, Danville, Illinois

A Study of the Effect of Curriculum Planning and Usage on Teacher Attitudes in the Danville Public Schools, Danville, Illinois

Radcliffe, David Harrison

Thumbnail for Exploring Design Alternatives for Replicated RAMP Transactions Using Maude

Exploring Design Alternatives for Replicated RAMP Transactions Using Maude

Liang, Lei; Liu, Si

Thumbnail for The Rewriting Logic Semantics Project

The Rewriting Logic Semantics Project

Meseguer, José; Rosu, Grigore

Thumbnail for ActorNet: An Actor Platform for Wireless Sensor Networks

ActorNet: An Actor Platform for Wireless Sensor Networks

Kwon, YoungMin; Sundresh, Sameer; Mechitov, Kirill; Agha, Gul A.

Thumbnail for Back Matter

Back Matter

Submitter: Howard Ding

Thumbnail for Toward a Theory of Ideology in Political Life

Toward a Theory of Ideology in Political Life

Sorensen, Alma Don

Thumbnail for Request-Based Mediated Execution

Request-Based Mediated Execution

Sundresh, Sameer

Thumbnail for Authority, Authoritarianism, and the Generation of Support

Authority, Authoritarianism, and the Generation of Support

Herzon, Frederick David

Thumbnail for Nelson Oppen combination as a rewrite theory

Nelson Oppen combination as a rewrite theory

Rodrigues, Nishant

Thumbnail for Variant-Based Satisfiability

Variant-Based Satisfiability

Meseguer, José

Thumbnail for Types for Progress in Actor Programs

Types for Progress in Actor Programs

Charalambides, Minas; Palmskog, Karl; Agha, Gul

Thumbnail for Research Related to Children's Interests and to Developmental Values of Reading

Research Related to Children's Interests and to Developmental Values of Reading

Robinson, Helen M.; Weintraub, Samuel

Thumbnail for An Actor-Based Framework for Real-Time Coordination

An Actor-Based Framework for Real-Time Coordination

Ren, Shangping

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 + 6?

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