Decheng Miao

According to our database, Decheng Miao authored at least 8 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Indexed Coinduction in a Fibrational Setting.

Decheng Miao, Jianqing Xi

Proceedings of the Algorithms and Architectures for Parallel Processing, 2018

2017

形式语言基于Monads的语义计算模型 (Semantics Computational Model of Formal Languages Based on Monads).

Decheng Miao, Jianqing Xi, Jindian Su

计算机科学, 2017

Fibrations理论在索引归纳数据类型不确定语义中的应用 (Applications of Fibrations Theory to Uncertainty Semantic Computation for Indexed Inductive Data Types).

Decheng Miao, Jianqing Xi, Xinsheng Liu, Jindian Su

计算机科学, 2017

2016

程序语言中共归纳数据类型的一种fibrations方法 (Fibrations Method of Co-inductive Data Types in Programming).

Decheng Miao, Jianqing Xi, Jingguo Dai, Jindian Su

计算机科学, 2016

Inductive Data Types Based on Fibrations Theory in Programming.

Decheng Miao, Jianqing Xi, Yubin Guo, Deyou Tang

J. Comput. Inf. Technol., 2016

2015

归纳数据类型的范畴论方法 (Category Theoretical Method of Inductive Data Types).

Decheng Miao, Jianqing Xi, Jindian Su

计算机科学, 2015

2013

A Category Theoretic Method of Temporal Data Model.

Decheng Miao, Jianqing Xi, Jindian Su

Proceedings of the 2013 Fourth International Conference on Emerging Intelligent Data and Web Technologies, 2013

2012

ETI: an efficient index for set similarity queries.

Lianying Jia, Jianqing Xi, Mengjuan Li, Yong Liu, Decheng Miao

Frontiers Comput. Sci., 2012