Chunyan Mu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2009–2025
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Probabilistic Strategy Logic with Degrees of Observability. | Chunyan Mu, Nima Motamed, Natasha Alechina, Brian Logan |
| 2025 | AAAI | Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems. | Chunyan Mu, Muhammad Najib, Nir Oren |
| 2023 | ECAI | On Observability Analysis in Multiagent Systems. | Chunyan Mu, Jun Pang |
| 2021 | PRDC | Integrating Information Flow Analysis in Unifying Theories of Programming. | Chunyan Mu, Guoqiang Li |
| 2020 | TASE | A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems. | Chunyan Mu |
| 2017 | TASE | Time-sensitive information flow control in timed event-B. | Chunyan Mu, Shengchao Qin |
| 2014 | CSL | Asymptotic behaviour in temporal logic. | Eugene Asarin, Michel Blockelet, Aldric Degorre, Catalin Dima, Chunyan Mu |
| 2013 | TASE | On Information Flow Control in Event-B and Refinement. | Chunyan Mu |
| 2012 | ICFEM | Quantitative Program Dependence Graphs. | Chunyan Mu |
| 2009 | ICICS | Measuring Information Flow in Reactive Processes. | Chunyan Mu |