John Christopher McCabe-Dansted
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
5
Active years
2008–2016
Best venue rank
C
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | TIME | Modelling Systems over General Linear Time. | John Christopher McCabe-Dansted, Mark Reynolds, Tim French |
| 2015 | TABLEAUX | A Tableau for Bundled Strategies. | John Christopher McCabe-Dansted, Mark Reynolds |
| 2014 | TIME | Verification of Rewrite Rules for Computation Tree Logics. | John Christopher McCabe-Dansted, Mark Reynolds |
| 2014 | TIME | Fairness with EXPTIME Bundled CTL Tableau. | John Christopher McCabe-Dansted, Mark Reynolds |
| 2013 | LPAR | Verifying Temporal Properties in Real Models. | Tim French, John Christopher McCabe-Dansted, Mark Reynolds |
| 2013 | TABLEAUX | Model Checking General Linear Temporal Logic. | Tim French, John Christopher McCabe-Dansted, Mark Reynolds |
| 2013 | TIME | An Algebraic System of Temporal Structures. | Tim French, John Christopher McCabe-Dansted, Mark Reynolds |
| 2013 | TIME | Complexity of Model Checking over General Linear Time. | Tim French, John Christopher McCabe-Dansted, Mark Reynolds |
| 2012 | AiML | Synthesis for Temporal Logic over the Reals. | Tim French, John Christopher McCabe-Dansted, Mark Reynolds |
| 2012 | TIME | A Tableau for the Combination of CTL and BCTL*. | John Christopher McCabe-Dansted |
| 2010 | TIME | CTL-Like Fragments of a Temporal Logic of Robustness. | John Christopher McCabe-Dansted, Clare Dixon |
| 2009 | TIME | On the Expressivity of RoCTL*. | John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat |
| 2008 | JELIA | A Tableau for RoBCTL*. | John Christopher McCabe-Dansted |