2020 : Axiomatization and Imperative Characterization of Multi-BSP Algorithms: A Q&A on a Partial Solution (Frédéric Gava, Yoann Marquer), IJPP International Journal of Parallel Programming (Rang B), modèle de calcul parallèle

2019 : Axiomatization and characterization of BSP algorithms (Yoann Marquer, Frédéric Gava), JLAMP Journal of Logical and Algebraic Methods in Programming (Rang B), modèle de calcul parallèle

2019 : Algorithmic Completeness of Imperative Programming Languages (Yoann Marquer), FI Fundamenta Informaticae (Rang B), modèle de calcul séquentiel

2016 : An Imperative Language Characterizing PTIME Algorithms (Yoann Marquer, Pierre Valarcher)), CSLI Publications Studies in Weak Arithmetics (non classé), modèle de calcul séquentiel

2020 : A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching (Yoann Marquer, Tania Richmond), ARITH 27th IEEE International Symposium on Computer Arithmetic (Rang A), sécurisation logicielle

2019 : Type-Driven Verification of Non-functional Properties (Christopher Brown, Adam Barwell, Yoann Marquer, Céline Minh, Olivier Zendra), PPDP 21st International Symposium on Principles and Practice of Programming Languages 2019 (Rang B), expressivité et contrats

2018 : An Axiomatization for BSP Algorithms (Yoann Marquer, Frédéric Gava), ICA3PP 18th International Conference on Algorithms and Architectures for Parallel Processing (Rang B), modèle de calcul parallèle

2018 : Algorithmic Completeness for BSP Languages (Yoann Marquer, Frédéric Gava), HPCS The 2018 International Conference on High Performance Computing and Simulation (Rang B), modèle de calcul parallèle