CS

Cole Schlesinger

Galois (United States)0009-0004-9350-3041

36

Publications

4,811

Citations

18

h-index

23

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (31)
Preprint (4)
Book Chapter (1)

Filter by Open Access Type

Open Access (10)
Closed Access (26)

Filter by Authors

Cole Schlesinger (36)
David Walker (12)
Nate Foster (10)
Jean-Baptiste Jeannin (7)
Nikhil Swamy (7)

Filter by Topics

Logic, programming, and type systems (13)
Software-Defined Networks and 5G (13)
Security and Verification in Computing (10)
Parallel Computing and Optimization Techniques (7)
Software Engineering Research (7)