Michel Lemaître

According to our database, Michel Lemaître authored at least 31 papers between 1977 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Collective Decision Making.

Sylvain Bouveret, Jérôme Lang, Michel Lemaître

Proceedings of the A Guided Tour of Artificial Intelligence Research: Volume I: Knowledge Representation, 2020

2019

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

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

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

2016

Efficiency and Sequenceability in Fair Division of Indivisible Goods with Additive Preferences.

Sylvain Bouveret, Michel Lemaître

CoRR, 2016

Characterizing conflicts in fair division of indivisible goods using a scale of criteria.

Sylvain Bouveret, Michel Lemaître

Auton. Agents Multi Agent Syst., 2016

2012

Fair Division of Indivisible Goods under Risk.

Charles Lumet, Sylvain Bouveret, Michel Lemaître

Proceedings of the ECAI 2012, 2012

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

Constraint-based modeling of discrete event dynamic systems.

Gérard Verfaillie, Cédric Pralet, Michel Lemaître

J. Intell. Manuf., 2010

Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains.

Cédric Pralet, Gérard Verfaillie, Michel Lemaître, Guillaume Infantes

Proceedings of the ECAI 2010, 2010

2009

Computing leximin-optimal solutions in constraint networks.

Sylvain Bouveret, Michel Lemaître

Artif. Intell., 2009

2007

New Constraint Programming Approaches for the Computation of Leximin-Optimal Solutions in Constraint Networks.

Sylvain Bouveret, Michel Lemaître

Proceedings of the IJCAI 2007, 2007

2006

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

2005

Allocation of indivisible goods: a general model and some complexity results.

Sylvain Bouveret, Michel Lemaître, Hélène Fargier, Jérôme Lang

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

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

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

2001

Selecting and Scheduling Observations for Agile Satellites: Some Lessons from the Constraint Reasoning Community Point of View.

Gérard Verfaillie, Michel Lemaître

Proceedings of the Principles and Practice of Constraint Programming, 2001

1999

Earth Observation Satellite Management.

E. Bensana, Michel Lemaître, Gérard Verfaillie

Constraints An Int. J., 1999

Exploiting a Common Property Resource under a Fairness Constraint: a Case Study.

Michel Lemaître, Gérard Verfaillie, Nicolas Bataille

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998

Branch and Bound Algorithm Selection by Performance Prediction.

Lionel Lobjois, Michel Lemaître

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1996

Russian Doll Search for Solving Constraint Optimization Problems.

Gérard Verfaillie, Michel Lemaître, Thomas Schiex

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1994

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, Frédéric Rousseau, Olivier Sentieys

Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

1992

Transe: An Experimental Transformation Assistant for Digital Circuit Design.

Guy Durrieu, Kamel Kessaci, Michel Lemaître

Proceedings of the Designing Correct Circuits, 1992

1991

Transe: an experimental design tool.

Guy Durrieu, Kamel Kessaci, Michel Lemaître

Proceedings of the Algorithms and Parallel VLSI Architectures II, 1991

1989

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

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

1987

A Set of Combinators for Abstraction in Linear Space.

Michel Castan, M.-H. Durand, Michel Lemaître

Inf. Process. Lett., 1987

1986

Mechanisms for Efficient Multiprocessor Combinator Reduction.

Michel Lemaître, Michel Castan, M.-H. Durand, Guy Durrieu, Bernard Lécussan

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

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

Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986

1982

LF: langage de spécification de fonctions et de types de données en logique.

René Jacquart, Michel Lemaître, Guy Zanon

Proceedings of the SPLT'82, 1982

1980

Programming Development with or without Coding.

Jack Foisseau, René Jacquart, Michel Lemaître, Michel Lemoine, J. C. Vignat, Guy Zanon

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1978

The Language of SYNTEX-2, an Implemented Relational-like DBMS.

Robert Demolombe, Michel Lemaître, Jean-Marie Nicolas

Proceedings of the Information Technology '78: Proceedings of the 3rd Jerusalem Conference on Information Technology (JCIT3), 1978

1977

A Procedural Language for the Relational Data Base Management System "Syntex".

Ephrem S. Dorkenoo, Michel Lemaître, Michel Lemoine

Proceedings of the Information Processing, 1977