Serge Burckel

18 papers C 1Journal 15Unranked 2
YearRankTypeTitle / Venue / Authors
2018 J jnl
Non-Interlaced SAT is in P.
CoRR
Serge Burckel
2016 J jnl
Inductive Kernels of Graphs.
J. Multiple Valued Log. Soft Comput.
Serge Burckel
2014 J jnl
Computation with No Memory, and Rearrangeable Multicast Networks.
Discret. Math. Theor. Comput. Sci.
Serge Burckel, Emeric Gioan, Emmanuel Thomé
2013 J jnl
Computation with No Memory, and Rearrangeable Multicast Networks.
CoRR
Serge Burckel, Emeric Gioan, Emmanuel Thomé
2009 C conf
Mapping Computation with No Memory.
UC
Serge Burckel, Emeric Gioan, Emmanuel Thomé
2008 — conf
In Situ Design of Register Operations.
ISVLSI
Serge Burckel, Emeric Gioan
2007 J jnl
Complexity of some Path Problems in DAGs and Linear Orders
CoRR
Serge Burckel
2007 J jnl
The Parallel-Sequential Duality : Matrices and Graphs
CoRR
Serge Burckel
2004 J jnl
Elementary decompositions of arbitrary maps over finite sets.
J. Symb. Comput.
Serge Burckel
2004 J jnl
Quadratic Sequential Computations of Boolean Mappings.
Theory Comput. Syst.
Serge Burckel, Marianne Morillon
2004 J jnl
Sequential computation of linear Boolean mappings.
Theor. Comput. Sci.
Serge Burckel, Marianne Morillon
2003 J jnl
A result on braids via the investigation of a rewriting system.
J. Symb. Comput.
Serge Burckel
2001 J jnl
Syntactical Methods for Braids of Three Strands.
J. Symb. Comput.
Serge Burckel
2000 J jnl
Three generators for minimal writing-space computations.
RAIRO Theor. Informatics Appl.
Serge Burckel, Marianne Morillon
2000 — conf
cTI: Bottom-Up Termination Inference for Logic Programs.
WLP
Serge Burckel, Sébastien Hoarau, Frédéric Mesnard, Ulrich Neumerkel
1999 J jnl
Computation of the Ordinal of Braids.
Order
Serge Burckel
1996 J jnl
Closed Iterative Calculus.
Theor. Comput. Sci.
Serge Burckel
1994 J jnl
Functional Equations Associated with Congruential Functions.
Theor. Comput. Sci.
Serge Burckel