Thomas Gibson-Robinson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2014–2017
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | TACAS | The Automatic Detection of Token Structures and Invariants Using SAT Checking. | Pedro R. G. Antonino, Thomas Gibson-Robinson, A. W. Roscoe |
| 2016 | FM | Tighter Reachability Criteria for Deadlock-Freedom Analysis. | Pedro R. G. Antonino, Thomas Gibson-Robinson, A. W. Roscoe |
| 2016 | IFM | Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving. | Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe |
| 2014 | ICFEM | Computing Maximal Bisimulations. | Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe |
| 2014 | PST | Inferring social relationships from technology-level device connections. | Jason R. C. Nurse, Jess Pumphrey, Thomas Gibson-Robinson, Michael Goldsmith, Sadie Creese |
| 2014 | TACAS | FDR3 - A Modern Refinement Checker for CSP. | Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe |