Wesley Pegden
Scholar

Wesley Pegden

Google Scholar ID: 0tIcPvMAAAAJ
Carnegie Mellon University
CombinatoricsProbabilityAbelian SandpileDiscrete Mathematics
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
911
 
H-index
15
 
i10-index
22
 
Publications
20
 
Co-authors
24
list available
Contact
No contact links provided.
Publications
2 items
(Auto)formalization is supposed to be easy: Trellis process semantics for spelling out rigorous proofs
2026
Cited
0
Sampling tree-weighted partitions without sampling trees
2025
Cited
0
Resume (English only)
Co-authors
24 total
Alan Frieze
Alan Frieze
Carnegie Mellon University
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Colin Cooper
Colin Cooper
Professor in Computer Science, King's College London
Lionel Levine
Lionel Levine
Professor, Cornell University
Co-author 6
Co-author 6
Jonathan C. Mattingly
Jonathan C. Mattingly
Professor of Mathematics and Statistical Science, Duke University
Gregory Sorkin
Gregory Sorkin
London School of Economics and Political Science