Publications MATHS

Articles dans des revues internationales ou nationales avec comité de lecture répertoriées par l’AERES

  1. Serge Burckel — Inductive kernels of graphs, J. Mult.-Valued Logic Soft Comput., Vol. 27(2-3), pp. 175–181, 2016.
  2. Marianne Morillon — Three-space type Hahn-Banach properties, Mathematical Logic Quarterly, 2016.
  3. Youssef Boudabbous et Christian Delhommé — $({\lek)$}-reconstructible binary relations, European J. Combin., Vol. 37, pp. 43–67, 2014.
  4. Serge Burckel, Emeric Gioan et Emmanuel Thomé — Computation with no memory, and rearrangeable multicast networks, Discrete Math. Theor. Comput. Sci., Vol. 16(1), pp. 121–142, 2014.
  5. Dominique Castella — Algèbres de polynômes tropicaux, Annales Mathématiques Blaise Pascal, Vol. 20(2), pp. 301–330, novembre 2013.
  6. Marion Le Gonidec — On the complexity of a family of $k$-context-free sequences, Theoretical Computer Science, Vol. 414, pp. 47–54, janvier 2012.
  7. Youssef Boudabbous et Christian Delhommé — Prechains and self duality, Discrete Math., Vol. 312(10), pp. 1743–1765, 2012.
  8. Marianne Morillon — Helly spaces and Radon measures on complete lines, Order, Vol. 29(3), pp. 419–441, 2012.
  9. Marianne Morillon — Some consequences of Rado's selection lemma, Arch. Math. Logic, Vol. 51(7-8), pp. 739–749, 2012.
  10. Marianne Morillon et Patricia Spinelli — Nash equilibria and values through modular partitions in infinite games, Discrete Math., Vol. 312(6), pp. 1201–1212, 2012.
  11. Émilie Charlier, Marion Le Gonidec et Michel Rigo — Representing real numbers in a generalized numeration system, Journal of Computer and System Sciences, Vol. 77(4), pp. 743–759, juillet 2011.
  12. Julien Cassaigne et Marion Le Gonidec — Propriétés et limites de la reconnaissance d'ensembles d'entiers par automates dénombrables, Journal de Théorie des Nombres de Bordeaux, Vol. 22(2), pp. 307–338, 2010.
  13. Dominique Castella — Eléments d'algèbre linéaire tropicale, Linear Algebra and Its Applications, Vol. 432, pp. 1460-1474, 2010.
  14. Marianne Morillon — Notions of compactness for special subsets of $\Bbb R^I$ and some weak forms of the axiom of choice, J. Symbolic Logic, Vol. 75(1), pp. 255–268, 2010.
  15. Marianne Morillon — UG-differentiability entails Hahn-Banach, Quaest. Math., Vol. 33(2), pp. 131–146, 2010.
  16. Christian Delhommé, Maurice Pouzet, Gábor Sági et Norbert Sauer — Representation of ideals of relational structures, Discrete Math., Vol. 309(6), pp. 1374–1384, 2009.
  17. Marianne Morillon — Linear forms and axioms of choice, Comment. Math. Univ. Carolin., Vol. 50(3), pp. 421–431, 2009.
  18. Marion Le Gonidec — On complexity functions of infinite words associated with generalized Dyck languages, Theoretical Computer Science, Vol. 407(1-3), pp. 117–133, octobre 2008.
  19. Marc de Crisenoy et Driss Essouabri — Relations between values at T-tuples of negative integers of twisted multivariable zeta series associated to polynomials of several variables, Journal of the Mathematical Society of Japan, Vol. 60(1), pp. 1-16, Mathematical Society of Japan, janvier 2008.
  20. Bruno Courcelle et Christian Delhommé — The modular decomposition of countable graphs. Definition and construction in monadic second-order logic, Theoret. Comput. Sci., Vol. 394(1-2), pp. 1–38, 2008.
  21. Christian Delhommé, Claude Laflamme, Maurice Pouzet et Norbert Sauer — Indivisible ultrametric spaces, Topology Appl., Vol. 155(14), pp. 1462–1478, 2008.
  22. Marion Le Gonidec — Drunken man infinite words complexity, Theoretical Informatics and Applications, Vol. 42(3), pp. 599–613, 2008.
  23. Marianne Morillon — Countable choice and compactness, Topology Appl., Vol. 155(10), pp. 1077–1088, 2008.
  24. Marion Le Gonidec — Sur la complexité de mots infinis engendrés par des $q$-automates dénombrables, Annales de l'Institut Fourier (Université de Grenoble), Vol. 56(7), pp. 2463–2491, 2006.
  25. Christian Delhommé, Masahiro Miyakawa, Maurice Pouzet, Ivo G Rosenberg et Hisayuki Tatsumi — Semirigid Systems of Equivalence Relations, JMLSC.
  26. Christian Delhommé et Maurice Pouzet — Length of an intersection, Mathematical Logic Quarterly.

Communications avec actes dans un congrès international

  1. Christian Delhommé, Masahiro Miyakawa, Maurice Pouzet, Ivo G Rosenberg et Hisayuki Tatsumi — Semirigid Systems of Equivalence Relations., ISMVL, pp. 293-298, publication dirigée par D Michael Miller et Vincent C Gaudet, IEEE, 2012.
  2. Serge Burckel, Emeric Gioan et Emmanuel Thomé — Mapping computation with no memory, Unconventional computation, pp. 85–97, Springer, Berlin, 2009.

Communications orales sans actes dans un congrès international ou national

  1. Serge Burckel, Sébastien Hoarau, Frédéric Mesnard et Ulrich Neumerkel — cTI: Bottom-Up Termination Inference for Logic Programs, 15. WLP, pp. 123-134, 2000.
  2. Frédéric Mesnard et Marianne Morillon — Automatic Generation of Valid Linear Measures for CLP(Q) Programs, WSA, pp. 29-34, 1992.

Ouvrages scientifiques

  1. Christian Delhommé — Travaux en théorie des relations., HDR, Université de la Réunion, 2009.

Publications de vulgarisation

  1. Brigitte Roussel — Ethnogéométrie : la géométrie sculptée des Zafimaniry, Maths express au carrefour des cultures, pp. 77-82, publication dirigée par Marie-José Pestel, CIJM, Paris, mai 2014.