Decheng Miao
Orcid: 0000-0002-3860-3021
According to our database1,
Decheng Miao
authored at least 8 papers
between 2012 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Proceedings of the Algorithms and Architectures for Parallel Processing, 2018
2017
形式语言基于Monads的语义计算模型 (Semantics Computational Model of Formal Languages Based on Monads).
计算机科学, 2017
Fibrations理论在索引归纳数据类型不确定语义中的应用 (Applications of Fibrations Theory to Uncertainty Semantic Computation for Indexed Inductive Data Types).
计算机科学, 2017
2016
程序语言中共归纳数据类型的一种fibrations方法 (Fibrations Method of Co-inductive Data Types in Programming).
计算机科学, 2016
J. Comput. Inf. Technol., 2016
2015
2013
Proceedings of the 2013 Fourth International Conference on Emerging Intelligent Data and Web Technologies, 2013
2012