Segui
David Richerby
David Richerby
Email verificata su essex.ac.uk
Titolo
Citata da
Citata da
Anno
An effective dichotomy for the counting constraint satisfaction problem
M Dyer, D Richerby
SIAM Journal on Computing 42 (3), 1245-1274, 2013
902013
Approximating fixation probabilities in the generalized moran process
J Daz, LA Goldberg, GB Mertzios, D Richerby, M Serna, PG Spirakis
Algorithmica 69, 78-91, 2014
632014
On the complexity of# CSP
ME Dyer, DM Richerby
Proceedings of the forty-second ACM symposium on Theory of computing, 725-734, 2010
532010
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
502012
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
402009
Choiceless polynomial time, counting and the Cai–Frer–Immerman graphs
A Dawar, D Richerby, B Rossman
Annals of Pure and Applied Logic 152 (1-3), 31-50, 2008
372008
Amplifiers for the Moran process
A Galanis, A Gbel, LA Goldberg, J Lapinskas, D Richerby
Journal of the ACM (JACM) 64 (1), 1-90, 2017
342017
Absorption time of the Moran process
J Daz, LA Goldberg, D Richerby, M Serna
Random Structures & Algorithms 49 (1), 137-159, 2016
312016
On the fixation probability of superstars
J Daz, LA Goldberg, GB Mertzios, D Richerby, M Serna, PG Spirakis
Proceedings of the Royal Society A: Mathematical, Physical and Engineering…, 2013
312013
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 power of counting logics on restricted classes of finite structures
A Dawar, D Richerby
Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual…, 2007
232007
The complexity of approximating bounded-degree Boolean# CSP
M Dyer, LA Goldberg, M Jalsenius, D Richerby
Information and Computation 220, 1-14, 2012
212012
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 Gbel, LA Goldberg, D Richerby
ACM Transactions on Computation Theory (TOCT) 8 (3), 1-29, 2016
192016
The complexity of counting homomorphisms to cactus graphs modulo 2
A Gbel, LA Goldberg, D Richerby
ACM Transactions on Computation Theory (TOCT) 6 (4), 1-29, 2014
192014
Graph searching in a crime wave
D Richerby, DM Thilikos
SIAM Journal on Discrete Mathematics 23 (1), 349-368, 2009
172009
The complexity of approximating conservative counting CSPs
X Chen, M Dyer, LA Goldberg, M Jerrum, P Lu, C McQuillan, D Richerby
30th International Symposium on Theoretical Aspects of Computer Science…, 2013
102013
Searching for a visible, lazy fugitive
D Richerby, DM Thilikos
SIAM Journal on Discrete Mathematics 25 (2), 497-513, 2011
102011
Fixed-point logics with nondeterministic choice
A Dawar, D Richerby
Journal of Logic and Computation 13 (4), 503-530, 2003
102003
A fixed-point logic with symmetric choice
A Dawar, D Richerby
CSL, 169-182, 2003
102003
Il sistema al momento non pu eseguire l'operazione. Riprova pi tardi.
Articoli 1–20