+\section{Publications après la thèse}
+
+\subsection{Journaux internationaux avec comité de sélection}
+
+\begin{thebibliography}{CHG{\etalchar{+}}14b}
+
+\bibitem[CCG15]{ccg15:ij}
+Jean-Fran\c{c}ois Couchot, Rapha\"el Couturier, and Christophe Guyeux.
+\newblock {STABYLO}: {STeganography with Adaptive, Bbs, and binarY embedding at
+ LOw cost}.
+\newblock {\em Annals of Telecommunications}, 2015.
+\newblock Available online. Paper version to appear.
+
+
+\bibitem[CDS13]{cds13:ij}
+Jean-Fran\c{c}ois Couchot, Karine Deschinkel, and Michel Salomon.
+\newblock Active {MEMS}-based flow control using artificial neural network.
+\newblock {\em Mechatronics}, 23(7):898--905, October 2013.
+\newblock Available online. Paper version to appear.
+
+\bibitem[BCG12a]{bcg12:ij}
+Jacques Bahi, Jean-Fran\c{c}ois Couchot, and Christophe Guyeux.
+\newblock Quality analysis of a chaotic proven keyed hash function.
+\newblock {\em International Journal On Advances in Internet Technology},
+ 5(1):26--33, 2012.
+
+\bibitem[BCG12b]{bcg11:ij}
+Jacques Bahi, Jean-Fran\c{c}ois Couchot, and Christophe Guyeux.
+\newblock Steganography: a class of secure and robust algorithms.
+\newblock {\em The Computer Journal}, 55(6):653--666, 2012.
+
+\bibitem[BCGS12]{bcgs12:ij}
+Jacques Bahi, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, and Michel Salomon.
+\newblock Neural networks and chaos: Construction, evaluation of chaotic
+ networks, and prediction of chaos with multilayer feedforward network.
+\newblock {\em Chaos, An Interdisciplinary Journal of Nonlinear Science},
+ 22(1):013122--1 -- 013122--9, March 2012.
+\newblock 9 pages.
+
+\end{thebibliography}
+
+\subsection{Conférences internationales avec comité de sélection}
+
+\begin{thebibliography}{CHG{\etalchar{+}}14b}
+
+\bibitem[AAG{\etalchar{+}}15]{aagp+15:ip}
+Reem Alsrraj, Bassam Alkindy, Christophe Guyeux, Laurent Philippe, and
+ Jean-Fran\c{c}ois Couchot.
+\newblock Well-supported phylogenies using largest subsets of core-genes by
+ discrete particle swarm optimization.
+\newblock In {\em CIBB 2015, 12th Int. Meeting on Computational Intelligence
+ Methods for Bioinformatics and Biostatistics}, pages ***--***, Naples, Italy,
+ September 2015.
+\newblock To appear.
+
+\bibitem[ACG{\etalchar{+}}14]{acgm+14:ij}
+Bassam Alkindy, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, Arnaud Mouly,
+ Michel Salomon, and Jacques Bahi.
+\newblock Finding the core-genes of chloroplasts.
+\newblock In {\em ICBBS 2014, 3rd Int. Conf. on Bioinformatics and Biomedical
+ Science}, number 4(5) in IJBBB, Journal of Bioscience, Biochemistery, and
+ Bioinformatics, pages 357--364, Copenhagen, Denmark, June 2014.
+
+\bibitem[ACGS13]{acgs13:onp}
+Bassam Alkindy, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, and Michel
+ Salomon.
+\newblock Finding the core-genes of chloroplast species.
+\newblock Journ\'ees SeqBio 2013, Montpellier, November 2013.
+
+\bibitem[AGC{\etalchar{+}}14]{akgcs+14:oip}
+Bassam Alkindy, Christophe Guyeux, Jean-Fran\c{c}ois Couchot, Michel Salomon,
+ and Jacques Bahi.
+\newblock Gene similarity-based approaches for determining core-genes of
+ chloroplasts.
+\newblock In {\em BIBM14, IEEE Int. Conf. on Bioinformatics and Biomedicine},
+ Belfast, United Kingdom, November 2014.
+\newblock Short paper.
+
+\bibitem[BCDG07]{BCDG07}
+Fabrice Bouquet, Jean-Fran\c{c}ois Couchot, Fr\'ed\'eric Dadeau, and Alain
+ Giorgetti.
+\newblock Instantiation of parameterized data structures for model-based
+ testing.
+\newblock In Jacques Julliand and Olga Kouchnarenko, editors, {\em B'2007, the
+ 7th Int. B Conference}, volume 4355 of {\em LNCS}, pages 96--110, Besancon,
+ France, January 2007. Springer.
+
+
+\bibitem[BCF{\etalchar{+}}13]{bcfg+13:ip}
+Jacques Bahi, Jean-Fran\c{c}ois Couchot, Nicolas Friot, Christophe Guyeux, and
+ Kamel Mazouzi.
+\newblock Quality studies of an invisible chaos-based watermarking scheme with
+ message extraction.
+\newblock In {\em IIHMSP'13, 9th Int. Conf. on Intelligent Information Hiding
+ and Multimedia Signal Processing}, pages 547--550, Beijing, China, October
+ 2013.
+
+\bibitem[BCFG12a]{bcfg12a:ip}
+Jacques Bahi, Jean-Fran\c{c}ois Couchot, Nicolas Friot, and Christophe Guyeux.
+\newblock Application of steganography for anonymity through the internet.
+\newblock In {\em IHTIAP'2012, 1-st Workshop on Information Hiding Techniques
+ for Internet Anonymity and Privacy}, pages 96--101, Venice, Italy, June 2012.
+
+\bibitem[BCFG12b]{bcfg12b:ip}
+Jacques Bahi, Jean-Fran\c{c}ois Couchot, Nicolas Friot, and Christophe Guyeux.
+\newblock A robust data hiding process contributing to the development of a
+ semantic web.
+\newblock In {\em INTERNET'2012, 4-th Int. Conf. on Evolving Internet}, pages
+ 71--76, Venice, Italy, June 2012.
+
+\bibitem[BCG11a]{bcg11:ip}
+Jacques Bahi, Jean-Fran\c{c}ois Couchot, and Christophe Guyeux.
+\newblock Performance analysis of a keyed hash function based on discrete and
+ chaotic proven iterations.
+\newblock In {\em INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet},
+ pages 52--57, Luxembourg, Luxembourg, June 2011.
+\newblock Best paper award.
+
+\bibitem[BCG11b]{bcg11b:ip}
+Jacques Bahi, Jean-Fran\c{c}ois Couchot, and Christophe Guyeux.
+\newblock Steganography: a class of algorithms having secure properties.
+\newblock In {\em IIH-MSP-2011, 7-th Int. Conf. on Intelligent Information
+ Hiding and Multimedia Signal Processing}, pages 109--112, Dalian, China,
+ October 2011.
+
+\bibitem[BCGR11]{bcgr11:ip}
+Jacques Bahi, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, and Adrien Richard.
+\newblock On the link between strongly connected iteration graphs and chaotic
+ boolean discrete-time dynamical systems.
+\newblock In {\em FCT'11, 18th Int. Symp. on Fundamentals of Computation
+ Theory}, volume 6914 of {\em LNCS}, pages 126--137, Oslo, Norway, August
+ 2011.
+
+\bibitem[BCGW11]{bcgw11:ip}
+Jacques Bahi, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, and Qianxue Wang.
+\newblock Class of trustworthy pseudo random number generators.
+\newblock In {\em INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet},
+ pages 72--77, Luxembourg, Luxembourg, June 2011.
+
+\bibitem[BCVC10]{BCVC10:ir}
+J.~M. Bahi, S.~Contassot-Vivier, and J.-F. Couchot.
+\newblock Convergence results of combining synchronism and asynchronism for
+ discrete-state discrete-time dynamic network.
+\newblock Research Report RR2010-02, LIFC - Laboratoire d’{I}nformatique de
+ l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}, May 2010.
+
+\bibitem[CD07]{CouchotD07IFM}
+Jean-Fran\c{c}ois Couchot and Fr\'ed\'eric Dadeau.
+\newblock Guiding the correction of parameterized specifications.
+\newblock In {\em IFM'07, 6th Int. Conf. on Integrated Formal Methods}, volume
+ 4591 of {\em LNCS}, pages 176--194, Oxford, UK, July 2007. Springer.
+
+
+\bibitem[CDS12]{cds12:ip}
+Jean-Fran\c{c}ois Couchot, Karine Deschinkel, and Michel Salomon.
+\newblock Suitability of artificial neural network for {MEMS}-based flow
+ control.
+\newblock In Julien Bourgeois and Michel de~Labachelerie, editors, {\em dMEMS
+ 2012, Workshop on design, control and software implementation for distributed
+ MEMS}, pages 1--6, Besan\c{c}on, France, April 2012. IEEE CPS.
+
+\bibitem[CGS09]{cgs09:ip}
+Jean-Fran\c{c}ois Couchot, Alain Giorgetti, and Nicolas Stouls.
+\newblock {G}raph {B}ased {R}eduction of {P}rogram {V}erification {C}onditions.
+\newblock In Hassen Sa\"{i}di and N.~Shankar, editors, {\em AFM'09, {A}utomated
+ {F}ormal {M}ethods (colocated with {CAV}'09)}, pages 40--47, Grenoble,
+ France, 2009. ACM Press.
+
+
+\bibitem[CH07]{couchot07FTP}
+Jean-Fran\c{c}ois Couchot and T.~Hubert.
+\newblock A graph-based strategy for the selection of hypotheses.
+\newblock In {\em FTP'07, Int. Workshop on First-Order Theorem Proving},
+ Liverpool, UK, September 2007.
+
+\bibitem[CHG{\etalchar{+}}14a]{chgw+14:oip}
+Jean-Fran\c{c}ois Couchot, Pierre-Cyrille H\'eam, Christophe Guyeux, Qianxue
+ Wang, and Jacques Bahi.
+\newblock Pseudorandom number generators with balanced gray codes.
+\newblock In {\em Secrypt 2014, 11th Int. Conf. on Security and Cryptography},
+ pages 469--475, Vienna, Austria, August 2014.
+
+\bibitem[CL07]{couchot07cade}
+Jean-Fran\c{c}ois Couchot and S.~Lescuyer.
+\newblock Handling polymorphism in automated deduction.
+\newblock In {\em CADE'07, 21st Int. Conf. on Automated Deduction}, volume 4603
+ of {\em LNCS}, pages 263--278, Bremen, Germany, July 2007. Springer.
+
+\bibitem[Cou10]{Cou10:ir}
+J.-F. Couchot.
+\newblock Formal {C}onvergence {P}roof for {D}iscrete {D}ynamical {S}ystems.
+\newblock Research Report RR2010-03, LIFC - Laboratoire d’{I}nformatique de
+ l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}, May 2010.
+
+\bibitem[FCCG15]{fccg15:ip}
+Yousra~Ahmed Fadil, Jean-Fran\c{c}ois Couchot, Rapha\"el Couturier, and
+ Christophe Guyeux.
+\newblock Steganalyzer performances in operational contexts.
+\newblock In {\em IIH-MSP 2015, 11th Int. Conf. on Intelligent Information
+ Hiding and Multimedia Signal Processing}, pages ***--***, Adelaide,
+ Australia, September 2015.
+\newblock To appear.
+
+\end{thebibliography}
+
+\subsection{Communications orales invitées}
+
+J'ai été invité:
+\begin{itemize}
+
+\item au Workshop \og Théorie des réseaux booléens et ses applications en biologie\fg{}
+à Nice en novembre 2014.
+
+\item à la journée \og Advances in Mobile Technologies Day\fg{} par l'Université Antonine (Liban) en mai 2013;
+
+\item au Séminaire MDSC (Modèles Discrets pour les Systèmes Complexes)
+ du laboratoire I3S sur le sujet \og Efficiently dealing with SMT-LIB provers in software verification\fg{} en décembre 2007.
+\end{itemize}
+
+\subsection{Communications diverses}
+\begin{thebibliography}{CHG{\etalchar{+}}14b}
+
+\bibitem[CHG{\etalchar{+}}14b]{chgw+14:onp}
+Jean-Fran\c{c}ois Couchot, Pierre-Cyrille H\'eam, Christophe Guyeux, Qianxue
+ Wang, and Jacques Bahi.
+\newblock Traversing a n-cube without balanced hamiltonian cycle to generate
+ pseudorandom numbers.
+\newblock 15-th Mons Theoretical Computer Science Days (15e Journ\'ees
+ Montoises d'Informatique Th\'eorique), Nancy, France, September 2014.
+\end{thebibliography}
+
+
