English EN French FR

Publications MATHS

Articles dans des revues internationales ou nationales avec comité de lecture

  1. Marianne Morillon — Hyperplanes in matroids and the Axiom of Choice, Commentationes Mathematicae Universitatis Carolinae, 2022.
  2. Marianne Morillon — Multiple Choices imply the Ingleton and Krein-Milman axioms, The Journal of Symbolic Logic , Volume 85 , Issue 1 , pp. 439 - 455, 2020.
  3. Christian Delhommé — Orthogonal Countable Linear Orders}, % volume = {}, % pages = {, ORDER, 2018.
  4. Christian Delhommé et Imed Zaguia — Countable linear orders with disjoint infinite intervals are mutually orthogonal, Discrete Mathematics, Vol. 341, pp. 1885–1899, 2018.
  5. Dominique Castella et Stéphane Gaubert — Algèbre de groupe en caractéristique 1 et distances invariantes sur un groupe fini, Math. Z., pp. 1-15, 2017.
  6. Christian Delhommé, Masahiro Miyakawa, Maurice Pouzet, Ivo G Rosenberg et Hisayuki Tatsumi — Semirigid systems of three equivalence relations, J. Mult.-Valued Logic Soft Comput., Vol. 28(4-5), pp. 511–535, 2017.
  7. Christian Delhommé et Maurice Pouzet — Length of an intersection, Mathematical Logic Quarterly, Vol. 63(3-4), pp. 243–255, 2017.
  8. Marianne Morillon — Three-space type Hahn-Banach properties, Mathematical Logic Quarterly, Vol. 63(5), pp. 320–333, 2017.
  9. Marianne Morillon — Linear extenders and the Axiom of Choice, Commentationes Mathematicae Universitatis Carolinae, Vol. 58(4), pp. 419–434, 2017.
  10. Serge Burckel — Inductive kernels of graphs, J. Mult.-Valued Logic Soft Comput., Vol. 27(2-3), pp. 175–181, 2016.
  11. Youssef Boudabbous et Christian Delhommé — $(\le k)$-reconstructible binary relations, European J. Combin., Vol. 37, pp. 43–67, 2014.
  12. 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.
  13. Dominique Castella — Algèbres de polynômes tropicaux, Annales Mathématiques Blaise Pascal, Vol. 20(2), pp. 301–330, novembre 2013.
  14. Marion Le Gonidec — On the complexity of a family of $k$-context-free sequences, Theoret. Comput. Sci., Vol. 414, pp. 47–54, janvier 2012.
  15. Youssef Boudabbous et Christian Delhommé — Prechains and self duality, Discrete Math., Vol. 312(10), pp. 1743–1765, 2012.
  16. Marianne Morillon — Some consequences of Rado's selection lemma, Arch. Math. Logic, Vol. 51(7-8), pp. 739–749, 2012.
  17. Marianne Morillon — Helly spaces and Radon measures on complete lines, Order, Vol. 29(3), pp. 419–441, 2012.
  18. Marianne Morillon et Patricia Spinelli — Nash equilibria and values through modular partitions in infinite games, Discrete Math., Vol. 312(6), pp. 1201–1212, 2012.
  19. Émilie Charlier, Marion Le Gonidec et Michel Rigo — Representing real numbers in a generalized numeration system, J. Comput. System Sci., Vol. 77(4), pp. 743–759, juillet 2011.
  20. Julien Cassaigne et Marion Le Gonidec — Propriétés et limites de la reconnaissance d'ensembles d'entiers par automates dénombrables, J. Théor. Nombres Bordeaux, Vol. 22(2), pp. 307–338, 2010.
  21. Dominique Castella — Eléments d'algèbre linéaire tropicale, Linear Algebra and Its Applications, Vol. 432, pp. 1460-1474, 2010.
  22. Marianne Morillon — UG-differentiability entails Hahn-Banach, Quaest. Math., Vol. 33(2), pp. 131–146, 2010.
  23. 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.
  24. 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.
  25. Marianne Morillon — Linear forms and axioms of choice, Comment. Math. Univ. Carolin., Vol. 50(3), pp. 421–431, 2009.
  26. Marion Le Gonidec — On complexity functions of infinite words associated with generalized Dyck languages, Theoret. Comput. Sci., Vol. 407(1-3), pp. 117–133, octobre 2008.
  27. 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.
  28. 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.
  29. Christian Delhommé, Claude Laflamme, Maurice Pouzet et Norbert Sauer — Indivisible ultrametric spaces, Topology Appl., Vol. 155(14), pp. 1462–1478, 2008.
  30. Marion Le Gonidec — Drunken man infinite words complexity, Theor. Inform. Appl., Vol. 42(3), pp. 599–613, 2008.
  31. Marianne Morillon — Countable choice and compactness, Topology Appl., Vol. 155(10), pp. 1077–1088, 2008.
  32. Marion Le Gonidec — Sur la complexité de mots infinis engendrés par des $q$-automates dénombrables, Ann. Inst. Fourier (Grenoble), Vol. 56(7), pp. 2463–2491, 2006.

Communications avec actes dans un congrès international

  1. Alexandre Mansard — Boolean Algebras from Trace Automata, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India, pp. 48:1–48:15, publication dirigée par Arkadev Chattopadhyay et Paul Gastin, Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, 2019.
  2. Alexandre Mansard — Unfolding of Finite Concurrent Automata, Proceedings 11th Interaction and Concurrency Experience, ICE 2018, Madrid, Spain, June 20-21, 2018, pp. 68–84, publication dirigée par Massimo Bartoletti et Sophia Knight, 2018.
  3. Didier Caucal et Marion Le Gonidec — Context-Free Sequences, Theoretical Aspects of Computing -- ICTAC 2014, pp. 259-276, inproceedings, Springer, Gabriel Ciobanu, Dominique Méry , Bucharest, Romania, septembre 2014.
  4. Christian Delhommé, Masahiro Miyakawa, Maurice Pouzet, Ivo G Rosenberg et Hisayuki Tatsumi — Semirigid Systems of Equivalence Relations., ISMVL, pp. 293-298, IEEE, 2012.
  5. Serge Burckel, Emeric Gioan et Emmanuel Thomé — Mapping computation with no memory, Unconventional computation, pp. 85–97, Springer, Berlin, 2009.

Communications avec actes dans un congrès national

  1. Martine Barret — Pure states and the Axiom of Choice, Positivity VII , inproceedings, Leiden, Netherlands, juillet 2013.

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

  1. Marion Le Gonidec, Boris Adamczewski et Julien Cassaigne — On the computational complexity of algebraic numbers: the Hartmanis--Stearns problem revisited, unpublished, avril 2018.
  2. Martine Barret — États et axiomes de choix, unpublished, juin 2017.
  3. 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.
  4. 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.

Autres productions

  1. Boris Adamczewski, Julien Cassaigne et Marion Le Gonidec — On the computational complexity of algebraic numbers: The Hartmanis-Stearns problem revisited, janvier 2016.

Thèses de doctorat et écrits académiques

  1. Martine Barret — States, ideals and axioms of choice, phdthesis, Université de la Réunion, septembre 2017.