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 |