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 12:55] apeiron [Journaux] |
fr:research:publications [2021/04/07 13:01] apeiron [Conférences internationales avec comité et actes publiés] |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
====== Journaux ====== | ====== Journaux ====== | ||
- | * 2020 : //Axiomatization and Imperative Characterization of Multi-BSP Algorithms: A Q&A on a Partial Solution// (Frédéric Gava, Yoann Marquer), [[https://link.springer.com/article/10.1007/s10766-020-00669-9|IJPP]] International Journal of Parallel Programming ([[http://portal.core.edu.au/jnl-ranks/452/|Rang B]]), [[https://hal.archives-ouvertes.fr/hal-03189898v1|HAL 03189898]], [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] | + | * 2020 : //Axiomatization and Imperative Characterization of Multi-BSP Algorithms: A Q&A on a Partial Solution// (Frédéric Gava, Yoann Marquer), [[https://link.springer.com/article/10.1007/s10766-020-00669-9|IJPP]] International Journal of Parallel Programming ([[http://portal.core.edu.au/jnl-ranks/452/|Rang B]]), [[https://hal.archives-ouvertes.fr/hal-03189898|HAL 03189898]], [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] |
* 2019 : //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]]), [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] | * 2019 : //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]]), [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] | ||
- | * 2019 : //Algorithmic Completeness of Imperative Programming Languages// (Yoann Marquer), [[https://content.iospress.com/articles/fundamenta-informaticae/fi1824|FI]] Fundamenta Informaticae ([[http://portal.core.edu.au/jnl-ranks/301/|Rang B]]), [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] | + | * 2019 : //Algorithmic Completeness of Imperative Programming Languages// (Yoann Marquer), [[https://content.iospress.com/articles/fundamenta-informaticae/fi1824|FI]] Fundamenta Informaticae ([[http://portal.core.edu.au/jnl-ranks/301/|Rang B]]), [[https://hal.archives-ouvertes.fr/hal-02524486|HAL 02524486]], [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] |
* 2016 : //An Imperative Language Characterizing PTIME Algorithms// (Yoann Marquer, Pierre Valarcher)), [[https://web.stanford.edu/group/cslipublications/cslipublications/site/9781575869537.shtml#|CSLI Publications]] Studies in Weak Arithmetics (non classé), [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] | * 2016 : //An Imperative Language Characterizing PTIME Algorithms// (Yoann Marquer, Pierre Valarcher)), [[https://web.stanford.edu/group/cslipublications/cslipublications/site/9781575869537.shtml#|CSLI Publications]] Studies in Weak Arithmetics (non classé), [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] | ||
Ligne 11: | Ligne 11: | ||
===== Conférences internationales avec comité et actes publiés ===== | ===== Conférences internationales avec comité et actes publiés ===== | ||
- | * 2020 : //A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching// (Yoann Marquer, Tania Richmond), [[http://arith2020.arithsymposium.org|ARITH]] 27th IEEE International Symposium on Computer Arithmetic ([[https://www.gdr-soc.cnrs.fr/conferences/|Rang A]]), [[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), [[http://arith2020.arithsymposium.org|ARITH]] 27th IEEE International Symposium on Computer Arithmetic ([[https://www.gdr-soc.cnrs.fr/conferences/|Rang A]]), [[https://hal.archives-ouvertes.fr/hal-02889212|HAL 02889212]], [[fr:research:security#securisation_logicielle_par_echelonnement|sécurisation logicielle]] |
- | * 2019 : //Type-Driven Verification of Non-functional Properties// (Christopher Brown, Adam Barwell, Yoann Marquer, Céline Minh, Olivier Zendra), [[http://ppdp2019.macs.hw.ac.uk|PPDP]] 21st International Symposium on Principles and Practice of Programming Languages 2019 ([[http://portal.core.edu.au/conf-ranks/1176/|Rang B]]), [[fr:research:security#expression_et_contrats_des_proprietes_extra-fonctionnelles|expressivité et contrats]] | + | * 2019 : //Type-Driven Verification of Non-functional Properties// (Christopher Brown, Adam Barwell, Yoann Marquer, Céline Minh, Olivier Zendra), [[http://ppdp2019.macs.hw.ac.uk|PPDP]] 21st International Symposium on Principles and Practice of Programming Languages 2019 ([[http://portal.core.edu.au/conf-ranks/1176/|Rang B]]), [[https://hal.archives-ouvertes.fr/hal-02314723|HAL 02314723]], [[fr:research:security#expression_et_contrats_des_proprietes_extra-fonctionnelles|expressivité et contrats]] |
* 2018 : //An Axiomatization for BSP Algorithms// (Yoann Marquer, Frédéric Gava), [[http://nsclab.org/ica3pp2018/index.html|ICA3PP]] 18th International Conference on Algorithms and Architectures for Parallel Processing ([[http://portal.core.edu.au/conf-ranks/905/|Rang B]]), [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] | * 2018 : //An Axiomatization for BSP Algorithms// (Yoann Marquer, Frédéric Gava), [[http://nsclab.org/ica3pp2018/index.html|ICA3PP]] 18th International Conference on Algorithms and Architectures for Parallel Processing ([[http://portal.core.edu.au/conf-ranks/905/|Rang B]]), [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] | ||
* 2018 : //Algorithmic Completeness for BSP Languages// (Yoann Marquer, Frédéric Gava), [[http://hpcs2018.cisedu.info|HPCS]] The 2018 International Conference on High Performance Computing and Simulation ([[http://portal.core.edu.au/conf-ranks/653/|Rang B]]), [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] | * 2018 : //Algorithmic Completeness for BSP Languages// (Yoann Marquer, Frédéric Gava), [[http://hpcs2018.cisedu.info|HPCS]] The 2018 International Conference on High Performance Computing and Simulation ([[http://portal.core.edu.au/conf-ranks/653/|Rang B]]), [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] |