James R. Wilcox - Citegraph

Author Info

Publications (2 rows)

Collaborators (13 rows)

Referers (5 rows)

Referees (64 rows)

Title	Citations	PageRank	Year
Synthesizing structured CAD models with equality saturation and inverse transformations	1	0.35	2020
Armada: low-effort verification of high-performance concurrent programs	0	0.34	2020