Particle Probability Hypothesis Density Filter based on Pairwise Markov Chains. - Jiangyi Liu; Chunping Wang 002; Wei Wang (CoRR, 2018)

Particle Probability Hypothesis Density Filter Based on Pairwise Markov Chains. - Jiangyi Liu; Chunping Wang 002; Wei Wang; Zheng Li (Algorithms, 2019)

Lay-it-out: Interactive Design of Layout-Sensitive Grammars. - Fengmin Zhu; Jiangyi Liu; Fei He 001 (CoRR, 2022)

Automated Ambiguity Detection in Layout-Sensitive Grammars. - Jiangyi Liu; Fengmin Zhu; Fei He 001 (Proc. ACM Program. Lang., 2023)

Synthesizing Formal Semantics from Executable Interpreters. - Jiangyi Liu; Charlie Murphy; Anvay Grover; Keith J. C. Johnson; Thomas W. Reps; Loris D'Antoni (Proc. ACM Program. Lang., 2024)

Artifact of paper "Synthesizing Formal Semantics from Executable Interpreters". - Jiangyi Liu; Charlie Murphy; Anvay Grover; Keith J. C. Johnson; Thomas W. Reps; Loris D'Antoni (Zenodo, 2024)

Artifact of paper "Synthesizing Formal Semantics from Executable Interpreters". - Jiangyi Liu; Charlie Murphy; Anvay Grover; Keith J. C. Johnson; Thomas W. Reps; Loris D'Antoni (Zenodo, 2024)

Artifact of paper "Synthesizing Formal Semantics from Executable Interpreters". - Jiangyi Liu; Charlie Murphy; Anvay Grover; Keith J. C. Johnson; Thomas W. Reps; Loris D'Antoni (Zenodo, 2024)

Artifact of paper "Synthesizing Formal Semantics from Executable Interpreters". - Jiangyi Liu; Charlie Murphy; Anvay Grover; Keith J. C. Johnson; Thomas W. Reps; Loris D'Antoni (Zenodo, 2024)