Research output per year
Research output per year
Fingerprint
Dive into the research topics where Chunyan Mu is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Automated Game-Theoretic Verification of Security Systems
Mu, C., 4 Sep 2019, Quantitative Evaluation of Systems. QEST 2019. Parker, D. & Wolf, V. (eds.). Springer, p. 239-256 (Lecture Notes in Computer Science; vol. 11785).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile172 Downloads (Pure) -
Multi-scale stochastic organization-oriented coarse-graining exemplified on the human mitotic checkpoint
Henze, R., Mu, C., Puljiz, M., Kamaleson, N., Huwald, J., Haslegrave, J., di Fenizio, P. S., Parker, D., Good, C., Rowe, J. E., Ibrahim, B. & Dittrich, P., 7 Mar 2019, In: Nature Scientific Reports. 9, 1, 3902.Research output: Contribution to journal › Article › peer-review
Open AccessFile150 Downloads (Pure) -
Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks
Mu, C., Dittrich, P., Parker, D. & Rowe, J. E., 31 Jul 2018, In: IEEE/ACM Transactions on Computational Biology and Bioinformatics. 15, 4, p. 1152-1166 15 p., 8288662.Research output: Contribution to journal › Article › peer-review
Open AccessFile94 Downloads (Pure) -
Time-sensitive Information Flow Control in Timed Event-B
Mu, C. & Qin, S., 13 Sep 2017.Research output: Contribution to conference › Paper › peer-review
Open AccessFile168 Downloads (Pure) -
Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory
Mu, C., Dittrich, P., Parker, D. & Rowe, J. E., 21 Sep 2016.Research output: Contribution to conference › Paper › peer-review
Open AccessFile136 Downloads (Pure)