VLDB 2026 Research / reviewers in the wild / expert
Colva M. Roney-Dougal
dblp:99/6055
· DBLP profile ↗
7ranked-venue papers
2as first author
1since 2021 · last 2021
0000-0002-0532-3349ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 4 · 1 first-authorSoftware engineering, systems software and programming languages · 3Theory of computation · 3 · 1 first-author · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-author
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Polynomial-time proofs that groups are hyperbolic
Derek F. Holt, Stephen A. Linton, Max Neunhöffer, Richard Parker, Markus Pfeiffer, Colva M. Roney-Dougal |
J. Symb. Comput. | 6 |
| 2011 | Constructive homomorphisms for classical groups
Scott H. Murray, Colva M. Roney-Dougal |
J. Symb. Comput. | 2 |
| 2009 | Snake Lex: An Alternative to Double Lex
Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal |
CP | 3 |
| 2007 | Groupoids and Conditional Symmetry
Ian P. Gent, Thomas W. Kelsey, Stephen A. Linton, J. Pearson, Colva M. Roney-Dougal |
CP | 5 |
| 2005 | Symmetry and Consistency
Ian P. Gent, Thomas W. Kelsey, Steve Linton, Colva M. Roney-Dougal |
CP | 4 |
| 2004 | Tractable Symmetry Breaking Using Restricted Search Trees
Colva M. Roney-Dougal, Ian P. Gent, Thomas W. Kelsey, Steve Linton |
ECAI | 1 |
| 2003 | The affine primitive permutation groups of degree less than 1000
Colva M. Roney-Dougal, William R. Unger |
J. Symb. Comput. | 1 |