quelques refs

diff --git a/bib/biblioand.bib b/bib/biblioand.bib
index 5237b4ad29aa54bdfa998393fa4a11b5f3e9b5fd..0790deee9a7812e1434f0588e9a82fe6e28cf6b8 100644 (file)
--- a/bib/biblioand.bib
+++ b/bib/biblioand.bib
@@ -152,32 +152,80 @@ howpublished = {15-th Mons Theoretical Computer Science Days (15e Journ\'ees Mon
 day = 23,
 month = sep,
 year = 2014,
 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},
 @PhdThesis{guyeuxphd,
 author = {Guyeux, Christophe},
 title = {Le désordre des it\'erations chaotiques et leur utilit\'e en sécurit\'e informatique},


@@ -235,6 +283,70 @@ year = 2006,
  Pages     = "53--65"
 }
 
  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},
 @INPROCEEDINGS{CGK05,
   author = {Jean-Fran\c{c}ois Couchot and Alain Giorgetti and Nikolai Kosmatov},
   title = {A uniform deductive approach for parameterized protocol safety},