Pedro R. G. Antonino
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2013–2017
Best venue rank
B
Where they publish
Papers
4 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 |
| 2014 | FM | A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes. | Pedro R. G. Antonino, Augusto Sampaio, Jim Woodcock |
| 2013 | ICFEM | Algebraic Laws for Process Subtyping. | Jos Dihego, Pedro R. G. Antonino, Augusto Sampaio |