Xiaohong Chen - Citegraph

Author Info

Name	Affiliation	Papers
XIAOHONG CHEN	University of Illinois at Urbana-Champaign, USA	3
Collaborators	Citations	PageRank
5	1	1.07
Referers	Referees	References
2	0	0

Publications (3 rows)

Collaborators (5 rows)

Referers (2 rows)

Referees (0 rows)

Title	Citations	PageRank	Year
Matching logic explained	1	0.40	2021
Towards a unified proof framework for automated fixpoint reasoning using matching logic	0	0.34	2020
A general approach to define binders using matching logic	0	0.34	2020

1