Fiche de GENESTIER Richard
GENESTIER Richard
Combinatoire - Réseaux / Enseignant - Chercheur
| Adresse : | Universite de BOURGOGNE, UFR Sciences et Techniques -Sciences de l'ingénieur - 9 avenur Alain Savary -21000 Dijon |
| Tél. : | (+33) 3 80 39 50 00 (pas de ligne directe) |
| E-mail : | Richard.Genestier@u-bourgogne.fr |
| Equipe : | Combinatoire - Réseaux |
| Fonction : | Enseignant chercheur |
| Statut : | PRCE |
- Travaux de recherche passés
- Enseignements dispensés
- Publications
Travaux de recherche passés
Travail de recherche en partenariat avec J.L. Baril (statistiques sur des structures combinatoires)
Enseignements dispensés
L1R : Initiation à l’algorithmique, TD
L1 : Initiation à la programmation en Java, TD, TP
Langages web, TD, TP
Programmation orientée objet, TD, TP
Interfaces visuelles, TD, TP
L2 : Fondements de l’informatique, TP
Culture numérique, CM, TP
L3 : Conception et développement avancé d’applications, TD, TP
M1 : Gestion de données, TD, TP
Publications
Jean-Luc Baril, Richard Genestier, Sergey Kirgizov. Pattern distributions in Dyck paths with a first return decomposition constrained by height. Discrete Mathematics, 2020, ⟨10.1016/j.disc.2020.111995⟩. ⟨hal-02639964⟩
Richard Genestier, Alain Giorgetti, Guiillaume Petiot. Gagnez sur tous les tableaux. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Val d'Ajol, France. ⟨hal-03221932⟩
Richard Genestier. Vérification formelle de programmes de génération de données structurées. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France. ⟨hal-02991582⟩
Jean-Luc Baril, Richard Genestier, Alain Giorgetti, Armen Petrossian. Rooted planar maps modulo some patterns. Discrete Mathematics, 2016, 339 (4), pp.1199 - 1205. ⟨10.1016/j.disc.2015.11.007⟩. ⟨hal-02131164⟩
Richard Genestier, Alain Giorgetti. Spécification et vérification formelle d’opérations sur les permutations. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France. ⟨hal-02131148⟩
Catherine Dubois, Alain Giorgetti, Richard Genestier. Tests and proofs for enumerative combinatorics. TAP 2016: International Conference on Tests and Proofs, Jul 2016, Vienna, Austria. pp.57-75, ⟨10.1007/978-3-319-41135-4_4⟩. ⟨hal-01670709⟩
Richard Genestier. Vérification formelle de programmes de génération de données structurées. Performance et fiabilité [cs.PF]. Université de Franche-Comté, 2016. Français. ⟨NNT : 2016BESA2041⟩. ⟨tel-01446896v2⟩
Richard Genestier, Alain Giorgetti, Guillaume Petiot. Sequential generation of structured arrays and its deductive verification. TAP 2015, 9th Int. Conf. of Tests and Proofs, 2015, L'Aquila, Italy. pp.109--128. ⟨hal-01228995⟩
Richard Genestier, Alain Giorgetti, Guillaume Petiot. Gagnez sur tous les tableaux. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. ⟨hal-01099135v2⟩