Limin Xiang

A formal proof of the four color theorem

Limin Xiang · ArXiv.org · 2009 · 156 citations · Full text

Natural Sciences, Computer Science, Mathematics +11

Time-Decaying Bloom Filters for Data Streams with Skewed Distributions

Kai Cheng, Limin Xiang, Mizuho Iwaihara et al. · 2005 · 49 citations

Computing, Computer Science, Data Management +13

Efficient loopless generation of Gray codes for -ary trees

Limin Xiang, Kazuo Ushijima, Changjie Tang · Information Processing Letters · 2000 · 25 citations

Engineering, Computer Engineering, Computer Science +8

On generating -ary trees in computer representation

Limin Xiang, Kazuo Ushijima, Changjie Tang · Information Processing Letters · 2001 · 16 citations

Computing, Computer Science, Algorithms +8

Generating Regular k-ary Trees Efficiently

Limin Xiang · The Computer Journal · 2000 · 15 citations

Computing, Computer Engineering, Computer Science +11