| Model Checking Robotics Operations Research Bioinformatics --+-------------------------------------------------------------------------------- 1 | Bouillaguet Sassolas Behdenna Buisse 2 | Escamocher Daligault Morcrette Raybaud 3 | Place Glondu Groz Prost 4 | Dimino Monmege Thomazo Tan 5 | Pompigne Brenguier Batog Arnaud 6 | Cheval Durand-Gasselin Bos Basset 7 | Cohen Roussel 8 | Aynaud ------------------------------------------------------------------------------------- | Algorithms Robotics Theorem Proving Bioinformatics --+---------------------------------------------------------------------------------- 1 | Escamocher Behdenna Buisse Daligault 2 | Tan Raybaud Brenguier Aynaud 3 | Sassolas Morcrette Glondu Groz 4 | Durand-Gasselin Prost Bouillaguet Pompigne 5 | Arnaud Thomazo Monmege Bos 6 | Batog Cheval Place 7 | Cohen Dimino 8 | Basset Roussel ------------------------------------------------------------------------------------- | Algorithms Data Bases Scient. Computing Comp. Graphics --+---------------------------------------------------------------------------------- 1 | Daligault Raybaud Buisse Sassolas 2 | Aynaud Bouillaguet Arnaud Glondu 3 | Place Escamocher Morcrette Monmege 4 | Thomazo Tan Dimino Prost 5 | Pompigne Cohen Roussel Groz 6 | Batog Brenguier 7 | Basset Durand-Gasselin 8 | Bos Cheval 9 | Behdenna ------------------------------------------------------------------------------------- | Data Bases Abstr. Inter. Comp. Graphics Scient. Computing -------------------------------------------------------------------------------------- 1 | Daligault Sassolas Buisse Behdenna 2 | Cheval Glondu Buillaguet Prost 3 | Groz Escamocher Morcrette Tan 4 | Brenguier Monmege Aynaud Durand-Gasselin 5 | Basset Place Thomazo Batog 6 | Bos Dimino Pompigne 7 | Cohen Raybaud 8 | Arnaud Roussel --------------------------------------------------------------------------------------