Decheng Miao

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 6

Top Topics

Database Server

Formal Language

Computational Model

Top Venues

计算机科学

J. Comput. Inf. Technol.

Frontiers Comput. Sci.

Publications

Decheng Miao, Jianqing Xi
Indexed Coinduction in a Fibrational Setting. ICA3PP (Workshops) (2018)
Decheng Miao, Jianqing Xi, Xinsheng Liu, Jindian Su
Fibrations理论在索引归纳数据类型不确定语义中的应用 (Applications of Fibrations Theory to Uncertainty Semantic Computation for Indexed Inductive Data Types). 计算机科学 44 (7) (2017)
Decheng Miao, Jianqing Xi, Jindian Su
形式语言基于Monads的语义计算模型 (Semantics Computational Model of Formal Languages Based on Monads). 计算机科学 44 (1) (2017)
Decheng Miao, Jianqing Xi, Jingguo Dai, Jindian Su
程序语言中共归纳数据类型的一种fibrations方法 (Fibrations Method of Co-inductive Data Types in Programming). 计算机科学 43 (3) (2016)
Decheng Miao, Jianqing Xi, Yubin Guo, Deyou Tang
Inductive Data Types Based on Fibrations Theory in Programming. J. Comput. Inf. Technol. 24 (1) (2016)
Decheng Miao, Jianqing Xi, Jindian Su
归纳数据类型的范畴论方法 (Category Theoretical Method of Inductive Data Types). 计算机科学 42 (6) (2015)
Decheng Miao, Jianqing Xi, Jindian Su
A Category Theoretic Method of Temporal Data Model. EIDWT (2013)
Lianying Jia, Jianqing Xi, Mengjuan Li, Yong Liu, Decheng Miao
ETI: an efficient index for set similarity queries. Frontiers Comput. Sci. 6 (6) (2012)