A Temporal Logic of Robustness. - Tim French 002; John Christopher McCabe-Dansted; Mark Reynolds 001 (FroCoS, 2007)

A Tableau for RoBCTL*. - John Christopher McCabe-Dansted (JELIA, 2008)

Approximability of Dodgson's rule. - John Christopher McCabe-Dansted; Geoffrey Pritchard; Arkadii M. Slinko (Soc. Choice Welf., 2008)

On the Expressivity of RoCTL*. - John Christopher McCabe-Dansted; Tim French 002; Mark Reynolds 001; Sophie Pinchinat (TIME, 2009)

Axioms for Obligation and Robustness with Temporal Logic. - Tim French 002; John Christopher McCabe-Dansted; Mark Reynolds 001 (DEON, 2010)

CTL-Like Fragments of a Temporal Logic of Robustness. - John Christopher McCabe-Dansted; Clare Dixon (TIME, 2010)

Dodgson's Rule Approximations and Absurdity - John Christopher McCabe-Dansted (CoRR, 2010)

On the Succinctness of RoCTL*. - John Christopher McCabe-Dansted (CATS, 2011)

A Rooted Tableau for BCTL*. - John Christopher McCabe-Dansted (M4M/LAMAS, 2011)

Synthesis for Temporal Logic over the Reals. - Tim French 002; John Christopher McCabe-Dansted; Mark Reynolds 001 (Advances in Modal Logic, 2012)

A Tableau for the Combination of CTL and BCTL*. - John Christopher McCabe-Dansted (TIME, 2012)

Indiscrete Models: Model Building and Model Checking over Linear Time. - Tim French 002; John Christopher McCabe-Dansted; Mark Reynolds 001 (ICLA, 2013)

Verifying Temporal Properties in Real Models. - Tim French 002; John Christopher McCabe-Dansted; Mark Reynolds 001 (LPAR, 2013)

Model Checking General Linear Temporal Logic. - Tim French 002; John Christopher McCabe-Dansted; Mark Reynolds 001 (TABLEAUX, 2013)

An Algebraic System of Temporal Structures. - Tim French 002; John Christopher McCabe-Dansted; Mark Reynolds 001 (TIME, 2013)

Complexity of Model Checking over General Linear Time. - Tim French 002; John Christopher McCabe-Dansted; Mark Reynolds 001 (TIME, 2013)

Specifying Robustness. - John Christopher McCabe-Dansted; Tim French 002; Mark Reynolds 001; Sophie Pinchinat (CoRR, 2013)

Nonconvergent Electoral Equilibria under Scoring Rules: Beyond Plurality - Dodge Cahan; John Christopher McCabe-Dansted; Arkadii M. Slinko (CoRR, 2013)

Verification of Rewrite Rules for Computation Tree Logics. - John Christopher McCabe-Dansted; Mark Reynolds 001 (TIME, 2014)

Fairness with EXPTIME Bundled CTL Tableau. - John Christopher McCabe-Dansted; Mark Reynolds 001 (TIME, 2014)

A Tableau for Bundled Strategies. - John Christopher McCabe-Dansted; Mark Reynolds 001 (TABLEAUX, 2015)

Expressiveness and succinctness of a logic of robustness. - John Christopher McCabe-Dansted; Tim French 002; Sophie Pinchinat; Mark Reynolds 001 (J. Appl. Non Class. Logics, 2015)

Synthesis for continuous time. - Tim French 002; John Christopher McCabe-Dansted; Mark Reynolds 001 (Theor. Comput. Sci., 2015)

Modelling Systems over General Linear Time. - John Christopher McCabe-Dansted; Mark Reynolds 001; Tim French 002 (TIME, 2016)

A complete axiomatization of a temporal logic with obligation and robustness. - Tim French 002; John Christopher McCabe-Dansted; Mark Reynolds 001 (J. Log. Comput., 2016)

To be fair, use bundles. - John Christopher McCabe-Dansted; Mark Reynolds 001 (Ann. Math. Artif. Intell., 2017)

A Parallel Linear Temporal Logic Tableau. - John Christopher McCabe-Dansted; Mark Reynolds 001 (GandALF, 2017)

Rewrite rules for CTL. - John Christopher McCabe-Dansted; Mark Reynolds 001 (J. Appl. Log., 2017)