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

College of Engineering 18
Dept. of Computer Science 18
Graduate Dissertations and Theses at Illinois 17
College of Liberal Arts and Sciences 9
Research publications from UIUC 6
Prairie Research Institute 3
Arms Control, Disarmament, and International Security (ACDIS) 2
College of Agricultural, Consumer and Environmental Sciences (ACES) 2
Dept. of English 2
Directories and similar publications of the University of Illinois 2

Collection

Graduate Dissertations and Theses at Illinois 17
Research and Tech Reports - Computer Science 11
Dissertations and Theses - Computer Science 7
Research publications from the University of Illinois at Urbana-Champaign 4
ACDIS Occasional Papers 2
Dissertations and Theses - English 2
Mineral Economics Brief - Illinois State Geological Survey 2
Student Directory and Code (University of Illinois at Urbana-Champaign) 2
Dissertations and Theses - Comparative and World Literature 1
Dissertations and Theses - Education 1

Author(s)

Liu, Si 5
Meseguer, José 5
Olveczky, Peter C. 3
Rosu, Grigore 3
University of Illinois at Urbana-Champaign 3
Busch, Willis L. 2
Farzan, Azadeh 2
Serbanuta, Traian Florin 2
University of Illinois at Chicago Circle 2
Ahmar, Moonis 1

Keyword(s)

Maude 4
Computer Science 3
computer science 3
Faculty Directories 2
Gravel 2
Literature, Germanic 2
Model Checking 2
Rewriting Logic 2
Statistical Model Checking 2
programming languages 2

Type of Resource

text 36
Thesis 1

↑ ↓

Showing 1–30 of 40 items

1 (current)
2

Thumbnail for What is a Multi-Modeling Language?

What is a Multi-Modeling Language?

Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin

Thumbnail for Formal Modeling and Analysis of Leader Election in MANETs

Formal Modeling and Analysis of Leader Election in MANETs

Liu, Si; Olveczky, Peter C.; Meseguer, José

Thumbnail for Relative Sensitivity of Two Social Attitude Measurement Instruments to Attitudinal Differences Among Third Grade Students Stratified According to Race, Sex, and Socioeconomic Status

Relative Sensitivity of Two Social Attitude Measurement Instruments to Attitudinal Differences Among Third Grade Students Stratified According to Race, Sex, and Socioeconomic Status

Wirsing, Robert Kurth

Thumbnail for Formal Design of Cloud Computing Systems in Maude

Formal Design of Cloud Computing Systems in Maude

Meseguer, José

Thumbnail for Partial Implementations of Abstract Data Types: Theory and Practice

Partial Implementations of Abstract Data Types: Theory and Practice

Archer, Myla Marguerite

Thumbnail for Directory of Illinois sand and gravel producers

Directory of Illinois sand and gravel producers

Busch, Willis L.

Thumbnail for Directory of Illinois sand and gravel producers

Directory of Illinois sand and gravel producers

Busch, Willis L.

Thumbnail for Formal Modeling and Analysis of Mobile Ad hoc Networks in Real-Time Maude

Formal Modeling and Analysis of Mobile Ad hoc Networks in Real-Time Maude

Liu, Si; Olveczky, Peter C.; Meseguer, José

Thumbnail for Effective monitoring techniques for carnivores and the role of a dominant mesocarnivore in structuring the carnivore community

Effective monitoring techniques for carnivores and the role of a dominant mesocarnivore in structuring the carnivore community

Avrin, Alexandra C.

Thumbnail for From Models to Implementations - Distributed Algorithms using Maude

From Models to Implementations - Distributed Algorithms using Maude

Stephens, Sam C

Thumbnail for Indo-Pakistan normalization process: The role of CBMS in the post-Cold War Era

Indo-Pakistan normalization process: The role of CBMS in the post-Cold War Era

Ahmar, Moonis

Thumbnail for A Rewriting Logic Approach to Operational Semantics

A Rewriting Logic Approach to Operational Semantics

Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for Systems of information: The long view

Systems of information: The long view

Black, Alistair; Schiller, Dan

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 Rewriting-based formal modeling, analysis and implementation of real-time distributed services

Rewriting-based formal modeling, analysis and implementation of real-time distributed services

Al-Turki, Musab A.

Thumbnail for Breeding Bird and Small Mammal Populations in Relation to the Forest Vegetation of the Subarctic Region of Northern Manitoba

Breeding Bird and Small Mammal Populations in Relation to the Forest Vegetation of the Subarctic Region of Northern Manitoba

Gillespie, Walter Lee

Thumbnail for Separatism in South Asia: The politics of ethnic conflict and regional security

Separatism in South Asia: The politics of ethnic conflict and regional security

Khory, Kavita Rusi

Thumbnail for Practices combining fire and grazing in the Central U.S. reduce woody encroachment and accommodate grassland and shrubland birds

Practices combining fire and grazing in the Central U.S. reduce woody encroachment and accommodate grassland and shrubland birds

Capozzelli, Jane F.

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

"""Twisting the lion's tail"": The persistence of anglophobia in American politics, 1921-1948"

Moser, John Evan

Thumbnail for Timely topics for 4-H club leaders in Agricultural Projects

Timely topics for 4-H club leaders in Agricultural Projects

Submitter: Sarah Shreeves

Thumbnail for A meta-language for functional verification

A meta-language for functional verification

Katelman, Michael

Thumbnail for Strindberg's Comic Spirit: A Study of August Strindberg's Comedies and Their Relationship to the Comic Tradition

Strindberg's Comic Spirit: A Study of August Strindberg's Comedies and Their Relationship to the Comic Tradition

Lide, Barbara Alayne Bluege

Thumbnail for Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Farzan, Azadeh

Thumbnail for Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Farzan, Azadeh

Thumbnail for Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude

Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude

Liu, Si

Thumbnail for The functions of empathy in Anglo-Saxon England

The functions of empathy in Anglo-Saxon England

Norcross, Katherine Rose

Thumbnail for Collected papers of the Ford Foundation Interdisciplinary Research Seminar on Pathological States: Spring 1996

Collected papers of the Ford Foundation Interdisciplinary Research Seminar on Pathological States: Spring 1996

Submitter: Seth Robbins

Thumbnail for K: A Rewriting-Based Framework for Computations -- Preliminary version

K: A Rewriting-Based Framework for Computations -- Preliminary version

Rosu, Grigore

1 (current)
2

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 3 + 7?

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