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 28
Graduate Dissertations and Theses at Illinois 24
Dept. of Computer Science 21
College of Liberal Arts and Sciences 11
College of Agricultural, Consumer and Environmental Sciences (ACES) 4
Dept. of Mechanical Science and Engineering 4
Dept. of Chemistry 3
School of Molecular and Cellular Biology 3
Center for Biophysics and Quantitative Biology 2
Dept. of Agricultural and Biological Engineering 2

Collection

Graduate Dissertations and Theses at Illinois 24
Research and Tech Reports - Computer Science 19
Dissertations and Theses - Mechanical Science and Engineering 4
Dissertations and Theses - Chemistry 3
Dissertations and Theses - Agricultural and Biological Engineering 2
Dissertations and Theses - Biophysics and Quantitative Biology 2
Dissertations and Theses - East Asian Languages and Cultures 2
Dissertations - Agricultural and Consumer Economics 1
Dissertations and Theses - Animal Sciences 1
Dissertations and Theses - Anthropology 1

Author(s)

Chen, Xiaohong 18
Rosu, Grigore 12
Rodrigues, Nishant 7
Roşu, Grigore 5
Lin, Zhengyao 3
Saxena, Manasvi 3
Xiaohong Chen 3
Grigore Rosu 2
Lucanu, Dorel 2
Minh-Thai Trinh 2

Keyword(s)

matching logic 8
Biophysics, Medical 3
Matching logic 3
Proof generation 3
Cyber Physical Systems 2
Engineering, Biomedical 2
Program verification 2
Proof checking 2
Semantic framework 2
automata 2

Type of Resource

text 38
Thesis 5

↑ ↓

Showing 1–30 of 47 items

1 (current)
2

Thumbnail for A general approach to define binders using matching logic

A general approach to define binders using matching logic

Chen, Xiaohong; Roşu, Grigore

Thumbnail for LTL Model Checking in Matching Logic

LTL Model Checking in Matching Logic

Tusil, Jan; Chen, Xiaohong

Thumbnail for Initial Algebra Semantics in Matching Logic

Initial Algebra Semantics in Matching Logic

Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore

Thumbnail for Applicative matching logic

Applicative matching logic

Chen, Xiaohong; Roşu, Grigore

Thumbnail for Hyperproperties in Matching Logic

Hyperproperties in Matching Logic

Tusil, Jan; Chen, Xiaohong; Rosu, Grigore

Thumbnail for An Interactive Theorem Prover for Matching Logic with Proof Object Generation

An Interactive Theorem Prover for Matching Logic with Proof Object Generation

Lin, Zhengyao; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Technical Report: Decidable Fragments of Matching Logic

Technical Report: Decidable Fragments of Matching Logic

Rodrigues, Nishant; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Guarded Matching Logic is Decidable

Guarded Matching Logic is Decidable

Rodrigues, Nishant; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Formal semantics of hybrid automata

Formal semantics of hybrid automata

Saxena, Manasvi; Chen, Xiaohong; Rodrigues, Nishant; Rosu, Grigore

Thumbnail for Matching Logic Explained

Matching Logic Explained

Chen, Xiaohong; Lucanu, Dorel; Rosu, Grigore

Thumbnail for Matching μ-Logic

Matching μ-Logic

Chen, Xiaohong; Roşu, 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 Matching μ-Logic

Matching μ-Logic

Chen, Xiaohong • 2023

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 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 Trustworthy Semantics-Based Language Framework via Proof Generation

Towards a Trustworthy Semantics-Based Language Framework via Proof Generation

Xiaohong Chen; Zhengyao Lin; Minh-Thai Trinh; Grigore Rosu

Thumbnail for Towards a Unifying Logical Framework for Neural Networks

Towards a Unifying Logical Framework for Neural Networks

Xiyue Zhang; Xiaohong Chen; Meng Sun • 2022

Thumbnail for Matching Logic Proofs Meet Succinct Cryptographic Proofs

Matching Logic Proofs Meet Succinct Cryptographic Proofs

Bailey, Bolton; Chen, Xiaohong; Fiedler, Adam; Malvai, Harjasleen; Miller, Andrew; Mishra, Pratyush; Rodrigues, Nishant; Rosu, Grigore • 2024

Thumbnail for Technical Report: A Logical Treatment

Technical Report: A Logical Treatment

Rodrigues, Nishant; Sebe, Mircea Octavian; Chen, Xiaohong; Rosu, Grigore • 2024

Thumbnail for A Logical Treatment of Finite Automata

A Logical Treatment of Finite Automata

Rodrigues, Nishant; Sebe, Octavian Mircea; Chen, Xiaohong; Rosu, Grigore • 2024

Thumbnail for Rewriting-Based Computer-Interpretable Clinical Practice Guidelines

Rewriting-Based Computer-Interpretable Clinical Practice Guidelines

Saxena, Manasvi; Chen, Xiaohong; Song, Shuang; Meng, Shaoyu; Sha, Lui; Rosu, Grigore • 2022

Thumbnail for Nuclear magnetic resonance microscopy: New theoretical and technical developments

Nuclear magnetic resonance microscopy: New theoretical and technical developments

Zhou, Xiaohong

Thumbnail for Computer simulation of the dipole artifact in three-dimensional NMR imaging

Computer simulation of the dipole artifact in three-dimensional NMR imaging

Lis, Daniel G.

Thumbnail for A literature review on low–quality waste heat recovery in residential and commercial settings

A literature review on low–quality waste heat recovery in residential and commercial settings

Omere, Emmanuel Orobosa

Thumbnail for Effects of compositional variables on fouling behavior of thin stillage

Effects of compositional variables on fouling behavior of thin stillage

Zheng, Yingying

Thumbnail for KEVM: A Complete Semantics of the Ethereum Virtual Machine

KEVM: A Complete Semantics of the Ethereum Virtual Machine

Everett Hildenbrandt; Saxena, Manasvi; Xiaoran Zhu; Rodrigues, Nishant; Philip Daian; Guth, Dwight; Roşu, Grigore

Thumbnail for Representing Divorce, Reforming Interiority: Narratives of Gender, Class and Family in Post-Reform Chinese Literature and Culture

Representing Divorce, Reforming Interiority: Narratives of Gender, Class and Family in Post-Reform Chinese Literature and Culture

Xiao, Hui

Thumbnail for Loss of basigin expression in the uterus reduces fertility in female mice

Loss of basigin expression in the uterus reduces fertility in female mice

Li, Kailiang

Thumbnail for Pictures in Motion: The Cinematic Art of Zheng Zhengqiu and His Shanghai Contemporaries, 1910--1935

Pictures in Motion: The Cinematic Art of Zheng Zhengqiu and His Shanghai Contemporaries, 1910--1935

Tseng, Li-Lin

Thumbnail for Improving the process synthesis, potency, and pharmacokinetics of the anticancer compound PAC-1

Improving the process synthesis, potency, and pharmacokinetics of the anticancer compound PAC-1

Roth, Howard Steven

1 (current)
2

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 5 + 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)