John Christopher McCabe-Dansted

28 papers B 5C 8Journal 9Unranked 6

Year	Rank	Type	Title / Venue / Authors
2017	—	`conf`	A Parallel Linear Temporal Logic Tableau. GandALF John Christopher McCabe-Dansted, Mark Reynolds
2017	J	`jnl`	Rewrite rules for CTL. J. Appl. Log. John Christopher McCabe-Dansted, Mark Reynolds
2017	J	`jnl`	To be fair, use bundles. Ann. Math. Artif. Intell. John Christopher McCabe-Dansted, Mark Reynolds
2016	J	`jnl`	A complete axiomatization of a temporal logic with obligation and robustness. J. Log. Comput. Tim French, John Christopher McCabe-Dansted, Mark Reynolds
2016	C	`conf`	Modelling Systems over General Linear Time. TIME John Christopher McCabe-Dansted, Mark Reynolds, Tim French
2015	B	`conf`	A Tableau for Bundled Strategies. TABLEAUX John Christopher McCabe-Dansted, Mark Reynolds
2015	J	`jnl`	Expressiveness and succinctness of a logic of robustness. J. Appl. Non Class. Logics John Christopher McCabe-Dansted, Tim French, Sophie Pinchinat, Mark Reynolds
2015	J	`jnl`	Synthesis for continuous time. Theor. Comput. Sci. Tim French, John Christopher McCabe-Dansted, Mark Reynolds
2014	C	`conf`	Fairness with EXPTIME Bundled CTL Tableau. TIME John Christopher McCabe-Dansted, Mark Reynolds
2014	C	`conf`	Verification of Rewrite Rules for Computation Tree Logics. TIME John Christopher McCabe-Dansted, Mark Reynolds
2013	C	`conf`	An Algebraic System of Temporal Structures. TIME Tim French, John Christopher McCabe-Dansted, Mark Reynolds
2013	C	`conf`	Complexity of Model Checking over General Linear Time. TIME Tim French, John Christopher McCabe-Dansted, Mark Reynolds
2013	—	`conf`	Indiscrete Models: Model Building and Model Checking over Linear Time. ICLA Tim French, John Christopher McCabe-Dansted, Mark Reynolds
2013	B	`conf`	Model Checking General Linear Temporal Logic. TABLEAUX Tim French, John Christopher McCabe-Dansted, Mark Reynolds
2013	J	`jnl`	Nonconvergent Electoral Equilibria under Scoring Rules: Beyond Plurality CoRR Dodge Cahan, John Christopher McCabe-Dansted, Arkadii M. Slinko
2013	J	`jnl`	Specifying Robustness. CoRR John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat
2013	B	`conf`	Verifying Temporal Properties in Real Models. LPAR Tim French, John Christopher McCabe-Dansted, Mark Reynolds
2012	C	`conf`	A Tableau for the Combination of CTL and BCTL*. TIME John Christopher McCabe-Dansted
2012	B	`conf`	Synthesis for Temporal Logic over the Reals. Advances in Modal Logic Tim French, John Christopher McCabe-Dansted, Mark Reynolds
2011	—	`conf`	A Rooted Tableau for BCTL*. M4M/LAMAS John Christopher McCabe-Dansted
2011	—	`conf`	On the Succinctness of RoCTL*. CATS John Christopher McCabe-Dansted
2010	—	`conf`	Axioms for Obligation and Robustness with Temporal Logic. DEON Tim French, John Christopher McCabe-Dansted, Mark Reynolds
2010	C	`conf`	CTL-Like Fragments of a Temporal Logic of Robustness. TIME John Christopher McCabe-Dansted, Clare Dixon
2010	J	`jnl`	Dodgson's Rule Approximations and Absurdity CoRR John Christopher McCabe-Dansted
2009	C	`conf`	On the Expressivity of RoCTL*. TIME John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat
2008	B	`conf`	A Tableau for RoBCTL*. JELIA John Christopher McCabe-Dansted
2008	J	`jnl`	Approximability of Dodgson's rule. Soc. Choice Welf. John Christopher McCabe-Dansted, Geoffrey Pritchard, Arkadii M. Slinko
2007	—	`conf`	A Temporal Logic of Robustness. FroCoS Tim French, John Christopher McCabe-Dansted, Mark Reynolds