Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDXiaohong Chen 0002
Person information
- affiliation (2016-): University of Illinois at Urbana-Champaign, USA
- affiliation (2015-2016): Singapore University of Technology and Design, Singapore
- affiliation (2014-2015): Birmingham City University, UK
- affiliation (2010-2014): Peking University, China
Other persons with the same name
- Xiaohong Chen (aka: Xiao-hong Chen, Xiao-Hong Chen) — disambiguation page
- Xiaohong Chen 0001 (aka: Xiao-hong Chen 0001) — Central South University, School of Business, Changsha, China (and 1 more)
- Xiaohong Chen 0003
![[0000-0003-0578-6009]](https://dblp.org/img/orcid-mark.12x12.png "0000-0003-0578-6009")
— China University of Petroleum, Beijing, China - Xiaohong Chen 0004 — Tongji University, School of Transportation Engineering, Shanghai, China
- Xiaohong Chen 0005 — Tsinghua University, Beijing, China
- Xiaohong Chen 0006 — Yale University, New Haven, CT, USA
- Xiaohong Chen 0007 — East China Normal University, Shanghai, China
- Xiaohong Chen 0008 — Sun Yat-Sen University, Center for Water Resource and Environment, Guangzhou, China
- Xiaohong Chen 0009 — North Carolina State University, Department of Mathematics, Raleigh, NC, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c17]Nishant Rodrigues, Mircea Sebe, Xiaohong Chen, Grigore Rosu:
A Logical Treatment of Finite Automata. TACAS (1) 2024: 350-369- 2023
- [j6]Xiaohong Chen, Dorel Lucanu, Grigore Rosu:
Capturing constrained constructor patterns in matching logic. J. Log. Algebraic Methods Program. 130: 100810 (2023) - [j5]Zhengyao Lin, Xiaohong Chen, Minh-Thai Trinh, John Wang, Grigore Rosu:
Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier. Proc. ACM Program. Lang. 7(OOPSLA1): 56-84 (2023) - 2022
- [c16]Xiyue Zhang, Xiaohong Chen, Meng Sun:
Towards a Unifying Logical Framework for Neural Networks. ICTAC 2022: 442-461 - [c15]Péter Bereczky, Xiaohong Chen, Dániel Horpácsi, Tamás Bálint Mizsei, Lucas Peña, Jan Tusil:
Mechanizing Matching Logic in Coq. FROM 2022: 17-36 - 2021
- [j4]Xiaohong Chen, Dorel Lucanu, Grigore Rosu:
Matching logic explained. J. Log. Algebraic Methods Program. 120: 100638 (2021) - [c14]Xiaohong Chen, Grigore Rosu:
The K Vision for the Future of Programming Language Design and Analysis. Formal Methods in Outer Space 2021: 3-9 - [c13]Xiaohong Chen, Zhengyao Lin, Minh-Thai Trinh, Grigore Rosu:
Towards a Trustworthy Semantics-Based Language Framework via Proof Generation. CAV (2) 2021: 477-499 - 2020
- [j3]Xiaohong Chen, Grigore Rosu:
A general approach to define binders using matching logic. Proc. ACM Program. Lang. 4(ICFP): 88:1-88:32 (2020) - [j2]Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, Grigore Rosu:
Towards a unified proof framework for automated fixpoint reasoning using matching logic. Proc. ACM Program. Lang. 4(OOPSLA): 161:1-161:29 (2020) - [c12]Grigore Rosu, Xiaohong Chen:
Matching logic: the foundation of the K framework (invited talk). CPP 2020: 1 - [c11]Xiaohong Chen, Dorel Lucanu, Grigore Rosu:
Connecting Constrained Constructor Patterns and Matching Logic. WRLA@ETAPS 2020: 19-37
2010 – 2019
- 2019
- [c10]Xiaohong Chen, Grigore Rosu:
Matching mu-Logic: Foundation of K Framework (Invited Paper). CALCO 2019: 1:1-1:4 - [c9]Xiaohong Chen, Grigore Rosu:
Matching μ-Logic. LICS 2019: 1-13 - [c8]Xiaohong Chen, Grigore Rosu:
$\mathbb {K}$ - A Semantic Framework for Programming Languages and Formal Analysis. SETSS 2019: 122-158 - 2018
- [c7]Xiaohong Chen, Grigore Rosu:
A Language-Independent Program Verification Framework. ISoLA (2) 2018: 92-102 - [c6]Xiaohong Chen, Daejun Park, Grigore Rosu:
A Language-Independent Approach to Smart Contract Verification. ISoLA (4) 2018: 405-413 - [i2]Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke, Quan Zu, Xiaohong Chen:
Automated Prototype Generation from Formal Requirements Model. CoRR abs/1808.10657 (2018) - 2017
- [c5]Jingyi Wang, Xiaohong Chen, Jun Sun, Shengchao Qin:
Improving Probability Estimation Through Active Probabilistic Model Learning. ICFEM 2017: 379-395 - 2016
- [j1]Esther Palomar, Xiaohong Chen, Zhiming Liu, Sabita Maharjan, Jonathan P. Bowen:
Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems. Sensors 16(11): 1810 (2016) - [c4]Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang:
Towards Concolic Testing for Hybrid Systems. FM 2016: 460-478 - [i1]Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang:
Towards Concolic Testing for Hybrid Systems. CoRR abs/1608.08754 (2016) - 2015
- [c3]Shaodong Li, Xiaohong Chen, Yiwu Wang, Meng Sun:
A Framework for Off-Line Conformance Testing of Timed Connectors. TASE 2015: 15-22 - 2014
- [c2]Xiaohong Chen, Jun Sun, Meng Sun:
A Hybrid Model of Connectors in Cyber-Physical Systems. ICFEM 2014: 59-74 - [c1]Zhiming Liu, Xiaohong Chen:
Model-Driven Design of Object and Component Systems. SETSS 2014: 152-255
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-05 23:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
