Follow
John McCabe-Dansted
John McCabe-Dansted
Verified email at uwa.edu.au
Title
Cited by
Cited by
Year
Approximability of Dodgson’s rule
JC McCabe-Dansted, G Pritchard, A Slinko
Social Choice and Welfare 31 (2), 311-330, 2008
692008
Exploratory analysis of similarities between social choice rules
JC McCabe-Dansted, A Slinko
Group Decision and Negotiation 15, 77-107, 2006
402006
Synthesis for temporal logic over the reals
T French, J McCabe-Dansted, M Reynolds
151998
A temporal logic of robustness
JC McCabe-Dansted, T French, M Reynolds
University of Western Australia, 2011
122011
Approximability and computational feasibility of Dodgson's rule
JC McCabe-Dansted
ResearchSpace@ Auckland, 2006
122006
A parallel linear temporal logic tableau
JC McCabe-Dansted, M Reynolds
arXiv preprint arXiv:1709.02101, 2017
112017
CTL-like fragments of a temporal logic of robustness
JC McCabe-Dansted, C Dixon
2010 17th International Symposium on Temporal Representation and Reasoning …, 2010
92010
A tableau for RoBCTL
JC McCabe-Dansted
Logics in Artificial Intelligence: 11th European Conference, JELIA 2008 …, 2008
92008
Nonconvergent electoral equilibria under scoring rules: Beyond plurality
D Cahan, A Slinko
Journal of Public Economic Theory 19 (2), 445-460, 2017
82017
A rooted tableau for BCTL
JC McCabe-Dansted
Electronic Notes in Theoretical Computer Science 278, 145-158, 2011
82011
On the expressivity of RoCTL
JC McCabe-Dansted, T French, M Reynolds, S Pinchinat
2009 16th International Symposium on Temporal Representation and Reasoning …, 2009
82009
Model checking general linear temporal logic
T French, J McCabe-Dansted, M Reynolds
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd …, 2013
62013
Feasibility and Approximability of Dodgson’s rule
JC McCabe-Dansted
Master's thesis, University of Auckland, 2006
62006
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
52013
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
52013
Verifying temporal properties in real models
T French, J McCabe-Dansted, M Reynolds
Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013
42013
A tableau for the combination of CTL and BCTL
JC McCabe-Dansted
2012 19th International Symposium on Temporal Representation and Reasoning …, 2012
42012
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
42010
Asymmetric equilibria in spatial competition under weakly concave scoring rules
D Cahan, J McCabe-Dansted, A Slinko
Economics Letters 167, 71-74, 2018
32018
Synthesis for continuous time
T French, J McCabe-Dansted, M Reynolds
Theoretical Computer Science 594, 201-222, 2015
32015
The system can't perform the operation now. Try again later.
Articles 1–20