A Procedural Language for the Relational Data Base Management System "Syntex". - Ephrem S. Dorkenoo; Michel Lemaître; Michel Lemoine (IFIP Congress, 1977)

The Language of SYNTEX-2, an Implemented Relational-like DBMS. - Robert Demolombe; Michel Lemaître; Jean-Marie Nicolas 001 (Jerusalem Conference on Information Technology, 1978)

Programming Development with or without Coding. - Jack Foisseau; René Jacquart; Michel Lemaître; Michel Lemoine; J. C. Vignat; Guy Zanon (IFIP Congress, 1980)

LF: langage de spécification de fonctions et de types de données en logique. - René Jacquart; Michel Lemaître; Guy Zanon (SPLT, 1982)

Toward the design of a parallel graph reduction machine: The MaRS project. - Michel Castan; Guy Durrieu; Bernard Lécussan; Michel Lemaître; Alessandro Contessa; Eric Cousin; Paulino Ng (Graph Reduction, 1986)

Mechanisms for Efficient Multiprocessor Combinator Reduction. - Michel Lemaître; Michel Castan; M.-H. Durand; Guy Durrieu; Bernard Lécussan (LISP and Functional Programming, 1986)

A Set of Combinators for Abstraction in Linear Space. - Michel Castan; M.-H. Durand; Michel Lemaître (Inf. Process. Lett., 1987)

MaRS, a Combinator Graph Reduction Multiprocessor. - Alessandro Contessa; Eric Cousin; Christophe Coustet; Manuel Cubero-Castan; Guy Durrieu; Bernard Lécussan; Michel Lemaître; Paulino Ng (PARLE (1), 1989)

Transe: an experimental design tool. - Guy Durrieu; Kamel Kessaci; Michel Lemaître (Algorithms and Parallel VLSI Architectures, 1991)

Transe: An Experimental Transformation Assistant for Digital Circuit Design. - Guy Durrieu; Kamel Kessaci; Michel Lemaître (Designing Correct Circuits, 1992)

Towards a multi-formalism framework for architectural synthesis: the ASAR project. - Michel Auguin; Mohamed Belhadj; Judith Benzakki; C. Carrière; Guy Durrieu; Thierry Gautier; Michel Israël; Paul Le Guernic; Michel Lemaître; E. Martin; Patrice Quinton; Laurence Rideau; et al. (CODES, 1994)

Russian Doll Search for Solving Constraint Optimization Problems. - Gérard Verfaillie; Michel Lemaître; Thomas Schiex (AAAI/IAAI, Vol. 1, 1996)

Branch and Bound Algorithm Selection by Performance Prediction. - Lionel Lobjois; Michel Lemaître (AAAI/IAAI, 1998)

Exploiting a Common Property Resource under a Fairness Constraint: a Case Study. - Michel Lemaître; Gérard Verfaillie; Nicolas Bataille (IJCAI, 1999)

Earth Observation Satellite Management. - E. Bensana; Michel Lemaître; Gérard Verfaillie (Constraints An Int. J., 1999)

Selecting and Scheduling Observations for Agile Satellites: Some Lessons from the Constraint Reasoning Community Point of View. - Gérard Verfaillie; Michel Lemaître (CP, 2001)

Partage équitable de ressources communes. (1) Un modèle général et son application au partage de ressources satellitaires. - Hélène Fargier; Jérôme Lang; Michel Lemaître; Gérard Verfaillie (Tech. Sci. Informatiques, 2004)

Partage équitable de ressources communes. (2) Éléments de complexité et d'algorithmique. - Hélène Fargier; Jérôme Lang; Michel Lemaître; Gérard Verfaillie (Tech. Sci. Informatiques, 2004)

Allocation of indivisible goods: a general model and some complexity results. - Sylvain Bouveret; Michel Lemaître; Hélène Fargier; Jérôme Lang (AAMAS, 2005)

Issues in Multiagent Resource Allocation. - Yann Chevaleyre; Paul E. Dunne; Ulle Endriss; Jérôme Lang; Michel Lemaître; Nicolas Maudet; Julian A. Padget; Steve Phelps; Juan A. Rodríguez-Aguilar; Paulo Sousa (Informatica (Slovenia), 2006)

New Constraint Programming Approaches for the Computation of Leximin-Optimal Solutions in Constraint Networks. - Sylvain Bouveret; Michel Lemaître (IJCAI, 2007)

Computing leximin-optimal solutions in constraint networks. - Sylvain Bouveret; Michel Lemaître (Artif. Intell., 2009)

Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains. - Cédric Pralet; Gérard Verfaillie; Michel Lemaître; Guillaume Infantes (ECAI, 2010)

Constraint-based modeling of discrete event dynamic systems. - Gérard Verfaillie; Cédric Pralet; Michel Lemaître (J. Intell. Manuf., 2010)

How to model planning and scheduling problems using constraint networks on timelines. - Gérard Verfaillie; Cédric Pralet; Michel Lemaître (Knowl. Eng. Rev., 2010)

Fair Division of Indivisible Goods under Risk. - Charles Lumet; Sylvain Bouveret; Michel Lemaître (ECAI, 2012)

Characterizing conflicts in fair division of indivisible goods using a scale of criteria. - Sylvain Bouveret; Michel Lemaître (AAMAS, 2014)

Efficiency and Sequenceability in Fair Division of Indivisible Goods with Additive Preferences. - Sylvain Bouveret; Michel Lemaître (CoRR, 2016)

Efficiency, Sequenceability and Deal-Optimality in Fair Division of Indivisible Goods. - Aurélie Beynier; Sylvain Bouveret; Michel Lemaître; Nicolas Maudet; Simon Rey (CoRR, 2018)

Efficiency, Sequenceability and Deal-Optimality in Fair Division of Indivisible Goods. - Aurélie Beynier; Sylvain Bouveret; Michel Lemaître; Nicolas Maudet; Simon Rey; Parham Shams (AAMAS, 2019)

Collective Decision Making. - Sylvain Bouveret; Jérôme Lang; Michel Lemaître (A Guided Tour of Artificial Intelligence Research (1) (I), 2020)