Arnaud Maes, Morphisms and almost-periodicity, Discrete Applied Mathematics, 86 (1998), 233-248.

Arnaud Maes, An automata theoretic decidability proof for the first-order theory of <N;<,P> with morphic predicate P, Journal of Automata, Languages and Combinatorics, 4 (1999), 229-245.

Arnaud Maes, More on morphisms and almost-periodicity, Theoretical Computer Science 231 (2000), 205-215.

Thierry Lavendhomme, Arnaud Maes, Note on the undecidability of (\omega ;+,P_m,r), les Cahiers du Centre de Logique, 11 (2000), C. Michaux ed., UCL, 61-68.

Arnaud Maes, Revisiting Semenov's results about decidability of extensions of Presburger Arithmetic, les Cahiers du Centre de Logique, 11 (2000), C. Michaux ed., UCL, 11-59.

Arnaud Maes, Corinne Cerf, A family of brunnian links based on Edwards' construction of Venn diagrams, Journal of Knot Theory and its Ramifications, 10 (2001), 97-107.

Arnaud Maes, Decidability of the first-order theory of (N;<,P) for morphic predicates P, soumis.

Arnaud Maes, Morphic predicates and applications to the decidability of arithmetic theories, Doctoral dissertation, Service de Logique Mathématique et Algèbre, Université de Mons-Hainaut (1999).

Arnaud Maes, Decidability of the first-order theory of (N;<,P) for morphic predicates P, rapport technique 9806 de l'Université de Kiel.

Arnaud Maes, Comment résoudre n'importe quel puzzle de type Rubik, article en deux parties, à paraître dans la revue Math Jeunes.

Arnaud Maes, Quelques outils pour aborder la théorie des espaces de Teichmüller, mémoire de 2ème licence en sciences mathématiques (directeurs de mémoire: Michel Cahen et Luc Lemaire).

Arnaud Maes, Extensions décidables de l'Arithmétique de Presburger d'après Semenov, mémoire de DEA en mathématique (directeur de mémoire: Christian Michaux).

Arnaud Maes, More on Morphisms and Almost-Periodicity, in Proc. Machines et Calculs Universels II (MCU/UMC '98), M. Margenstern Ed., I.U.T de Metz, France (1998).