Concepedia

ShuXia Yu

SY

Statistics

Publications

2

Citations

42

H-Index

2

Active since

2013

Affiliations

Shandong University of Science and Technology(Current)

ShuXia Yu is an author at Shandong University of Science and Technology specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationProgram AnalysisSystems EngineeringComputer Engineering

Publications per year

2013–2014

2

Publications

2

Service net algebra based on logic Petri nets

Qiang Hu, Yuyue Du, ShuXia Yu · Information Sciences · 2013 · 30 citations

Service Net Algebra, Petri Net, Engineering +6

Coloured Logic Petri Nets and analysis of their reachable trees

Jing Wang, Yuyue Du, ShuXia Yu · Enterprise Information Systems · 2014 · 12 citations

Petri Net, Applied Logic, Engineering +17

1–2 of 2