Michel Lemaître

According to our database1, Michel Lemaître authored at least 30 papers between 1977 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Efficiency, Sequenceability and Deal-Optimality in Fair Division of Indivisible Goods.
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.
CoRR, 2018

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

Characterizing conflicts in fair division of indivisible goods using a scale of criteria.
Auton. Agents Multi Agent Syst., 2016

2012
Fair Division of Indivisible Goods under Risk.
Proceedings of the ECAI 2012, 2012

2010
How to model planning and scheduling problems using constraint networks on timelines.
Knowl. Eng. Rev., 2010

Constraint-based modeling of discrete event dynamic systems.
J. Intell. Manuf., 2010

Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains.
Proceedings of the ECAI 2010, 2010

2009
Computing leximin-optimal solutions in constraint networks.
Artif. Intell., 2009

2007
New Constraint Programming Approaches for the Computation of Leximin-Optimal Solutions in Constraint Networks.
Proceedings of the IJCAI 2007, 2007

2006
Issues in Multiagent Resource Allocation.
Informatica (Slovenia), 2006

2005
Allocation of indivisible goods: a general model and some complexity results.
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.
Tech. Sci. Informatiques, 2004

Partage équitable de ressources communes. (1) Un modèle général et son application au partage de ressources satellitaires.
Tech. Sci. Informatiques, 2004

2001
Selecting and Scheduling Observations for Agile Satellites: Some Lessons from the Constraint Reasoning Community Point of View.
Proceedings of the Principles and Practice of Constraint Programming, 2001

1999
Earth Observation Satellite Management.
Constraints An Int. J., 1999

Exploiting a Common Property Resource under a Fairness Constraint: a Case Study.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998
Branch and Bound Algorithm Selection by Performance Prediction.
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.
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.
Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

1992
Transe: An Experimental Transformation Assistant for Digital Circuit Design.
Proceedings of the Designing Correct Circuits, 1992

1991
Transe: an experimental design tool.
Proceedings of the Algorithms and Parallel VLSI Architectures II, 1991

1989
MaRS, a Combinator Graph Reduction Multiprocessor.
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

1987
A Set of Combinators for Abstraction in Linear Space.
Inf. Process. Lett., 1987

1986
Mechanisms for Efficient Multiprocessor Combinator Reduction.
Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

Toward the design of a parallel graph reduction machine: The MaRS project.
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.
Proceedings of the SPLT'82, 1982

1980
Programming Development with or without Coding.
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.
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".
Proceedings of the Information Processing, 1977


  Loading...