HERE, you can find algorithms for Counting and generating permutations with signature in a given regular language.
These algorithms are presented in a submitted paper to MFCS 2013: Counting and generating permutations using timed languages.
A long version of this paper is available on-line hal-00820373

Nicolas BASSET Doctorant, LIGM Marne La Vallée - LIAFA Paris 13 Moniteur, Université Paris Est

Adresse : 37 Grande Rue Appartement 7 77200 TORCY Email : nbasset@liafa.univ-paris-diderot.fr Téléphone : +33681293253

J'effectue depuis Septembre 2010 mon doctorat sous la co-direction de Eugène ASARIN et de Dominique PERRIN.
Dans le cadre du projet EQINOCS (ANR-11-BS02-004), je travaille à la mise au point d'une théorie des codes temporisés, notamment avec Eugène ASARIN et Aldric DEGORRE du LIAFA et avec Marie-Pierre BEAL et Dominique PERRIN du LIGM.

Mon CV est ici.

Thèmes de recherches

• Dynamique symbolique et codage
  
  
• Automates temporisés
  
  
• Entropie des langages temporisés
  

Publications

• Conférences Internationales
  
  
  1. N. Basset, A stochastic process for a timed automaton, ICALP'13, LNCS, Best student paper award (track B), a long version hal-00808909
  
  
  2. E. Asarin, N. Basset, M.-P. Béal, Aldric DEGORRE, Dominique PERRIN, Toward a timed theory of channel coding, FORMATS'12, LNCS 7595, 27-42,  p. 124-135, © Springer-Verlag, 2012, DOI: 10.1007/978-3-642-33365-1_4
  
  
  3. E. ASARIN, N. Basset, Aldric DEGORRE, Dominique PERRIN, Generating functions of timed languages MFCS'12, LNCS 7464, p. 124-135, © Springer-Verlag, 2012, a long version hal-00678443
  
  
  4. N. Basset,E. ASARIN, Thin and thick timed regular languages, FORMATS'11, LNCS 6919, © Springer-Verlag, 2011, p.113-128, DOI: 10.1007/978-3-642-24310-3_9
  
  
• Rapports de Stages
  
  
  
  • Dynamique symbolique des langages temporisés - Stage de M2 (2009) sous la direction de Eugène ASARIN (LIAFA, Paris)
  
  
  • Sécurité des descripteur SIFT - Stage de M1 (2008) sous la direction de Ewa KIJAK (INRIA, Rennes).
  
  
  • Minimization and learning in the class DWBA - Stage de licence (2007) sous la direction de Martin LEUCKER (T-U-MUNICH)

Exposés

Janvier 2013	Timed dynamic symbolic	Eqinocs Meeting (Verimag), Grenoble
Décembre 2012	Un processus stochastique d'entropie maximale pour un automate temporisé	Séminaire algo (LIGM), Champs-sur-Marne
Juin 2012	L'entropie des langages temporisés réguliers	Journée des doctorants (ESIEE Cité Descartes Amphi 160), Champs-sur-Marne
Juin 2012	Codes temporisés	Réunion "EQUINOCS" (LACL), Créteil
Avril 2012	Systèmes dynmiques temporisés et mesure d'entropie maximale	Réunion "EQUINOCS et théorie ergodique" (LIAFA), Paris
Janvier 2012	L'entropie des langages temporisés réguliers	Séminaire des doctorants (Université de Marne-la-vallée), Créteil
Septembre 2011	Thin and thick timed regular languages	Conférence FORMATS 2011, AAlborg, Dannemark
Septembre 2010	Dynamique symbolique des langages temporisés	Soutenance de M2 (MPRI), Paris
Septembre 2009	Sécurité des descripteur SIFT	Soutenance de M1 (MPRI), Paris
Septembre 2008	Minimization and learning in the class DWBA	Soutenance de L3 (MPRI), Paris

Enseignements

2010 – 2012	TD d'informatique à l'Université Paris-Est, Marne-La-Vallée
2009 – 2010	Colles de mathématiques en PCSI au lycée Vincent RASPAIL, PARIS

Quelques photos

• Sonia


• Gaël


• Eve


• Qu'ils sont sages !


• Sonia, Gaël et moi


• Le petit train


• Ma clarinette