​
Login / Signup
Ruifeng Xie
ORCID
Publication Activity (10 Years)
Years Active: 1999-2024
Publications (10 Years): 4
Top Topics
Functional Programs
Partial Differential Equations
Wide Angle
Reproducing Kernel
Top Venues
Proc. ACM Program. Lang.
J. Funct. Program.
Theor. Comput. Sci.
Math. Model. Anal.
</>
Publications
</>
Xing Zhang
,
Ruifeng Xie
,
Guanchen Guo
,
Xiao He
,
Tao Zan
,
Zhenjiang Hu
Fusing Direct Manipulations into Functional Programs.
Proc. ACM Program. Lang.
8 (POPL) (2024)
Hanliang Zhang
,
Wenhao Tang
,
Ruifeng Xie
,
Meng Wang
,
Zhenjiang Hu
Contract lenses: Reasoning about bidirectional programs via calculation.
J. Funct. Program.
33 (2023)
Ruifeng Xie
,
Jian Zhang
,
Jing Niu
,
Wen Li
,
Guangming Yao
A reproducing Kernel method for solving singularly perturbed delay parabolic Partial differential equations.
Math. Model. Anal.
28 (3) (2023)
Ruifeng Xie
,
Zhenjiang Hu
Generic recursive lens combinators and their calculation laws.
Theor. Comput. Sci.
913 (2022)
Keshi Chen
,
Stephen Demko
,
Ruifeng Xie
Similarity-based retrieval of images using color histograms.
Storage and Retrieval for Image and Video Databases (SPIE)
(1999)