STATE-OF-ART Algorithms for Injectivity and Bounded Surjectivity of One-dimensional Cellular Automata. - Chen Wang 051; Junchi Ma; Defu Lin; Weilin Chen 006; Chao Wang 020 (CoRR, 2023)

Patterns Induce Injectivity: A New Thinking in Constructing Injective Local Rules of 1D Cellular Automata over F2. - Defu Lin; Weilin Chen 006; Chen Wang 051; Junchi Ma; Chao Wang 020 (CoRR, 2023)

The Computation for Reversibility of Arbitrary One-dimensional Finite Cellular Automata Becomes Efficient. - Chen Wang 051; Junchi Ma; Chao Wang 020; Defu Lin; Weilin Chen 006 (CoRR, 2024)

Approximation Algorithm of Minimum All-Ones Problem for Arbitrary Graphs. - Chen Wang 051; Chao Wang 020; Gregory Z. Gutin; Xiaoyan Zhang 001 (CoRR, 2024)

Decision algorithms for reversibility of one-dimensional non-linear cellular automata under null boundary conditions. - Junchi Ma; Weilin Chen 006; Chen Wang 051; Defu Lin; Chao Wang 020 (CoRR, 2024)

Decision algorithms for reversibility of 1D cellular automata under reflective boundary conditions. - Junchi Ma; Chen Wang 051; Weilin Chen 006; Defu Lin; Chao Wang 020 (Theor. Comput. Sci., 2024)

Two graphs: Resolving the periodic reversibility of one-dimensional finite cellular automata. - Chen Wang 051; Junchi Ma; Chao Wang 020; Defu Lin; Weilin Chen 006 (Appl. Math. Comput., 2025)