Chunhui Guo

Identifiers

No identifiers captured yet.

Papers (5)

1. Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report cs.SE · 2018 · author #1
2. Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version) cs.SE · 2018 · author #1
3. Optimizing System Quality of Service through Rejuvenation for Long-Running Applications with Real-Time Constraints cs.SE · 2018 · author #1
4. Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report) cs.SE · 2018 · author #1
5. Bolt Detection Signal Analysis Method Based on ICEEMD eess.SP · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Shangping Ren 4 shared papers
• Lui Sha 3 shared papers
• Zhenyu Zhang 3 shared papers
• Zhicheng Fu 3 shared papers
• Hao Wu 1 shared papers
• Jerzy Nogiec 1 shared papers
• Xiayu Hua 1 shared papers
• Xin Xie 1 shared papers
• Zhan Zhang 1 shared papers
• Zhengyu Yang 1 shared papers