×
Edit Profile (opens in new tab)

McCabe-Dansted, John Christopher

Co-Author Distance
Author ID: mccabe-dansted.john-christopher Recent zbMATH articles by "McCabe-Dansted, John Christopher"
Published as: McCabe-Dansted, John; McCabe-Dansted, John C.; Mccabe-Dansted, John C.; McCabe-Dansted, John Christopher; Mc Cabe-Dansted, John C.; Mccabe-Dansted, John
External Links: ORCID
Documents Indexed: 19 Publications since 2007, including 1 Additional arXiv Preprint
Co-Authors: 8 Co-Authors with 16 Joint Publications
179 Co-Co-Authors
all top 5

Co-Authors

3 single-authored
14 Reynolds, Mark Alexander
10 French, Tim
2 Slinko, Arkadii M.
1 Cahan, Dodge
1 Dixon, Clare
1 Keehan, Dominic
1 Pinchinat, Sophie
1 Pritchard, Geoffrey
all top 5

Serials

1 Theoretical Computer Science
1 Social Choice and Welfare
1 Information and Computation
1 Journal of Logic and Computation
1 Journal of Applied Non-Classical Logics
1 Annals of Mathematics and Artificial Intelligence
1 Review of Economic Design
1 Journal of Applied Logic

Fields

16 Mathematical logic and foundations (03-XX)
11 Computer science (68-XX)
3 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

14 Publications have been cited 46 times in 32 Documents Cited by ▼ Year ▼
Approximability of Dodgson’s rule. Zbl 1163.91344
Mccabe-Dansted, John C.; Pritchard, Geoffrey; Slinko, Arkadii
12
2008
A temporal logic of robustness. Zbl 1148.03312
French, Tim; Mc Cabe-Dansted, John C.; Reynolds, Mark
7
2007
A rooted tableau for \(\mathrm{BCTL}^*\). Zbl 1347.03035
McCabe-Dansted, John Christopher
7
2011
A tableau for RoBCTL*. Zbl 1178.03031
McCabe-Dansted, John C.
3
2008
A parallel linear temporal logic tableau. Zbl 1483.68133
McCabe-Dansted, John C.; Reynolds, Mark
3
2017
Synthesis for temporal logic over the reals. Zbl 1291.03029
French, Tim; McCabe-Dansted, John; Reynolds, Mark
3
2012
To be fair, use bundles. Zbl 1420.03034
McCabe-Dansted, John; Reynolds, Mark
2
2017
A complete axiomatization of a temporal logic with obligation and robustness. Zbl 1354.03020
French, Tim; Mccabe-Dansted, John C.; Reynolds, Mark
2
2016
Rewrite rules for \(\mathrm{CTL}^\ast\). Zbl 1436.03124
McCabe-Dansted, John C.; Reynolds, Mark
2
2017
Indiscrete models: model building and model checking over linear time. Zbl 1303.68084
French, Tim; Mccabe-Dansted, John; Reynolds, Mark
1
2013
Verifying temporal properties in real models. Zbl 1406.68052
French, Tim; McCabe-Dansted, John; Reynolds, Mark
1
2013
A tableau for bundled strategies. Zbl 1471.03039
McCabe-Dansted, John; Reynolds, Mark
1
2015
Expressiveness and succinctness of a logic of robustness. Zbl 1400.68137
McCabe-Dansted, John C.; French, Tim; Pinchinat, Sophie; Reynolds, Mark
1
2015
Synthesis for continuous time. Zbl 1328.68126
French, Tim; McCabe-Dansted, John; Reynolds, Mark
1
2015
A parallel linear temporal logic tableau. Zbl 1483.68133
McCabe-Dansted, John C.; Reynolds, Mark
3
2017
To be fair, use bundles. Zbl 1420.03034
McCabe-Dansted, John; Reynolds, Mark
2
2017
Rewrite rules for \(\mathrm{CTL}^\ast\). Zbl 1436.03124
McCabe-Dansted, John C.; Reynolds, Mark
2
2017
A complete axiomatization of a temporal logic with obligation and robustness. Zbl 1354.03020
French, Tim; Mccabe-Dansted, John C.; Reynolds, Mark
2
2016
A tableau for bundled strategies. Zbl 1471.03039
McCabe-Dansted, John; Reynolds, Mark
1
2015
Expressiveness and succinctness of a logic of robustness. Zbl 1400.68137
McCabe-Dansted, John C.; French, Tim; Pinchinat, Sophie; Reynolds, Mark
1
2015
Synthesis for continuous time. Zbl 1328.68126
French, Tim; McCabe-Dansted, John; Reynolds, Mark
1
2015
Indiscrete models: model building and model checking over linear time. Zbl 1303.68084
French, Tim; Mccabe-Dansted, John; Reynolds, Mark
1
2013
Verifying temporal properties in real models. Zbl 1406.68052
French, Tim; McCabe-Dansted, John; Reynolds, Mark
1
2013
Synthesis for temporal logic over the reals. Zbl 1291.03029
French, Tim; McCabe-Dansted, John; Reynolds, Mark
3
2012
A rooted tableau for \(\mathrm{BCTL}^*\). Zbl 1347.03035
McCabe-Dansted, John Christopher
7
2011
Approximability of Dodgson’s rule. Zbl 1163.91344
Mccabe-Dansted, John C.; Pritchard, Geoffrey; Slinko, Arkadii
12
2008
A tableau for RoBCTL*. Zbl 1178.03031
McCabe-Dansted, John C.
3
2008
A temporal logic of robustness. Zbl 1148.03312
French, Tim; Mc Cabe-Dansted, John C.; Reynolds, Mark
7
2007
all cited Publications top 5 cited Publications
all top 5

