English EN French FR

Publications MATHS

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

  1. Étienne Payet — Non-Termination in Term Rewriting and Logic Programming, Journal of Automated Reasoning, Vol. 68(4), 24 pages, Springer, 2024.
  2. Marianne Morillon — Hyperplanes in matroids and the Axiom of Choice, Commentationes Mathematicae Universitatis Carolinae, 2022.
  3. Frédéric Mesnard, Étienne Payet et Germán Vidal — Concolic Testing in CLP, Theory and Practice of Logic Programming, Vol. 20(5), pp. 671–686, 2020.
  4. Frédéric Mesnard, Étienne Payet et Germán Vidal — Selective unification in (constraint) logic programming, Fundamenta Informaticae, Vol. 177(3-4), pp. 359-383, IOS Press, 2020.
  5. Marianne Morillon — Multiple Choices imply the Ingleton and Krein-Milman axioms, The Journal of Symbolic Logic , Volume 85 , Issue 1 , pp. 439 - 455, 2020.
  6. Christian Delhommé — Orthogonal Countable Linear Orders}, % volume = {}, % pages = {, ORDER, 2018.
  7. Christian Delhommé et Imed Zaguia — Countable linear orders with disjoint infinite intervals are mutually orthogonal, Discrete Mathematics, Vol. 341, pp. 1885–1899, 2018.
  8. 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.
  9. 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.
  10. Christian Delhommé et Maurice Pouzet — Length of an intersection, Mathematical Logic Quarterly, Vol. 63(3-4), pp. 243–255, 2017.
  11. Marianne Morillon — Linear extenders and the Axiom of Choice, Commentationes Mathematicae Universitatis Carolinae, Vol. 58(4), pp. 419–434, 2017.
  12. Marianne Morillon — Three-space type Hahn-Banach properties, Mathematical Logic Quarterly, Vol. 63(5), pp. 320–333, 2017.
  13. Serge Burckel — Inductive kernels of graphs, J. Mult.-Valued Logic Soft Comput., Vol. 27(2-3), pp. 175–181, 2016.
  14. Frédéric Mesnard, Étienne Payet et Germán Vidal — Concolic testing in logic programming, Theory and Practice of Logic Programming, Vol. 15(4-5), pp. 711-725, juillet 2015.
  15. Frédéric Mesnard et Étienne Payet — A second-order formulation of non-termination, Information Processing Letters, Elsevier, 2015.
  16. Youssef Boudabbous et Christian Delhommé — $(\le k)$-reconstructible binary relations, European J. Combin., Vol. 37, pp. 43–67, 2014.
  17. 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.
  18. Dominique Castella — Algèbres de polynômes tropicaux, Annales Mathématiques Blaise Pascal, Vol. 20(2), pp. 301–330, novembre 2013.
  19. Étienne Payet et Fausto Spoto — Static analysis of Android programs, Information & Software Technology, Vol. 54(11), pp. 1192-1201, Elsevier, novembre 2012.
  20. Marion Le Gonidec — On the complexity of a family of $k$-context-free sequences, Theoret. Comput. Sci., Vol. 414, pp. 47–54, janvier 2012.
  21. Youssef Boudabbous et Christian Delhommé — Prechains and self duality, Discrete Math., Vol. 312(10), pp. 1743–1765, 2012.
  22. Marianne Morillon — Helly spaces and Radon measures on complete lines, Order, Vol. 29(3), pp. 419–441, 2012.
  23. Marianne Morillon — Some consequences of Rado's selection lemma, Arch. Math. Logic, Vol. 51(7-8), pp. 739–749, 2012.
  24. Marianne Morillon et Patricia Spinelli — Nash equilibria and values through modular partitions in infinite games, Discrete Math., Vol. 312(6), pp. 1201–1212, 2012.
  25. É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.
  26. Fausto Spoto, Frédéric Mesnard et Étienne Payet — A Termination Analyzer for Java Bytecode Based on Path-Length, ACM Transactions on Programming Languages and Systems, Vol. 32, Issue 3, 70 pages, ACM Press, mars 2010.
  27. Fausto Spoto et Étienne Payet — Magic-sets for localised analysis of Java bytecode, Higher-Order and Symbolic Computation, Vol. 23(1), pp. 29-86, Springer, mars 2010.
  28. 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.
  29. Dominique Castella — Eléments d'algèbre linéaire tropicale, Linear Algebra and Its Applications, Vol. 432, pp. 1460-1474, 2010.
  30. Marianne Morillon — UG-differentiability entails Hahn-Banach, Quaest. Math., Vol. 33(2), pp. 131–146, 2010.
  31. 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.
  32. Étienne Payet et Frédéric Mesnard — A Non-Termination Criterion for Binary Constraint Logic Programs, Theory and Practice of Logic Programming, Vol. 9(2), pp. 145–164, Cambridge University Press, mars 2009.
  33. 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.
  34. Marianne Morillon — Linear forms and axioms of choice, Comment. Math. Univ. Carolin., Vol. 50(3), pp. 421–431, 2009.
  35. 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.
  36. Étienne Payet — Loop Detection in Term Rewriting Using the Eliminating Unfoldings, Theoretical Computer Science, Vol. 403(2-3), pp. 307–327, Elsevier, août 2008.
  37. 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.
  38. 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.
  39. Christian Delhommé, Claude Laflamme, Maurice Pouzet et Norbert Sauer — Indivisible ultrametric spaces, Topology Appl., Vol. 155(14), pp. 1462–1478, 2008.
  40. Marion Le Gonidec — Drunken man infinite words complexity, Theor. Inform. Appl., Vol. 42(3), pp. 599–613, 2008.
  41. Marianne Morillon — Countable choice and compactness, Topology Appl., Vol. 155(10), pp. 1077–1088, 2008.
  42. 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.
  43. Étienne Payet et Frédéric Mesnard — Nontermination inference of logic programs, ACM Trans. Program. Lang. Syst., Vol. 28(2), pp. 256-289, 2006.
  44. Étienne Payet — Thue Specifications, Infinite Graphs and Synchronized Product, Fundamenta Informaticae, Vol. 44(3), pp. 265-290, IOS Press, 2000.
  45. Teodor Knapik et Étienne Payet — The Full Quotient and its Closure Property for Regular Languages, Information Processing Letters, Vol. 65(2), pp. 57-62, Elsevier, 1998.

Conférences données à l’invitation du comité d’organisation dans un congrès national ou international

  1. Étienne Payet — Modeling the Android platform, Invited talk at the 8th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'13), mars 2013.

Communications avec actes dans un congrès international

  1. Fred Mesnard, Thierry Marianne et Étienne Payet — Automated Theorem Proving for Prolog Verification, LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024, pp. 137–151, publication dirigée par Nikolaj Bjørner, Marijn Heule et Andrei Voronkov, EasyChair, 2024.
  2. Étienne Payet, David J Pearce et Fausto Spoto — On the Termination of Borrow Checking in Featherweight Rust, Proceedings of the 14th International NASA Formal Methods Symposium (NFM), Pasadena, CA, USA, May 24-27, 2022, pp. 411-430, publication dirigée par Jyotirmoy V Deshmukh, Klaus Havelund et Ivan Perez, Springer, 2022.
  3. Sophie Fortz, Frédéric Mesnard, Étienne Payet, Gilles Perrouin, Wim Vanhoof et Germán Vidal — An SMT-Based Concolic Testing Tool for Logic Programs, Proceedings of the 15th International Symposium on Functional and Logic Programming (FLOPS), Akita, Japan, September 14-16, 2020, pp. 215–219, publication dirigée par Keisuke Nakano et Konstantinos Sagonas, Springer, 2020.
  4. 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.
  5. 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.
  6. Étienne Payet — Guided Unfoldings for Finding Loops in Standard Term Rewriting, Proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers, pp. 22–37, publication dirigée par Frédéric Mesnard et Peter J Stuckey, Springer, 2018.
  7. Étienne Payet et Fausto Spoto — Checking Array Bounds by Abstract Interpretation and Symbolic Expressions, Proceedings of the 9th International Joint Conference on Automated Reasoning (IJCAR), Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, pp. 706–722, publication dirigée par Didier Galmiche, Stephan Schulz et Roberto Sebastiani, Springer, 2018.
  8. Maurica Fonenantsoa, Frédéric Mesnard et Étienne Payet — Optimal Approximation for Efficient Termination Analysis of Floating-point Loops, Proceedings of the 1st IEEE Conference on Next Generation Computing Applications (NEXTCOMP'17), Pointe aux Piments, Mauritius Island, July 19-21, 2017, IEEE, 2017.
  9. Frédéric Mesnard, Étienne Payet et Germán Vidal — Selective unification in constraint logic programming, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming (PPDP), Namur, Belgium, October 9-11, 2017, pp. 115–126, publication dirigée par Wim Vanhoof et Brigitte Pientka, ACM, 2017.
  10. Fonenantsoa Maurica, Frédéric Mesnard et Étienne Payet — On the Linear Ranking Problem for Simple Floating-Point Loops, Proceedings of the 23rd International Symposium on Static Analysis (SAS), Edinburgh, United Kingdom, September 8-10, 2016, pp. 300-316, publication dirigée par Xavier Rival, Springer, 2016.
  11. Fonenantsoa Maurica, Frédéric Mesnard et Étienne Payet — Termination analysis of floating-point programs using parameterizable rational approximations, Proceedings of the 31st Annual ACM Symposium on Applied Computing (SAC), Pisa, Italy, April 4-8, 2016, pp. 1674-1679, publication dirigée par Sascha Ossowski, ACM Press, 2016.
  12. Frédéric Mesnard, Étienne Payet et Wim Vanhoof — Towards a Framework for Algorithm Recognition in Binary Code, Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP), Edinburgh, United Kingdom, September 5-7, 2016, pp. 202-213, publication dirigée par James Cheney et Germán Vidal, ACM Press, 2016.
  13. Frédéric Mesnard, Étienne Payet et Germán Vidal — On the Completeness of Selective Unification in Concolic Testing of Logic Programs, Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), Edinburgh, United Kingdom, September 6-8, 2016, publication dirigée par Manuel V. Hermenegildo et Pedro Lopez-Garcia, 2016.
  14. 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.
  15. Étienne Payet et Fausto Spoto — An operational semantics for Android activities, Proceedings of the ACM SIGPLAN 2014 workshop on Partial Evaluation and Program Manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 121-132, publication dirigée par Wei-Ngan Chin et Jurriaan Hage, ACM Press, 2014.
  16. Christian Delhommé, Masahiro Miyakawa, Maurice Pouzet, Ivo G Rosenberg et Hisayuki Tatsumi — Semirigid Systems of Equivalence Relations., ISMVL, pp. 293-298, IEEE, 2012.
  17. Étienne Payet et Fausto Spoto — Static Analysis of Android Programs, Proceedings of the 23rd International Conference on Automated Deduction (CADE'11), pp. 439-445, publication dirigée par Nikolaj Bjørner et Viorica Sofronie-Stokkermans, Springer, août 2011.
  18. Étienne Payet et Fausto Spoto — Experiments with Non-Termination Analysis for Java Bytecode, Proceedings of the 4th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'09), pp. 83–96, publication dirigée par Elvira Albert et Samir Genaim, Elsevier, mars 2009.
  19. Serge Burckel, Emeric Gioan et Emmanuel Thomé — Mapping computation with no memory, Unconventional computation, pp. 85–97, Springer, Berlin, 2009.
  20. Étienne Payet et Fausto Spoto — Magic-Sets Transformation for the Analysis of Java Bytecode, Proceedings of the 14th International Static Analysis Symposium (SAS'07), pp. 452–467, publication dirigée par Gilberto Filé et Hanne Riis Nielson, Springer, août 2007.
  21. Étienne Payet et Frédéric Mesnard — Non-termination Inference for Constraint Logic Programs, Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings, pp. 377-392, publication dirigée par Roberto Giacobazzi, Springer, 2004.
  22. Frédéric Mesnard, Étienne Payet et Ulrich Neumerkel — Detecting Optimal Termination Conditions of Logic Programs, Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings, pp. 509-526, publication dirigée par Manuel V. Hermenegildo et Germán Puebla, Springer, 2002.
  23. Teodor Knapik et Étienne Payet — Synchronized Product of Linear Bounded Machines, Fundamentals of Computation Theory, 12th International Symposium, FCT 1999, Iasi, Romania, August 30 - September 3, 1999, Proceedings, pp. 362-373, publication dirigée par Gabriel Ciobanu et Gheorghe Paun, Springer, 1999.

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.
  2. Anthony Alezan, Roberto Bagnara, Frédéric Mesnard et Étienne Payet — Détection des fonctions de rang lináires à terme, Journées Francophones de Programmation par Contraintes (JFPC 2013), publication dirigée par Charlotte Truchet, 2013.
  3. Étienne Payet et Frédéric Mesnard — Inférence de non-terminaison pour les programmes logiques avec contraintes, Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France, publication dirigée par Frédéric Mesnard, Hermes, 2004.
  4. Frédéric Mesnard, Étienne Payet et Ulrich Neumerkel — Non-Termination Inference for Optimal Termination Conditions of Logic Programs, Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France, 87-, publication dirigée par Michel Rueher, 2002.
  5. Frédéric Mesnard, Ulrich Neumerkel et Étienne Payet — cTI: un outil pour l'inférence de conditions optimales de terminasion pour Prolog, Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, pp. 271-286, publication dirigée par Philippe Codognet, Hermes, 2001.

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

  1. Étienne Payet — Binary Non-Termination in Term Rewriting and Logic Programming, Proceedings of the 19th International Workshop on Termination (WST), Obergurgl, Austria, August 24–25, 2023, publication dirigée par Akihisa Yamada, 2023.
  2. Étienne Payet — Observing loopingness, Proceedings of the 17th International Workshop on Termination (WST), Virtual Event, 16 July, 2021, pp. 69-74, publication dirigée par Samir Genaim, 2021.
  3. Marion Le Gonidec, Boris Adamczewski et Julien Cassaigne — On the computational complexity of algebraic numbers: the Hartmanis--Stearns problem revisited, unpublished, avril 2018.
  4. Martine Barret — États et axiomes de choix, unpublished, juin 2017.
  5. Étienne Payet et Frédéric Mesnard — Non-termination of Dalvik bytecode via compilation to CLP, Proceedings of the 14th International Workshop on Termination (WST), Vienna, Austria, 17-18 July, 2014, pp. 65-69, publication dirigée par Carsten Fuhs, 2014.
  6. Étienne Payet et Frédéric Mesnard — An Improved Non-Termination Criterion for Binary Constraint Logic Programs, Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), October 5, 2005, pp. 46-60, publication dirigée par Alexander Serebrenik et Susana Muñoz-Hernández, 2005.
  7. 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.
  8. 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. Étienne Payet — Preuves automatiques de non-terminaison à base de boucles compressées, Mémoire d'HDR, Université de La Réunion, octobre 2009.
  2. 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.