X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/bibliographie.git/blobdiff_plain/2f1da93968b1c2ccd0c69148e74779a3024b1efb..93e87cfe13be8abdb38d24930df8bc74fe13dea6:/bib/biblioand.bib?ds=inline diff --git a/bib/biblioand.bib b/bib/biblioand.bib index 5237b4a..8bdd66f 100644 --- a/bib/biblioand.bib +++ b/bib/biblioand.bib @@ -1,6 +1,43 @@ % This file was created with JabRef 2.3.1. % Encoding: ANSI_X3.4-1968 + + +@inproceedings{bcg11:ip, +inhal = {no}, +domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO}, +equipe = {and}, +classement = {ACTI}, +author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe}, +title = {Performance Analysis of a Keyed Hash Function based on Discrete and Chaotic Proven Iterations}, +booktitle = {INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet}, +pages = {52--57}, +address = {Luxembourg, Luxembourg}, +month = jun, +year = 2011, +note = {Best paper award}, + +} + +@article{bcg12:ij, +inhal = {no}, +domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO}, +equipe = {and}, +classement = {ACLNI}, +impact-factor ={#}, +isi-acro = {#}, +author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe}, +title = {Quality analysis of a chaotic proven keyed hash function}, +journal = {International Journal On Advances in Internet Technology}, +pages = {26--33}, +volume = 5, +number = 1, +publisher = {IARIA}, +year = 2012, + +} + + @article{ccg15:ij, inhal = {no}, domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO}, @@ -152,32 +189,80 @@ howpublished = {15-th Mons Theoretical Computer Science Days (15e Journ\'ees Mon 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}, @@ -235,6 +320,70 @@ year = 2006, 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},