Concepedia

Xin Guo

XG

4

Publications

132

Citations

4

H-Index

2019

Active since

Affiliations

Zhejiang Gongshang University(Current)

New Jersey Institute of Technology

Xin Guo is an author at Zhejiang Gongshang University specializing in formal methods, computer science, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceSystems EngineeringComputer EngineeringFormal VerificationInteger ProgrammingOperations ResearchParallel ComputingFlow Control

Publications per year

2019–2022

4

Publications

4

A Siphon-Based Deadlock Prevention Strategy for S<sup>3</sup>PR

Xin Guo, Shouguang Wang, Dan You et al. · IEEE Access · 2019 · 49 citations · Full text

Engineering, Iterative Strategies, Reachability Problem +12

Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming

Shouguang Wang, Wenli Duo, Xin Guo et al. · IEEE/CAA Journal of Automatica Sinica · 2020 · 37 citations

Mathematical Programming, Petri Net, Flow Control +21

A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets

Shouguang Wang, Xin Guo, Oussama Karoui et al. · IEEE Transactions on Systems Man and Cybernetics Systems · 2022 · 24 citations

Petri Net, Modified Mip Technique, Engineering +15

A Deadlock Prevention Policy for a Class of Multithreaded Software

Wenli Duo, Xiaoning Jiang, Oussama Karoui et al. · IEEE Access · 2020 · 22 citations · Full text

Engineering, Software Engineering, Multithreading (Computer Architecture) +20

Rows per page

1–4 of 4