day = 23,
month = sep,
year = 2014,
+}
+
+@inproceedings{aagp+15:ip,
+inhal = {no},
+domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
+equipe = {and},
+classement = {ACTIN},
+author = {Alsrraj, Reem and Alkindy, Bassam and Guyeux, Christophe and Philippe, Laurent and Couchot, Jean-Fran\c{c}ois},
+title = {Well-supported phylogenies using largest subsets of core-genes by discrete particle swarm optimization},
+booktitle = {CIBB 2015, 12th Int. Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics},
+pages = {***--***},
+address = {Naples, Italy},
+day = 10,
+month = sep,
+year = 2015,
+note = {To appear},
}
-@InProceedings{,
- author = {Bassam Alkindy, Christophe Guyeux, Jean-François Couchot,
-Michel Salomon, Jacques M Bahi},
- title = {Gene Similarity-based Approaches for Determining Core-Genes of Chloroplasts},
- OPTcrossref = {},
- OPTkey = {},
- booktitle = {The IEEE International Conference on Bioinformatics and Biomedicine (BIBM)},
- OPTyear = {2014},
- OPTeditor = {},
- OPTvolume = {},
- OPTnumber = {},
- OPTseries = {},
- pages = {***--***},
- month = nov,
- address = {Belfast, UK},
- OPTorganization = {},
- publisher = {IEE },
- note = {To appear},
- OPTannote = {}
+@inproceedings{acgm+14:ij,
+inhal = {no},
+domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
+equipe = {and},
+classement = {ACTI},
+author = {Alkindy, Bassam and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Mouly, Arnaud and Salomon, Michel and Bahi, Jacques},
+title = {Finding the Core-Genes of Chloroplasts},
+booktitle = {ICBBS 2014, 3rd Int. Conf. on Bioinformatics and Biomedical Science},
+pages = {357--364},
+series = {IJBBB, Journal of Bioscience, Biochemistery, and Bioinformatics},
+number = {4(5)},
+doi = {10.7763/IJBBB.2014.V4.371},
+url = {http://dx.doi.org/10.7763/IJBBB.2014.V4.371},
+address = {Copenhagen, Denmark},
+day = 18,
+month = jun,
+year = 2014,
+
}
+
+@inproceedings{akgcs+14:oip,
+inhal = {no},
+domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
+equipe = {and},
+classement = {COM},
+author = {Alkindy, Bassam and Guyeux, Christophe and Couchot, Jean-Fran\c{c}ois and Salomon, Michel and Bahi, Jacques},
+title = {Gene Similarity-based Approaches for Determining Core-Genes of Chloroplasts},
+booktitle = {BIBM14, IEEE Int. Conf. on Bioinformatics and Biomedicine},
+address = {Belfast, United Kingdom},
+day = 2,
+month = nov,
+year = 2014,
+note = {Short paper},
+}
+
+@misc{acgs13:onp,
+inhal = {no},
+domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
+equipe = {and},
+classement = {COM},
+author = {Alkindy, Bassam and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Salomon, Michel},
+title = {Finding the core-genes of Chloroplast Species},
+howpublished = {Journ\'ees SeqBio 2013, Montpellier},
+month = nov,
+year = 2013,
+
+}
+
+
+
+
+
@PhdThesis{guyeuxphd,
author = {Guyeux, Christophe},
title = {Le désordre des it\'erations chaotiques et leur utilit\'e en sécurit\'e informatique},
Pages = "53--65"
}
+@inproceedings{cg04:np,
+inhal = {no},
+author = {Couchot, Jean-Fran\c{c}ois and Giorgetti, Alain},
+title = {Analyse d'atteignabilit\'e d\'eductive},
+booktitle = {Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels, AFADL'04},
+pages = {269--283},
+editor = {Julliand, Jacques},
+address = {Besan\c{c}on, France},
+month = jun,
+year = 2004,
+
+}
+
+
+@article{cdgr03:ij,
+inhal = {no},
+author = {Couchot, Jean-Fran\c{c}ois and D\'eharbe, D. and Giorgetti, Alain and Ranise, S.},
+title = {Scalable Automated Proving and Debugging of Set-Based Specifications},
+journal = {Journal of the Brazilian Computer Society (JBCS)},
+volume = 9,
+number = 2,
+pages = {17--36},
+url = {http://lifc.univ-fcomte.fr/~couchot/pubs/CDGR03.pdf},
+month = nov,
+year = 2003,
+note = {ISSN 0104-6500},
+
+}
+
+
+@inproceedings{cddg+04:ip,
+inhal = {no},
+domainehal = {INFO:INFO_SE, INFO:INFO_MO},
+equipe = {vesontio},
+author = {Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric and D\'eharbe, D. and Giorgetti, Alain and Ranise, S.},
+title = {Proving and Debugging Set-Based Specifications},
+booktitle = {WMF'03 proceedings},
+series = {ENTCS, Electronic Notes in Theoretical Computer Science},
+volume = 95,
+pages = {189--208},
+editor = {A. Cavalcanti and P. Machado},
+address = {Campina Grande, Brazil},
+url = {http://dx.doi.org/10.1016/j.entcs.2004.04.012},
+month = may,
+year = 2004,
+
+}
+
+
+@inproceedings{cdgr04:onp,
+inhal = {no},
+author = {Couchot, Jean-Fran\c{c}ois and D\'eharbe, D. and Giorgetti, Alain and Ranise, S.},
+title = {{B}arvey~: {V}\'erification automatique de consistance de machines abstraites {B}},
+pages = {369--372},
+booktitle = {AFADL'04, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels, },
+address = {Besan\c{c}on, France},
+month = jun,
+year = 2004,
+editor = {Julliand, Jacques},
+note = {Session outils},
+
+}
+
+
@INPROCEEDINGS{CGK05,
author = {Jean-Fran\c{c}ois Couchot and Alain Giorgetti and Nikolai Kosmatov},
title = {A uniform deductive approach for parameterized protocol safety},
