pith. sign in

Shangping Ren

Identifiers

  • name variant Shangping Ren 0.60 · backfill

Papers (5)

  1. Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report cs.SE · 2018 · author #4
  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 #4
  3. Optimizing System Quality of Service through Rejuvenation for Long-Running Applications with Real-Time Constraints cs.SE · 2018 · author #4
  4. Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report) cs.SE · 2018 · author #4
  5. A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems cs.CY · 2016 · author #5

Mentions

  • 1811.08064 #4 · arxiv_oai · confidence 0.70 Shangping Ren
  • 1811.08061 #4 · arxiv_oai · confidence 0.70 Shangping Ren
  • 1811.08047 #4 · arxiv_oai · confidence 0.70 Shangping Ren
  • 1811.00694 #4 · arxiv_oai · confidence 0.70 Shangping Ren

Frequent Coauthors