Concepedia

Junya Xu

JX

Statistics

Publications

3

Citations

56

H-Index

3

Active since

2020

Affiliations

East China Normal University(Current)

Junya Xu is an author at East China Normal University specializing in verification, formal verification, and formal methods.

Top concepts

Publications per year

2020–2022

3

Publications

3

Identification, molecular characterization and expression of JAZ genes in Lycoris aurea

Peng Wang, Shuojun Yu, Xiaokang Han et al. · PLoS ONE · 2020 · 33 citations · Full text

Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP

Junya Xu, Jiaqi Yin, Huibiao Zhu et al. · 2021 · 12 citations

, , +14

Formalization and verification of Kafka messaging mechanism using CSP

Junya Xu, Jiaqi Yin, Huibiao Zhu et al. · Computer Science and Information Systems · 2022 · 11 citations · Full text

, , +18

1–3 of 3