Michel Lemaître

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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.
Autonomous Agents and Multi-Agent Systems, 2016

2014
Characterizing conflicts in fair division of indivisible goods using a scale of criteria.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

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.
Knowledge Eng. Review, 2010

Constraint-based modeling of discrete event dynamic systems.
J. Intelligent Manufacturing, 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.
Technique et Science Informatiques, 2004

Partage équitable de ressources communes. (1) Un modèle général et son application au partage de ressources satellitaires.
Technique et Science 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, 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.
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.
IFIP Congress, 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".
IFIP Congress, 1977


  Loading...