Jinming Kong

According to our database¹, Jinming Kong authored at least 2 papers in 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Formal Modeling and Analysis of User Activity Sequence in Online Social Networks: A Stochastic Petri Net-Based Approach.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Soc. Syst., June, 2024

Modeling and Analysis of ETC Control System with Colored Petri Net and Dynamic Slicing.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., January, 2024