| 2009 |
| 21 | EE | Sylvain Bouveret,
Michel Lemaître:
Computing leximin-optimal solutions in constraint networks.
Artif. Intell. 173(2): 343-364 (2009) |
| 2007 |
| 20 | EE | Sylvain Bouveret,
Michel Lemaître:
New Constraint Programming Approaches for the Computation of Leximin-Optimal Solutions in Constraint Networks.
IJCAI 2007: 62-67 |
| 2005 |
| 19 | EE | 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 | EE | 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 | EE | 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 |