Michel Blockelet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2011–2014
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | CSL | Asymptotic behaviour in temporal logic. | Eugene Asarin, Michel Blockelet, Aldric Degorre, Catalin Dima, Chunyan Mu |
| 2014 | ITA | Zeta functions of finite-type-Dyck shifts are N-algebraic. | Marie-Pierre Bal, Michel Blockelet, Catalin Dima |
| 2014 | MFCS | Sofic-Dyck Shifts. | Marie-Pierre Bal, Michel Blockelet, Catalin Dima |
| 2011 | MFCS | Model Checking Coverability Graphs of Vector Addition Systems. | Michel Blockelet, Sylvain Schmitz |