Alexandre Boulgakov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2014–2014
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ICFEM | Computing Maximal Bisimulations. | Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe |
| 2014 | TACAS | FDR3 - A Modern Refinement Checker for CSP. | Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe |