Model Checking Coverability Graphs of Vector Addition Systems. - Michel Blockelet; Sylvain Schmitz (MFCS, 2011)

Finite-type-Dyck shift spaces. - Marie-Pierre Béal; Michel Blockelet; Catalin Dima (CoRR, 2013)

Asymptotic behaviour in temporal logic. - Eugene Asarin; Michel Blockelet; Aldric Degorre; Catalin Dima; Chunyan Mu (CSL-LICS, 2014)

Zeta functions of finite-type-Dyck shifts are N-algebraic. - Marie-Pierre Béal; Michel Blockelet; Catalin Dima (ITA, 2014)

Sofic-Dyck shifts. - Marie-Pierre Béal; Michel Blockelet; Catalin Dima (Theor. Comput. Sci., 2016)

Teaching C Programming Interactively at Scale Using Taskgrader: an Open-source Autograder Tool. - Rémi Sharrock; Petra Bonfert-Taylor; Mathias Hiron; Michel Blockelet; Chris Miller; Michael Goudzwaard; Ella Hamonic (L@S, 2019)