Följ
David Richerby
David Richerby
Verifierad e-postadress på essex.ac.uk
Titel
Citeras av
Citeras av
År
An effective dichotomy for the counting constraint satisfaction problem
M Dyer, D Richerby
SIAM Journal on Computing 42 (3), 1245-1274, 2013
972013
Approximating fixation probabilities in the generalized moran process
J Díaz, LA Goldberg, GB Mertzios, D Richerby, M Serna, PG Spirakis
Algorithmica 69, 78-91, 2014
682014
On the complexity of# CSP
ME Dyer, DM Richerby
Proceedings of the forty-second ACM symposium on Theory of computing, 725-734, 2010
542010
The complexity of weighted and unweighted# CSP
A Bulatov, M Dyer, LA Goldberg, M Jalsenius, M Jerrum, D Richerby
Journal of Computer and System Sciences 78 (2), 681-688, 2012
512012
Amplifiers for the Moran process
A Galanis, A Göbel, LA Goldberg, J Lapinskas, D Richerby
Journal of the ACM (JACM) 64 (1), 1-90, 2017
422017
The complexity of weighted Boolean# CSP with mixed signs
A Bulatov, M Dyer, LA Goldberg, M Jalsenius, D Richerby
Theoretical Computer Science 410 (38-40), 3949-3961, 2009
412009
Choiceless polynomial time, counting and the Cai–Fürer–Immerman graphs
A Dawar, D Richerby, B Rossman
Annals of Pure and Applied Logic 152 (1-3), 31-50, 2008
412008
Absorption time of the Moran process
J Díaz, LA Goldberg, D Richerby, M Serna
Random Structures & Algorithms 49 (1), 137-159, 2016
362016
On the fixation probability of superstars
J Díaz, LA Goldberg, GB Mertzios, D Richerby, M Serna, PG Spirakis
Proceedings of the Royal Society A: Mathematical, Physical and Engineering …, 2013
322013
The power of counting logics on restricted classes of finite structures
A Dawar, D Richerby
International Workshop on Computer Science Logic, 84-98, 2007
312007
The complexity of approximating conservative counting CSPs
X Chen, M Dyer, LA Goldberg, M Jerrum, P Lu, C McQuillan, D Richerby
Journal of Computer and System Sciences 81 (1), 311-329, 2015
292015
The complexity of approximating bounded-degree Boolean# CSP
M Dyer, LA Goldberg, M Jalsenius, D Richerby
Information and Computation 220, 1-14, 2012
242012
The\# CSP Dichotomy is Decidable
M Dyer, D Richerby
Symposium on Theoretical Aspects of Computer Science (STACS2011) 9, 261-272, 2011
202011
Counting homomorphisms to square-free graphs, modulo 2
A Göbel, LA Goldberg, D Richerby
ACM Transactions on Computation Theory (TOCT) 8 (3), 1-29, 2016
182016
The complexity of counting homomorphisms to cactus graphs modulo 2
A Göbel, LA Goldberg, D Richerby
ACM Transactions on Computation Theory (TOCT) 6 (4), 1-29, 2014
182014
Graph searching in a crime wave
D Richerby, DM Thilikos
SIAM Journal on Discrete Mathematics 23 (1), 349-368, 2009
172009
A fixed-point logic with symmetric choice
A Dawar, D Richerby
Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual …, 2003
132003
Phase transitions of the Moran process and algorithmic consequences
L Ann Goldberg, J Lapinskas, D Richerby
Random Structures & Algorithms 56 (3), 597-647, 2020
122020
Fixed-point logics with nondeterministic choice
A Dawar, D Richerby
Journal of Logic and Computation 13 (4), 503-530, 2003
122003
Incremental and parallel computation of structural graph summaries for evolving graphs
T Blume, D Richerby, A Scherp
Proceedings of the 29th ACM International Conference on Information …, 2020
102020
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20