Michel Blockelet

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 2

Top Topics

Programming Education

Mazurkiewicz Traces

Top Venues

Publications

Rémi Sharrock, Petra Bonfert-Taylor, Mathias Hiron, Michel Blockelet, Chris Miller, Michael Goudzwaard, Ella Hamonic
Teaching C Programming Interactively at Scale Using Taskgrader: an Open-source Autograder Tool. L@S (2019)
Marie-Pierre Béal, Michel Blockelet, Catalin Dima
Sofic-Dyck shifts. Theor. Comput. Sci. 609 (2016)
Marie-Pierre Béal, Michel Blockelet, Catalin Dima
Zeta functions of finite-type-Dyck shifts are N-algebraic. ITA (2014)
Marie-Pierre Béal, Michel Blockelet, Catalin Dima
Sofic-Dyck Shifts. MFCS (1) (2014)
Eugene Asarin, Michel Blockelet, Aldric Degorre, Catalin Dima, Chunyan Mu
Asymptotic behaviour in temporal logic. CSL-LICS (2014)
Marie-Pierre Béal, Michel Blockelet, Catalin Dima
Finite-type-Dyck shift spaces. CoRR (2013)
Marie-Pierre Béal, Michel Blockelet, Catalin Dima
Sofic-Dyck shifts. CoRR (2013)
Michel Blockelet, Sylvain Schmitz
Model Checking Coverability Graphs of Vector Addition Systems. MFCS (2011)