7 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.LO2017★ 7 cited
A Parallel Linear Temporal Logic Tableau
John C. McCabe-Dansted, Mark Reynolds
For many applications, we are unable to take full advantage of the potential massive parallelisation offered by supercomputers or cloud computing because it is too hard to work out…
cs.GT2013
Nonconvergent Electoral Equilibria under Scoring Rules: Beyond Plurality
Dodge Cahan, John McCabe-Dansted, Arkadii Slinko
We use Hotelling's spatial model of competition to investigate the position-taking behaviour of political candidates under a class of electoral systems known as scoring rules. In a…