+@inproceedings{couchot04:onp,
+inhal = {no},
+author = {Couchot, Jean-Fran\c{c}ois},
+title = {V\'erification d'invariant par superposition},
+booktitle = {{MAJECSTIC}'04, {MA}nifestation de {JE}unes {C}hercheurs {STIC}},
+address = {Calais, France},
+ps = {http://lifc.univ-fcomte.fr/~couchot/pubs/cou04.ps.gz},
+url = {http://lil.univ-littoral.fr/~lewandowski/majecstic/programme.html},
+note = {Actes en ligne sur { t http://lil.univ-littoral.fr/\~{}lewandowski/majecstic/programme.html}},
+abstract = {Un système d'événements B modélise un système d'intérêt et l'environnement avec lequel il réagit. Il permet d'exprimer une spécification abstraite au niveau ensembliste, dont les événements sont parfois indéterministes et dont la propriété de cohérence, appelée invariant, s'exprime à l'aide d'une formule logique du premier ordre. Cette étude s'applique à un langage de spécification équivalent à une classe de systèmes d'événements qui conserve les notions d'ensemble, d'indéterminisme et d'invariant écrit en logique équationnelle du premier ordre. Elle propose une démarche de vérification automatique d'invariant inductif et de construction d'un tel invariant par renforcement. L'apport principal est le caractère automatique de la démarche, fondée sur une procédure de décision par superposition. L'étude est illustrée par deux exemples d'algorithmes d'exclusion mutuelle.},
+month = oct,
+year = 2004,
+
+}
+
+
+
+
+@inproceedings{aangc+15:ip,
+inhal = {no},
+domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
+equipe = {and},
+classement = {ACTI},
+author = {Alkindy, Bassam and Al'Nayyef, Huda and Guyeux, Christophe and Couchot, Jean-Fran\c{c}ois and Salomon, Michel and Bahi, Jacques},
+title = {Improved Core Genes Prediction for Constructing well-supported Phylogenetic Trees in large sets of Plant Species},
+booktitle = {IWBBIO 2015, 3rd Int. Work-Conf. on Bioinformatics and Biomedical Engineering, Part I},
+pages = {379--390},
+doi = {10.1007/978-3-319-16483-0_38},
+url = {http://dx.doi.org/10.1007/978-3-319-16483-0_38},
+series = {LNCS},
+volume = 9043,
+address = {Granada, Spain},
+month = apr,
+year = 2015,
+
+}
+
+
+
+
+
+
+
+@inproceedings{agcs+15:ip,
+inhal = {no},
+domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
+equipe = {and},
+classement = {ACTI},
+author = {Alkindy, Bassam and Guyeux, Christophe and Couchot, Jean-Fran\c{c}ois and Salomon, Michel and Parisod, Christian and Bahi, Jacques},
+affiliation = {Christian Parisod est privat docent a l'Université de Neuchatel (Suisse)},
+title = {Hybrid Genetic Algorithm and Lasso Test Approach for Inferring Well Supported Phylogenetic Trees based on Subsets of Chloroplastic Core Genes},
+booktitle = {AlCoB 2015, 2nd Int. Conf. on Algorithms for Computational Biology},
+pages = {***--***},
+series = {LNCS/LNBI},
+volume = {*},
+publisher = {Springer},
+address = {Mexico City, Mexico},
+day = 4,
+month = aug,
+year = 2015,
+note = {To appear in the LNCS/LNBI series},
+
+}
+
+
+
@inproceedings{bcg11:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
