Shunan He

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 2

Top Topics

Dynamic Epistemic Logic

Formal Semantics

Top Venues

Publications

Yu Lu, Yongjie Gao, Yuyang Xie, Shunan He
Computerised Interpretation Systems for Cardiotocography for Both Home and Hospital Uses. CBMS (2018)
Shunan He, Jiahong Guo
Dynamic epistemic logic with topological semantics. ICSAI (2016)