Ruifeng Xie

According to our database, Ruifeng Xie authored at least 5 papers between 1999 and 2024.

Collaborative distances:

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

2024

Fusing Direct Manipulations into Functional Programs.

Xing Zhang, Ruifeng Xie, Guanchen Guo, Xiao He, Tao Zan, Zhenjiang Hu

Proc. ACM Program. Lang., January, 2024

2023

A reproducing Kernel method for solving singularly perturbed delay parabolic Partial differential equations.

Ruifeng Xie, Jian Zhang, Jing Niu, Wen Li, Guangming Yao

Math. Model. Anal., September, 2023

Contract lenses: Reasoning about bidirectional programs via calculation.

Hanliang Zhang, Wenhao Tang, Ruifeng Xie, Meng Wang, Zhenjiang Hu

J. Funct. Program., 2023

2022

Generic recursive lens combinators and their calculation laws.

Ruifeng Xie, Zhenjiang Hu

Theor. Comput. Sci., 2022

1999

Similarity-based retrieval of images using color histograms.

Keshi Chen, Stephen Demko, Ruifeng Xie

Proceedings of the Storage and Retrieval for Image and Video Databases VII, 1999