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 22
Dept. of Computer Science 20
Graduate Dissertations and Theses at Illinois 13
College of Liberal Arts and Sciences 2
Dept. of Electrical and Computer Engineering 1
Dept. of Mathematics 1
Dept. of Plant Biology 1
Research publications from UIUC 1
School of Integrative Biology 1
Summary of Engineering Research (1957-2008) 1

Collection

Graduate Dissertations and Theses at Illinois 13
Dissertations and Theses - Computer Science 10
Research and Tech Reports - Computer Science 10
Dissertations and Theses - Electrical and Computer Engineering 1
Dissertations and Theses - Mathematics 1
Dissertations and Theses - Plant Biology 1
Research publications from the University of Illinois at Urbana-Champaign 1
Summary of Engineering Research (2003-2008) 1

Author(s)

Rosu, Grigore 4
Chen, Xiaohong 3
Hendrix, Joseph D. 3
Lin, Zhengyao 2
Meseguer, José 2
Rodrigues, Nishant 2
Trinh, Minh-Thai 2
Wang, John 2
Ziaei, Mahmood Reza 2
Al-Dhaher, Khaled Walid 1

Keyword(s)

Computer Science 9
Program verification 3
Proof generation 2
distributed systems 2
verification 2
Artificial Intelligence 1
Automated Theorem Proving 1
Automated reasoning 1
Biology, Botany 1
Biology, Molecular 1

Type of Resource

text 23
Thesis 1

↑ ↓

Showing 1–25 of 25 items

Thumbnail for Combining Satisfiability Procedures for Automated Deduction and Constraint -Based Reasoning

Combining Satisfiability Procedures for Automated Deduction and Constraint -Based Reasoning

Tinelli, Cesare

Thumbnail for Nelson Oppen combination as a rewrite theory

Nelson Oppen combination as a rewrite theory

Rodrigues, Nishant

Thumbnail for Guarded Matching Logic is Decidable

Guarded Matching Logic is Decidable

Rodrigues, Nishant; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Variant-Based Satisfiability

Variant-Based Satisfiability

Meseguer, José

Thumbnail for 20 Years of Rewriting Logic

20 Years of Rewriting Logic

Meseguer, José

Thumbnail for From Hoare Logic to Matching Logic Reachability

From Hoare Logic to Matching Logic Reachability

Rosu, Grigore; Stefanescu, Andrei

Thumbnail for Making Formal Verification Trustworthy via Proof Generation

Making Formal Verification Trustworthy via Proof Generation

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

Thumbnail for A System to Support Object-Oriented Design Evolution

A System to Support Object-Oriented Design Evolution

Wang, Jane Ching-Ying

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 Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic

Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic

Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu

Thumbnail for Systematics of some Leptosphaeria and Phaeosphaeria species (Loculoascomycetes) based on morphological and molecular evidence

Systematics of some Leptosphaeria and Phaeosphaeria species (Loculoascomycetes) based on morphological and molecular evidence

Khashnobish, Aruna

Thumbnail for Decision Procedures for Equationally Based Reasoning

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.

Thumbnail for Decision Procedures for Equationally Based Reasoning

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.

Thumbnail for Decision Procedures for Equationally Based Reasoning

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.

Thumbnail for Domain Modeling for Knowledge-Based Systems: An Approach Based on Objects, Events, and Rules

Domain Modeling for Knowledge-Based Systems: An Approach Based on Objects, Events, and Rules

Park, Byung Joon

Thumbnail for Automated acquisition and refinement of reusable software design components

Automated acquisition and refinement of reusable software design components

Lee, Hing-Yan

Thumbnail for Systemic software reuse through analogical reasoning

Systemic software reuse through analogical reasoning

Whitehurst, R. Alan

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 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 Scalable validation of binary lifters

Scalable validation of binary lifters

Dasgupta, Sandeep

Thumbnail for A framework for the representation, acquisition and manipulation of strategic knowledge for knowledge-based systems

A framework for the representation, acquisition and manipulation of strategic knowledge for knowledge-based systems

Al-Dhaher, Khaled Walid

Thumbnail for Uniform verification of safety for parameterized networks of hybrid automata

Uniform verification of safety for parameterized networks of hybrid automata

Johnson, Taylor

Thumbnail for Learning-based inductive invariant synthesis

Learning-based inductive invariant synthesis

Garg, Pranav

Thumbnail for Non solus.

Non solus.

Bennett, Scott Boyce

Thumbnail for The Summary of Engineering Research 2003

The Summary of Engineering Research 2003

University of Illinois at Urbana-Champaign. College of Engineering

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 7 + 4?

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