Alexandre Boulgakov

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 2

Top Topics

Decomposition Method

Constraint Programming

Partial Constraint Satisfaction

Distributed Memory Machines

Top Venues

Formal Aspects Comput.

Int. J. Softw. Tools Technol. Transf.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe
FDR3: a parallel refinement checker for CSP. Int. J. Softw. Tools Technol. Transf. 18 (2) (2016)
Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe
Computing maximal weak and other bisimulations. Formal Aspects Comput. 28 (3) (2016)
Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe
FDR3 - A Modern Refinement Checker for CSP. TACAS (2014)
Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe
Computing Maximal Bisimulations. ICFEM (2014)