=====Publications de Nicolas Basset=====

===Revues internationales avec comité de lecture===
  * N. Basset, **Counting and generating permutations in regular classes of permutations**,  //Algorithmica//. [[http://link.springer.com/article/10.1007%2Fs00453-016-0136-9|version en ligne]]
  * [[http://www.liafa.univ-paris-diderot.fr/~asarin/|E. Asarin]], N. Basset,  [[http://www.liafa.univ-paris-diderot.fr/~adegorre//|Aldric DEGORRE]], **Entropy of Regular Timed Languages**, //Information and Computation//, [[http://www.sciencedirect.com/science/article/pii/S0890540115000188|version en ligne]]
  *N. Basset, **A maximal entropy stochastic process for a timed automaton**, //Information and Computation//, [[http://www.sciencedirect.com/science/article/pii/S0890540114001588|version en ligne]]

===Conférences internationales avec comité de lecture===
  * N. Basset, **Timed symbolic dynamics**,  //FORMATS'15//.
  * N. Basset,[[http://www.cs.ox.ac.uk/marta.kwiatkowska/|M. Kwiatkowska]], Ufuk Topcu et [[http://www.cs.ox.ac.uk/people/clemens.wiltsche/|C. Wiltsche]]. **Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives**, //TACAS'15//.
/*
Technical report available [[http://www.cs.ox.ac.uk/files/7080/CS-RR-14-10.pdf|here]].
 */
  * N. Basset,[[http://www.cs.ox.ac.uk/marta.kwiatkowska/|M. Kwiatkowska]] et [[http://www.cs.ox.ac.uk/people/clemens.wiltsche/|C. Wiltsche]]. **Compositional Controller Synthesis for Stochastic Games**, //CONCUR'14//.
/*
[[http://www.cs.ox.ac.uk/files/7080/CS-RR-14-10.pdf|Download  (pdf) ]].
 */  
  * N. Basset, **Counting and generating permutations using timed languages**, //LATIN'14//.
/* ,a long version [[https://hal.archives-ouvertes.fr/hal-01093994|hal-01093994v1]] */
  * [[http://www.liafa.univ-paris-diderot.fr/~asarin/|E. Asarin]], N. Basset, [[http://www.liafa.univ-paris-diderot.fr/~adegorre//|Aldric DEGORRE]], **Spectral Gap in Timed Automata**, //FORMATS'13//.
/* LNCS, [[https://hal.archives-ouvertes.fr/hal-00862273v1|hal-00862273v1]] */
  * N. Basset, **A stochastic process for a timed automaton**, //ICALP'13//. 
/* LNCS, <font color=red>Best student paper award (track B)</font>, a long version [[http://hal.archives-ouvertes.fr/hal-00808909|hal-00808909]] */
  * [[http://www.liafa.univ-paris-diderot.fr/~asarin/|E. Asarin]], N. Basset, [[http://igm.univ-mlv.fr/~beal/|M.-P. Béal]], [[http://www.liafa.univ-paris-diderot.fr/~adegorre//|Aldric DEGORRE]], [[http://www-igm.univ-mlv.fr/~perrin/|Dominique PERRIN]], **Toward a timed theory of channel coding**, //FORMATS'12//. 
/*,
     LNCS 7595, 27-42,&nbsp; p. 124-135, © Springer-Verlag, 2012, <a
     href="http://dx.doi.org/10.1007/978-3-642-33365-1_4|DOI: <span lang=EN>10.1007/978-3-642-33365-1_4</span>]]</span>
 */
  * [[http://www.liafa.univ-paris-diderot.fr/~asarin/|E. ASARIN]], N. Basset, [[http://www.liafa.univ-paris-diderot.fr/~adegorre//|Aldric DEGORRE]], [[http://www-igm.univ-mlv.fr/~perrin/|Dominique PERRIN]], **Generating functions of timed languages**, //MFCS'12//.
/*
LNCS 7464,  p. 124-135, © Springer-Verlag, 2012, a long version [[http://hal.archives-ouvertes.fr/hal-00678443|hal-00678443]]
 */
  * N. Basset,[[http://www.liafa.univ-paris-diderot.fr/~asarin/|E. ASARIN]], **Thin and thick timed regular languages**, //FORMATS'11//, LNCS 6919, © Springer-Verlag,   2011, p.113-128,  [[http://www.springerlink.com/content/w65403231754t117/|DOI: 10.1007/978-3-642-24310-3_9]]

===Thèse===
  * Le manuscript est {{users:nbasset:these:thesenicolasbasset.pdf|ici}}.
  * Les transparents de la soutenance sont {{soutenance.pdf|ici}}.
  * Les rapport de soutenance et de pré-soutenance sont {{rapport_soutenance.pdf|ici}}.

===Rapports de stage===
   *[[Rapportm2.pdf|Dynamique symbolique des langages temporisés]] - M2 internship report (2009) with [[http://www.liafa.jussieu.fr/~asarin/|Eugène ASARIN]] //(LIAFA, Paris)//
   *[[users:nbasset:rapportm1.pdf|Sécurité des descripteur SIFT]] - M1 internship report (2008) with Ewa KIJAK //(INRIA, Rennes)//. 
   *[[users:nbasset:rapportl3.pdf|Minimization and learning in the class DWBA]] - L3 internship report (2007) with [[http://www4.in.tum.de/~leucker/|Martin LEUCKER]] //(T-U-MUNICH)//

===Article en cours de soumission===
B. Barbot, N. Basset, M. Beunardeau et [[http://www.cs.ox.ac.uk/marta.kwiatkowska/|M. Kwiatkowska]], **Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement**. Version soumise disponible {{unif-sampling-ta.pdf|ici}}.