Cited by 56 Authors

10 Reynolds, Mark Alexander
8 McCabe-Dansted, John Christopher
5 Rothe, Jörg-Matthias
4 Montanari, Angelo
3 Erdélyi, Gábor
3 French, Tim
3 Geatti, Luca
3 Gigante, Nicola
3 Hemaspaandra, Lane A.
2 Aguirre, Nazareno M.
2 Betzler, Nadja
2 Caragiannis, Ioannis
2 Castro, Pablo F.
2 Dixon, Clare
2 Guo, Jiong
2 Hemaspaandra, Edith
2 Kaklamanis, Christos
2 Karanikolas, Nikos
2 Niedermeier, Rolf
2 Procaccia, Ariel D.
1 Acosta, Araceli
1 Baumeister, Dorothea
1 Bolotov, Alexander
1 Bouyer, Patricia
1 Byrka, Jarosław
1 Covey, Jason A.
1 Demasi, Ramiro
1 Feldman, Michal
1 Hermo, Montserrat
1 Hirsch, Robin
1 Ho, Hsi-Ming
1 Homan, Christopher M.
1 Hudry, Olivier
1 Hustadt, Ullrich
1 Kilmurray, Cecilia
1 Lucio, Paqui
1 Maibaum, Thomas Stephen Edward
1 Markey, Nicolas
1 Murano, Aniello
1 Neider, Daniel
1 Nowak, Markus
1 Ouaknine, Joel O.
1 Pinchinat, Sophie
1 Reynier, Pierre-Alain
1 Rosenschein, Jeffrey S.
1 Sala, Pietro
1 Schend, Lena
1 Skowron, Piotr
1 Sornat, Krzysztof
1 Spakowski, Holger
1 Venturato, Gabriele
1 Worrell, James Benjamin
1 Xia, Lirong
1 Zhang, Lan
1 Zheng, Weiqiang
1 Zimmermann, Martin
all top 5

Cited in 14 Serials

3 Theoretical Computer Science
3 Information and Computation
2 Mathematical Logic Quarterly (MLQ)
2 Annals of Mathematics and Artificial Intelligence
1 Artificial Intelligence
1 Information Processing Letters
1 The Journal of Symbolic Logic
1 Journal of Automated Reasoning
1 Formal Aspects of Computing
1 Journal of Applied Non-Classical Logics
1 ACM Transactions on Computational Logic
1 Journal of Applied Logic
1 Logical Methods in Computer Science
1 ACM Transactions on Algorithms

Cited in 5 Fields

26 Computer science (68-XX)
16 Mathematical logic and foundations (03-XX)
10 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Relativity and gravitational theory (83-XX)
1 Operations research, mathematical programming (90-XX)

Citations by Year