( en | de | ru )

 

Disambiguation of "Pang, Jun"

Author of the publication

copydeleteadd this publication to your clipboard
A novel approach to parameterized verification of cache coherence protocols.

, , , , and . ICCD, page 560-567. IEEE Computer Society, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Vincent Pang

Jian Pang

Cuiping Pang

Xiaoying Pang

Shixuan Pang

 

Other publications of authors with the same name

Semantic and Relational Spaces in Science of Science: Deep Learning Models for Article Vectorisation., , , and . CoRR, (2020)Analysis of a distributed system for lifting trucks., , and . J. Log. Algebraic Methods Program., 55 (1-2): 21-56 (2003)An Automatic Proving Approach to Parameterized Verification., , , , , , and . ACM Trans. Comput. Log., 19 (4): 27:1-27:25 (2018)A Large-scale Empirical Analysis of Ransomware Activities in Bitcoin., , , , , , and . ACM Trans. Web, 16 (2): 7:1-7:29 (2022)An Efficient Approach Towards the Source-Target Control of Boolean Networks., , , and . IEEE ACM Trans. Comput. Biol. Bioinform., 17 (6): 1932-1945 (2020)Algorithms for the Sequential Reprogramming of Boolean Networks., , , , , and . IEEE ACM Trans. Comput. Biol. Bioinform., 16 (5): 1610-1619 (2019)An active learning-based approach for location-aware acquaintance inference., , , , and . Knowl. Inf. Syst., 59 (3): 539-569 (2019)Cones and foci: A mechanical framework for protocol verification., , and . Formal Methods Syst. Des., 29 (1): 1-31 (2006)Cloud Computing-Assisted Dose Verification System and Method for Tumor Pain Treatment., , , , , , , , , and 5 other author(s). IEEE Access, (2020)Sequential Control of Boolean Networks with Temporary and Permanent Perturbations., and . CoRR, (2020)