Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision Les deux révisions suivantes
fr:research:publications [2024/02/12 10:20]
apeiron [Manuscrit de thèse]
fr:research:publications [2024/02/12 10:21]
apeiron [Séminaires]
Ligne 55: Ligne 55:
 ===== Séminaires ===== ===== Séminaires =====
  
-  * 2020 : //A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching// (Yoann Marquer, Tania Richmond), [[https://​www.lacl.fr/​fr/​|LACL]] Laboratoire d’Algorithmique,​ Complexité et Logique, [[fr:​research:​security#​securisation_logicielle_par_echelonnement|sécurisation logicielle]] +  * 2020 : //A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching// (**Yoann Marquer**, Tania Richmond), [[https://​www.lacl.fr/​fr/​|LACL]] Laboratoire d’Algorithmique,​ Complexité et Logique, [[fr:​research:​security#​securisation_logicielle_par_echelonnement|sécurisation logicielle]] 
-  * 2018 : //​Axiomatisation et caractérisation des algorithmes BSP// (Yoann Marquer, Frédéric Gava), [[https://​www.lacl.fr/​fr/​|LACL]] Laboratoire d’Algorithmique,​ Complexité et Logique, [[fr:​research:​models-computation#​algorithmes_paralleles|modèle de calcul parallèle]] +  * 2018 : //​Axiomatisation et caractérisation des algorithmes BSP// (**Yoann Marquer**, Frédéric Gava), [[https://​www.lacl.fr/​fr/​|LACL]] Laboratoire d’Algorithmique,​ Complexité et Logique, [[fr:​research:​models-computation#​algorithmes_paralleles|modèle de calcul parallèle]] 
-  * 2017 : //​Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial//​ (Yoann Marquer, Pierre Valarcher), [[https://​www.univ-orleans.fr/​lifo/​|LIFO]] Laboratoire d'​Informatique Fondamentale d'​Orléans,​ [[fr:​research:​models-computation#​algorithmes_sequentiels|modèle de calcul séquentiel]] +  * 2017 : //​Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial//​ (**Yoann Marquer**, Pierre Valarcher), [[https://​www.univ-orleans.fr/​lifo/​|LIFO]] Laboratoire d'​Informatique Fondamentale d'​Orléans,​ [[fr:​research:​models-computation#​algorithmes_sequentiels|modèle de calcul séquentiel]] 
-  * 2017 : //​Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial//​ (Yoann Marquer, Pierre Valarcher), [[https://​www.greyc.fr/​|GREYC]] Groupe de Recherche en Informatique,​ Image, Automatique et Instrumentation de Caen, [[fr:​research:​models-computation#​algorithmes_sequentiels|modèle de calcul séquentiel]] +  * 2017 : //​Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial//​ (**Yoann Marquer**, Pierre Valarcher), [[https://​www.greyc.fr/​|GREYC]] Groupe de Recherche en Informatique,​ Image, Automatique et Instrumentation de Caen, [[fr:​research:​models-computation#​algorithmes_sequentiels|modèle de calcul séquentiel]] 
-  * 2016 : //​Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial//​ (Yoann Marquer, Pierre Valarcher), [[https://​lipn.univ-paris13.fr/​fr/​|LIPN]] Laboratoire d'​Informatique de Paris Nord, [[fr:​research:​models-computation#​algorithmes_sequentiels|modèle de calcul séquentiel]] +  * 2016 : //​Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial//​ (**Yoann Marquer**, Pierre Valarcher), [[https://​lipn.univ-paris13.fr/​fr/​|LIPN]] Laboratoire d'​Informatique de Paris Nord, [[fr:​research:​models-computation#​algorithmes_sequentiels|modèle de calcul séquentiel]] 
-  * 2013 : //​Complétude algorithmique des langages impératifs//​ (Yoann Marquer, Pierre Valarcher), [[https://​www.lacl.fr/​fr/​|LACL]] Laboratoire d’Algorithmique,​ Complexité et Logique, [[fr:​research:​models-computation#​algorithmes_sequentiels|modèle de calcul séquentiel]]+  * 2013 : //​Complétude algorithmique des langages impératifs//​ (**Yoann Marquer**, Pierre Valarcher), [[https://​www.lacl.fr/​fr/​|LACL]] Laboratoire d’Algorithmique,​ Complexité et Logique, [[fr:​research:​models-computation#​algorithmes_sequentiels|modèle de calcul séquentiel]]
  
 ===== Exposés ===== ===== Exposés =====