| Approximability of Dodgson’s rule JC McCabe-Dansted, G Pritchard, A Slinko Social Choice and Welfare 31 (2), 311-330, 2008 | 69 | 2008 |
| Exploratory analysis of similarities between social choice rules JC McCabe-Dansted, A Slinko Group Decision and Negotiation 15, 77-107, 2006 | 40 | 2006 |
| Synthesis for temporal logic over the reals T French, J McCabe-Dansted, M Reynolds | 15 | 1998 |
| A temporal logic of robustness JC McCabe-Dansted, T French, M Reynolds University of Western Australia, 2011 | 12 | 2011 |
| Approximability and computational feasibility of Dodgson's rule JC McCabe-Dansted ResearchSpace@ Auckland, 2006 | 12 | 2006 |
| A parallel linear temporal logic tableau JC McCabe-Dansted, M Reynolds arXiv preprint arXiv:1709.02101, 2017 | 11 | 2017 |
| CTL-like fragments of a temporal logic of robustness JC McCabe-Dansted, C Dixon 2010 17th International Symposium on Temporal Representation and Reasoning …, 2010 | 9 | 2010 |
| A tableau for RoBCTL JC McCabe-Dansted Logics in Artificial Intelligence: 11th European Conference, JELIA 2008 …, 2008 | 9 | 2008 |
| Nonconvergent electoral equilibria under scoring rules: Beyond plurality D Cahan, A Slinko Journal of Public Economic Theory 19 (2), 445-460, 2017 | 8 | 2017 |
| A rooted tableau for BCTL JC McCabe-Dansted Electronic Notes in Theoretical Computer Science 278, 145-158, 2011 | 8 | 2011 |
| On the expressivity of RoCTL JC McCabe-Dansted, T French, M Reynolds, S Pinchinat 2009 16th International Symposium on Temporal Representation and Reasoning …, 2009 | 8 | 2009 |
| Model checking general linear temporal logic T French, J McCabe-Dansted, M Reynolds Automated Reasoning with Analytic Tableaux and Related Methods: 22nd …, 2013 | 6 | 2013 |
| Feasibility and Approximability of Dodgson’s rule JC McCabe-Dansted Master's thesis, University of Auckland, 2006 | 6 | 2006 |
| Complexity of model checking over general linear time T French, J McCabe-Dansted, M Reynolds 2013 20th International Symposium on Temporal Representation and Reasoning …, 2013 | 5 | 2013 |
| Indiscrete models: Model building and model checking over linear time T French, J McCabe-Dansted, M Reynolds Logic and Its Applications: 5th Indian Conference, ICLA 2013, Chennai, India …, 2013 | 5 | 2013 |
| Verifying temporal properties in real models T French, J McCabe-Dansted, M Reynolds Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013 | 4 | 2013 |
| A tableau for the combination of CTL and BCTL JC McCabe-Dansted 2012 19th International Symposium on Temporal Representation and Reasoning …, 2012 | 4 | 2012 |
| Axioms for obligation and robustness with temporal logic T French, JC McCabe-Dansted, M Reynolds International Conference on Deontic Logic in Computer Science, 66-83, 2010 | 4 | 2010 |
| Asymmetric equilibria in spatial competition under weakly concave scoring rules D Cahan, J McCabe-Dansted, A Slinko Economics Letters 167, 71-74, 2018 | 3 | 2018 |
| Synthesis for continuous time T French, J McCabe-Dansted, M Reynolds Theoretical Computer Science 594, 201-222, 2015 | 3 | 2015 |
