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 [2024/02/11 18:59] apeiron [Rapports techniques] |
fr:research:publications [2024/02/12 10:21] apeiron [Séminaires] |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
====== Publications caractéristiques ====== | ====== 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]] ([[http://portal.core.edu.au/jnl-ranks/80/|Rang B]]) 2019 : {{ :fr:research:paperbsp.pdf | téléchargement}} | ||
* //A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching// (**Yoann Marquer**, Tania Richmond), [[http://arith2020.arithsymposium.org|ARITH]] ([[https://www.gdr-soc.cnrs.fr/conferences/|Rang A]]) 2020, {{ :fr:research:paperladder.pdf |téléchargement}} | * //A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching// (**Yoann Marquer**, Tania Richmond), [[http://arith2020.arithsymposium.org|ARITH]] ([[https://www.gdr-soc.cnrs.fr/conferences/|Rang A]]) 2020, {{ :fr:research:paperladder.pdf |téléchargement}} | ||
+ | * //Axiomatization and characterization of BSP algorithms// (**Yoann Marquer**, Frédéric Gava), [[https://www.sciencedirect.com/science/article/abs/pii/S2352220818301354|JLAMP]] ([[http://portal.core.edu.au/jnl-ranks/80/|Rang B]]) 2019 : {{ :fr:research:paperbsp.pdf | téléchargement}} | ||
Ligne 48: | Ligne 48: | ||
===== Manuscrit de thèse ===== | ===== Manuscrit de thèse ===== | ||
- | * 2015 : //Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial// (Yoann Marquer), [[https://hal.archives-ouvertes.fr/tel-01280467|HAL 01280467]], [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] | + | * 2015 : //Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial// (**Yoann Marquer**), [[https://hal.archives-ouvertes.fr/tel-01280467|HAL 01280467]], [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] |
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 ===== |