Michel Lemaître

32 papers A* 2A 6Journal 11Unranked 12

Year	Rank	Type	Title / Venue / Authors
2020	—	`ch.`	Collective Decision Making. A Guided Tour of Artificial Intelligence Research (1) (I) Sylvain Bouveret, Jérôme Lang, Michel Lemaître
2019	A	`conf`	Efficiency, Sequenceability and Deal-Optimality in Fair Division of Indivisible Goods. AAMAS Aurélie Beynier, Sylvain Bouveret, Michel Lemaître, Nicolas Maudet, Simon Rey, Parham Shams
2018	J	`jnl`	Efficiency, Sequenceability and Deal-Optimality in Fair Division of Indivisible Goods. CoRR Aurélie Beynier, Sylvain Bouveret, Michel Lemaître, Nicolas Maudet, Simon Rey
2016	J	`jnl`	Characterizing conflicts in fair division of indivisible goods using a scale of criteria. Auton. Agents Multi Agent Syst. Sylvain Bouveret, Michel Lemaître
2016	J	`jnl`	Efficiency and Sequenceability in Fair Division of Indivisible Goods with Additive Preferences. CoRR Sylvain Bouveret, Michel Lemaître
2014	A	`conf`	Characterizing conflicts in fair division of indivisible goods using a scale of criteria. AAMAS Sylvain Bouveret, Michel Lemaître
2012	A	`conf`	Fair Division of Indivisible Goods under Risk. ECAI Charles Lumet, Sylvain Bouveret, Michel Lemaître
2010	A	`conf`	Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains. ECAI Cédric Pralet, Gérard Verfaillie, Michel Lemaître, Guillaume Infantes
2010	J	`jnl`	Constraint-based modeling of discrete event dynamic systems. J. Intell. Manuf. Gérard Verfaillie, Cédric Pralet, Michel Lemaître
2010	J	`jnl`	How to model planning and scheduling problems using constraint networks on timelines. Knowl. Eng. Rev. Gérard Verfaillie, Cédric Pralet, Michel Lemaître
2009	J	`jnl`	Computing leximin-optimal solutions in constraint networks. Artif. Intell. Sylvain Bouveret, Michel Lemaître
2007	A*	`conf`	New Constraint Programming Approaches for the Computation of Leximin-Optimal Solutions in Constraint Networks. IJCAI Sylvain Bouveret, Michel Lemaître
2006	J	`jnl`	Issues in Multiagent Resource Allocation. Informatica (Slovenia) 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
2005	A	`conf`	Allocation of indivisible goods: a general model and some complexity results. AAMAS Sylvain Bouveret, Michel Lemaître, Hélène Fargier, Jérôme Lang
2004	J	`jnl`	Partage équitable de ressources communes. (1) Un modèle général et son application au partage de ressources satellitaires. Tech. Sci. Informatiques Hélène Fargier, Jérôme Lang, Michel Lemaître, Gérard Verfaillie
2004	J	`jnl`	Partage équitable de ressources communes. (2) Éléments de complexité et d'algorithmique. Tech. Sci. Informatiques Hélène Fargier, Jérôme Lang, Michel Lemaître, Gérard Verfaillie
2001	A	`conf`	Selecting and Scheduling Observations for Agile Satellites: Some Lessons from the Constraint Reasoning Community Point of View. CP Gérard Verfaillie, Michel Lemaître
1999	J	`jnl`	Earth Observation Satellite Management. Constraints An Int. J. E. Bensana, Michel Lemaître, Gérard Verfaillie
1999	A*	`conf`	Exploiting a Common Property Resource under a Fairness Constraint: a Case Study. IJCAI Michel Lemaître, Gérard Verfaillie, Nicolas Bataille
1998	—	`conf`	Branch and Bound Algorithm Selection by Performance Prediction. AAAI/IAAI Lionel Lobjois, Michel Lemaître
1996	—	`conf`	Russian Doll Search for Solving Constraint Optimization Problems. AAAI/IAAI, Vol. 1 Gérard Verfaillie, Michel Lemaître, Thomas Schiex
1994	—	`conf`	Towards a multi-formalism framework for architectural synthesis: the ASAR project. CODES 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
1992	—	`conf`	Transe: An Experimental Transformation Assistant for Digital Circuit Design. Designing Correct Circuits Guy Durrieu, Kamel Kessaci, Michel Lemaître
1991	—	`conf`	Transe: an experimental design tool. Algorithms and Parallel VLSI Architectures Guy Durrieu, Kamel Kessaci, Michel Lemaître
1989	—	`conf`	MaRS, a Combinator Graph Reduction Multiprocessor. PARLE (1) Alessandro Contessa, Eric Cousin, Christophe Coustet, Manuel Cubero-Castan, Guy Durrieu, Bernard Lécussan, Michel Lemaître, Paulino Ng
1987	J	`jnl`	A Set of Combinators for Abstraction in Linear Space. Inf. Process. Lett. Michel Castan, M.-H. Durand, Michel Lemaître
1986	—	`conf`	Mechanisms for Efficient Multiprocessor Combinator Reduction. LISP and Functional Programming Michel Lemaître, Michel Castan, M.-H. Durand, Guy Durrieu, Bernard Lécussan
1986	—	`conf`	Toward the design of a parallel graph reduction machine: The MaRS project. Graph Reduction Michel Castan, Guy Durrieu, Bernard Lécussan, Michel Lemaître, Alessandro Contessa, Eric Cousin, Paulino Ng
1982	—	`conf`	LF: langage de spécification de fonctions et de types de données en logique. SPLT René Jacquart, Michel Lemaître, Guy Zanon
1980	—	`conf`	Programming Development with or without Coding. IFIP Congress Jack Foisseau, René Jacquart, Michel Lemaître, Michel Lemoine, J. C. Vignat, Guy Zanon
1978	—	`conf`	The Language of SYNTEX-2, an Implemented Relational-like DBMS. Jerusalem Conference on Information Technology Robert Demolombe, Michel Lemaître, Jean-Marie Nicolas
1977	—	`conf`	A Procedural Language for the Relational Data Base Management System "Syntex". IFIP Congress Ephrem S. Dorkenoo, Michel Lemaître, Michel Lemoine