Différences
Ci-dessous, les différences entre deux révisions de la page.
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:02] apeiron [Conférences internationales avec comité et actes publié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 ===== | ||
- | * 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 : //La résolvante de Galois// (Yoann Marquer, Vincent Cossart), [[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 : //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 master, [[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]] |
* 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]] | ||