Functional Equations Associated with Congruential Functions. - Serge Burckel (Theor. Comput. Sci., 1994)

Closed Iterative Calculus. - Serge Burckel (Theor. Comput. Sci., 1996)

Computation of the Ordinal of Braids. - Serge Burckel (Order, 1999)

cTI: Bottom-Up Termination Inference for Logic Programs. - Serge Burckel; Sébastien Hoarau; Frédéric Mesnard; Ulrich Neumerkel (WLP, 2000)

Three generators for minimal writing-space computations. - Serge Burckel; Marianne Morillon (RAIRO Theor. Informatics Appl., 2000)

Syntactical Methods for Braids of Three Strands. - Serge Burckel (J. Symb. Comput., 2001)

A result on braids via the investigation of a rewriting system. - Serge Burckel (J. Symb. Comput., 2003)

Elementary decompositions of arbitrary maps over finite sets. - Serge Burckel (J. Symb. Comput., 2004)

Quadratic Sequential Computations of Boolean Mappings. - Serge Burckel; Marianne Morillon (Theory Comput. Syst., 2004)

Sequential computation of linear Boolean mappings. - Serge Burckel; Marianne Morillon (Theor. Comput. Sci., 2004)

The Parallel-Sequential Duality : Matrices and Graphs - Serge Burckel (CoRR, 2007)

Complexity of some Path Problems in DAGs and Linear Orders - Serge Burckel (CoRR, 2007)

In Situ Design of Register Operations. - Serge Burckel; Emeric Gioan (ISVLSI, 2008)

Mapping Computation with No Memory. - Serge Burckel; Emeric Gioan; Emmanuel Thomé (UC, 2009)

Computation with No Memory, and Rearrangeable Multicast Networks. - Serge Burckel; Emeric Gioan; Emmanuel Thomé (Discret. Math. Theor. Comput. Sci., 2014)

Inductive Kernels of Graphs. - Serge Burckel (J. Multiple Valued Log. Soft Comput., 2016)

Non-Interlaced SAT is in P. - Serge Burckel (CoRR, 2018)