| 2009 | ||
|---|---|---|
| 22 | Sylvain Bouveret, Michel Lemaître: Computing leximin-optimal solutions in constraint networks. Artif. Intell. 173(2): 343-364 (2009) | |
| 2007 | ||
| 21 | Sylvain Bouveret, Michel Lemaître: New Constraint Programming Approaches for the Computation of Leximin-Optimal Solutions in Constraint Networks. IJCAI 2007: 62-67 | |
| 2006 | ||
| 20 | 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: Issues in Multiagent Resource Allocation. Informatica (Slovenia) 30(1): 3-31 (2006) | |
| 2005 | ||
| 19 | Sylvain Bouveret, Michel Lemaître, Hélène Fargier, Jérôme Lang: Allocation of indivisible goods: a general model and some complexity results. AAMAS 2005: 1309-1310 | |
| 2004 | ||
| 18 | Hélène Fargier, Jérôme Lang, Michel Lemaître, Gérard Verfaillie: Partage équitable de ressources communes. (1) Un modèle général et son application au partage de ressources satellitaires. Technique et Science Informatiques 23(9): 1187-1217 (2004) | |
| 17 | Hélène Fargier, Jérôme Lang, Michel Lemaître, Gérard Verfaillie: Partage équitable de ressources communes. (2) Éléments de complexité et d'algorithmique. Technique et Science Informatiques 23(9): 1219-1238 (2004) | |
| 2001 | ||
| 16 | Gérard Verfaillie, Michel Lemaître: Selecting and Scheduling Observations for Agile Satellites: Some Lessons from the Constraint Reasoning Community Point of View. CP 2001: 670-684 | |
| 1999 | ||
| 15 | Michel Lemaître, Gérard Verfaillie, Nicolas Bataille: Exploiting a Common Property Resource under a Fairness Constraint: a Case Study. IJCAI 1999: 206-211 | |
| 14 | E. Bensana, Michel Lemaître, Gérard Verfaillie: Earth Observation Satellite Management. Constraints 4(3): 293-299 (1999) | |
| 1998 | ||
| 13 | Lionel Lobjois, Michel Lemaître: Branch and Bound Algorithm Selection by Performance Prediction. AAAI/IAAI 1998: 353-358 | |
| 1996 | ||
| 12 | Gérard Verfaillie, Michel Lemaître, Thomas Schiex: Russian Doll Search for Solving Constraint Optimization Problems. AAAI/IAAI, Vol. 1 1996: 181-187 | |
| 1994 | ||
| 11 | Michel Auguin, Mohamed Belhadj, Judith Benzakki, C. Carrière, Guy Durrieu, Thierry Gautier, Michel Israël, Paul Le Guernic, Michel Lemaître, E. Martin, P. Quinton, Laurence Rideau, François Rousseau, Olivier Sentieys: Towards a multi-formalism framework for architectural synthesis: the ASAR project. CODES 1994: 25-32 | |
| 1992 | ||
| 10 | Guy Durrieu, Kamel Kessaci, Michel Lemaître: Transe: An Experimental Transformation Assistant for Digital Circuit Design. Designing Correct Circuits 1992: 103-118 | |
| 1991 | ||
| 9 | Guy Durrieu, Kamel Kessaci, Michel Lemaître: Transe: an experimental design tool. Algorithms and Parallel VLSI Architectures 1991: 299-304 | |
| 1989 | ||
| 8 | Alessandro Contessa, Eric Cousin, C. Coustet, M. Cubero-Castan, Guy Durrieu, Bernard Lécussan, Michel Lemaître, Paulino Ng: MaRS, a Combinator Graph Reduction Multiprocessor. PARLE (1) 1989: 176-192 | |
| 1987 | ||
| 7 | Michel Castan, M.-H. Durand, Michel Lemaître: A Set of Combinators for Abstraction in Linear Space. Inf. Process. Lett. 24(3): 183-188 (1987) | |
| 1986 | ||
| 6 | Michel Castan, Guy Durrieu, Bernard Lécussan, Michel Lemaître, Alessandro Contessa, Eric Cousin, Paulino Ng: Toward the design of a parallel graph reduction machine: The MaRS project. Graph Reduction 1986: 160-180 | |
| 5 | Michel Lemaître, Michel Castan, M.-H. Durand, Guy Durrieu, Bernard Lécussan: Mechanisms for Efficient Multiprocessor Combinator Reduction. LISP and Functional Programming 1986: 113-121 | |
| 1982 | ||
| 4 | René Jacquart, Michel Lemaître, Guy Zanon: LF: langage de spécification de fonctions et de types de données en logique. SPLT 1982 | |
| 1980 | ||
| 3 | Jack Foisseau, René Jacquart, Michel Lemaître, Michel Lemoine, J. C. Vignat, Guy Zanon: Programming Development with or without Coding. IFIP Congress 1980: 327-330 | |
| 1978 | ||
| 2 | Robert Demolombe, Michel Lemaître, Jean-Marie Nicolas: The Language of SYNTEX-2, an Implemented Relational-like DBMS. Jerusalem Conference on Information Technology 1978: 171-175 | |
| 1977 | ||
| 1 | Ephrem S. Dorkenoo, Michel Lemaître, Michel Lemoine: A Procedural Language for the Relational Data Base Management System "Syntex". IFIP Congress 1977: 453-457 | |