Scholar
David Walker
Google Scholar ID: UEI2g60AAAAJ
Princeton University
Programming Languages
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
20,169
H-index
62
i10-index
117
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
3 items
Network Analysis with Parametric NetKAT
2026
Cited
0
Kleene Algebra with Transitive Commutativity Conditions
2026
Cited
0
CB-VER: A Stable Foundation for Modular Control Plane Verification
2026
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
