InstitutionFormal Systems Laboratory, University at Illinois at Urbana Champaign, USWebhttps://xchen.page/StatusCollaboratorPublications2023Capturing constrained constructor patterns in matching logicXiaohong Chen, Dorel Lucanu, Grigore Rosu Journal2021Matching logic explainedXiaohong Chen, Dorel Lucanu, Grigore Rosu Journal2020Connecting Constrained Constructor Patterns and Matching LogicXiaohong Chen, Dorel Lucanu, Grigore Rosu UnpublishedProjectsCapturing Initial and Final Semantics in Matching Logic