Michel Blockelet

According to our database, Michel Blockelet authored at least 6 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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

Proceedings of the Sixth ACM Conference on Learning @ Scale, 2019

2016

Sofic-Dyck shifts.

Marie-Pierre Béal, Michel Blockelet, Catalin Dima

Theor. Comput. Sci., 2016

2014

Zeta functions of finite-type-Dyck shifts are N-algebraic.

Marie-Pierre Béal, Michel Blockelet, Catalin Dima

Proceedings of the 2014 Information Theory and Applications Workshop, 2014

Asymptotic behaviour in temporal logic.

Eugene Asarin, Michel Blockelet, Aldric Degorre, Catalin Dima, Chunyan Mu

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

Finite-type-Dyck shift spaces.

Marie-Pierre Béal, Michel Blockelet, Catalin Dima

CoRR, 2013

2011

Model Checking Coverability Graphs of Vector Addition Systems.

Michel Blockelet, Sylvain Schmitz

Proceedings of the Mathematical Foundations of Computer Science 2011, 2011