Concepedia

John C. McCabe-Dansted

JC

Statistics

Publications

4

Citations

112

H-Index

4

Active since

2005

Affiliations

University of Auckland(Current)

John C. McCabe-Dansted is an author at University of Auckland specializing in computer science, temporal logic, and temporal logic specification.

ORCID

Publications per year

2005–2012

4

Publications

4

Approximability of Dodgson’s rule

John C. McCabe-Dansted, Geoffrey Pritchard, Arkadii Slinko · Social Choice and Welfare · 2007 · 47 citations

, , +4

Exploratory Analysis of Similarities Between Social Choice Rules

John C. McCabe-Dansted, Arkadii Slinko · Group Decision and Negotiation · 2005 · 33 citations

, , +13

A Temporal Logic of Robustness

Tim French, John C. McCabe-Dansted, Mark Reynolds · UWA Profiles and Research Repository (University of Western Australia) · 2007 · 20 citations

, , +12

Synthesis for Temporal Logic over the Reals

Tim French, John C. McCabe-Dansted, Mark Reynolds · UWA Profiles and Research Repository (University of Western Australia) · 2012 · 12 citations

, , +15

1–4 of 4