Login / Signup
Jinming Kong
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Safety Analysis
Online Social Networks
Control System
User Activity
Top Venues
ACM Trans. Embed. Comput. Syst.
IEEE Trans. Comput. Soc. Syst.
</>
Publications
</>
Wangyang Yu
,
Jinming Kong
,
Fei Hao
,
Jian Li
,
Yuan Liu
Formal Modeling and Analysis of User Activity Sequence in Online Social Networks: A Stochastic Petri Net-Based Approach.
IEEE Trans. Comput. Soc. Syst.
11 (3) (2024)
Wangyang Yu
,
Jinming Kong
,
Zhijun Ding
,
Xiaojun Zhai
,
Zhiqiang Li
,
Qi Guo
Modeling and Analysis of ETC Control System with Colored Petri Net and Dynamic Slicing.
ACM Trans. Embed. Comput. Syst.
23 (1) (2024)