21 citations · 77 across the 29 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.CE2011★ 2 cited
A Study of the PDGF Signaling Pathway with PRISM
Qixia Yuan, Jun Pang, Sjouke Mauw +3
In this paper, we apply the probabilistic model checker PRISM to the analysis of a biological system -- the Platelet-Derived Growth Factor (PDGF) signaling pathway, demonstrating i…
cs.CR2011★ 1 cited
A Group Signature Based Electronic Toll Pricing System
Xihui Chen, Gabriele Lenzini, Sjouke Mauw +1
With the prevalence and development of GNSS technologies, location-based vehicle services (LBVS) have experienced a rapid growth in recent years. However, location is a sensitive a…