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
Révision précédente
Prochaine révision Les deux révisions suivantes
fr:research:publications [2021/04/07 13:07]
apeiron [Exposés]
fr:research:publications [2024/02/08 10:53]
apeiron
Ligne 1: Ligne 1:
 +====== Publications caractéristiques ======
 +
 +  * Axiomatization and characterization of BSP algorithms//​ (Yoann Marquer, Frédéric Gava), [[https://​www.sciencedirect.com/​science/​article/​abs/​pii/​S2352220818301354|JLAMP]] Journal of Logical and Algebraic Methods in Programming ([[http://​portal.core.edu.au/​jnl-ranks/​80/​|Rang B]]), 2019
 +
 +
 ====== Journaux ====== ====== Journaux ======
  
Ligne 51: Ligne 56:
 ===== Exposés ===== ===== Exposés =====
  
-  * 2015 : //​Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial//​ (Yoann Marquer, Pierre Valarcher), soutenance de thèse,+  * 2015 : //​Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial//​ (Yoann Marquer, Pierre Valarcher), soutenance de thèse, ​[[fr:​research:​models-computation#​algorithmes_sequentiels|modèle de calcul séquentiel]]
   * 2011 : //​Réalisabilité en logique classique// (Yoann Marquer, Jean-Louis Krivine), stage de M2, [[fr:​research:​models-computation#​realisabilite_classique|opérateurs de contrôle]]   * 2011 : //​Réalisabilité en logique classique// (Yoann Marquer, Jean-Louis Krivine), stage de M2, [[fr:​research:​models-computation#​realisabilite_classique|opérateurs de contrôle]]
   * 2011 : //La résolvante de Galois// (Yoann Marquer, Vincent Cossart), projet de M1, [[http://​lmv.math.cnrs.fr/​evenements-scientifiques/​journees-mathematiques-des-20-ans|Journées Mathématiques]] des 20 ans de l'​UVSQ,​ [[fr:​research:​archives#​resolvante_de_galois|théorie de Galois]]   * 2011 : //La résolvante de Galois// (Yoann Marquer, Vincent Cossart), projet de M1, [[http://​lmv.math.cnrs.fr/​evenements-scientifiques/​journees-mathematiques-des-20-ans|Journées Mathématiques]] des 20 ans de l'​UVSQ,​ [[fr:​research:​archives#​resolvante_de_galois|théorie de Galois]]
   * 2009 : //Les théorèmes d’incomplétude de Gödel// (Yoann Marquer, Martin Andler), projet de licence, [[fr:​research:​archives#​theoremes_de_goedel|systèmes de preuve]]   * 2009 : //Les théorèmes d’incomplétude de Gödel// (Yoann Marquer, Martin Andler), projet de licence, [[fr:​research:​archives#​theoremes_de_goedel|systèmes de preuve]]