Sotabase

Career

· Bristol University, Department of Geography2025–
· Research Assistant, University of Oxford Department of Computer Science2019–

Publications (45)

An Effective Dichotomy for the Counting Constraint Satisfaction Problem
SIAM journal on computing (Print) · 2010
93
cited
Approximating Fixation Probabilities in the Generalized Moran Process
Algorithmica · 2011
70
cited
On the complexity of #CSP
Symposium on the Theory of Computing · 2010
57
cited
The complexity of weighted and unweighted #CSP
Journal of computer and system sciences (Print) · 2010
50
cited
Amplifiers for the Moran Process
Journal of the ACM · 2015
47
cited
Choiceless Polynomial Time, Counting and the Cai-Fürer-Immerman Graphs: (Extended Abstract)
Workshop on Logic, Language, Information and Computation · 2008
38
cited
Absorption time of the Moran process
Random Struct. Algorithms · 2013
36
cited
On the fixation probability of superstars
Proceedings of the Royal Society A · 2012
34
cited
The Complexity of Weighted Boolean #CSP with Mixed Signs
Theoretical Computer Science · 2008
32
cited
The Power of Counting Logics on Restricted Classes of Finite Structures
Annual Conference for Computer Science Logic · 2007
27
cited
The complexity of approximating conservative counting CSPs
Symposium on Theoretical Aspects of Computer Science · 2012
26
cited
The complexity of approximating bounded-degree Boolean #CSP
Information and Computation · 2009
21
cited
The complexity of counting homomorphisms to cactus graphs modulo 2
TOCT · 2013
20
cited
The #CSP Dichotomy is Decidable
Symposium on Theoretical Aspects of Computer Science · 2011
20
cited
Counting Homomorphisms to Square-Free Graphs, Modulo 2
TOCT · 2015
19
cited
Graph Searching in a Crime Wave
SIAM Journal on Discrete Mathematics · 2007
18
cited
Phase transitions of the Moran process and algorithmic consequences
Random Struct. Algorithms · 2018
15
cited
FLUID: A common model for semantic structural graph summaries based on equivalence relations
Theoretical Computer Science · 2020
14
cited
Fixed-point Logics with Nondeterministic Choice
Journal of Logic and Computation · 2003
12
cited
Incremental and Parallel Computation of Structural Graph Summaries for Evolving Graphs
International Conference on Information and Knowledge Management · 2020
12
cited
Sotabase
David Richerby | Researcher Profile | Sotabase | Sotabase