Edit Profile Blockelet, Michel Compute Distance To: Compute Author ID: blockelet.michel Published as: Blockelet, Michel Documents Indexed: 4 Publications since 2011 all top 5 Co-Authors 0 single-authored 3 Dima, Cătălin 2 Béal, Marie-Pierre 1 Asarin, Eugene 1 Degorre, Aldric 1 Mu, Chunyan 1 Schmitz, Sylvain Serials 1 Theoretical Computer Science Fields 4 Computer science (68-XX) 2 Dynamical systems and ergodic theory (37-XX) 1 Mathematical logic and foundations (03-XX) Publications by Year Citations contained in zbMATH 3 Publications have been cited 12 times in 11 Documents Cited by ▼ Year ▼ Model checking coverability graphs of vector addition systems. Zbl 1343.68152Blockelet, Michel; Schmitz, Sylvain 7 2011 Sofic-Dyck shifts. Zbl 1425.68178Béal, Marie-Pierre; Blockelet, Michel; Dima, Cătălin 3 2014 Sofic-Dyck shifts. Zbl 1331.68123Béal, Marie-Pierre; Blockelet, Michel; Dima, Cǎtǎlin 2 2016 Sofic-Dyck shifts. Zbl 1331.68123Béal, Marie-Pierre; Blockelet, Michel; Dima, Cǎtǎlin 2 2016 Sofic-Dyck shifts. Zbl 1425.68178Béal, Marie-Pierre; Blockelet, Michel; Dima, Cătălin 3 2014 Model checking coverability graphs of vector addition systems. Zbl 1343.68152Blockelet, Michel; Schmitz, Sylvain 7 2011 all top 5 Cited by 18 Authors 4 Schmitz, Sylvain 3 Béal, Marie-Pierre 2 Alechina, Natasha 2 Bulling, Nils 2 Chambart, Pierre 2 Demri, Stéphane P. 2 Finkel, Alain 2 Heller, Pavel 2 Logan, Brian 1 Blockelet, Michel 1 Dima, Cătălin 1 Hofman, Piotr 1 Krieger, Wolfgang 1 Lasota, Sławomir 1 Lazić, Ranko 1 Leroux, Jérôme 1 Nguyen, Hoang Nga 1 Totzke, Patrick Cited in 5 Serials 4 Theoretical Computer Science 1 Artificial Intelligence 1 Journal of Computer and System Sciences 1 Ergodic Theory and Dynamical Systems 1 ACM Transactions on Computation Theory Cited in 4 Fields 10 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 3 Dynamical systems and ergodic theory (37-XX) 1 General topology (54-XX) Citations by Year