BC

Benjamin C. Pierce

California University of Pennsylvania 0000-0001-7839-1636

362

Publications

15,582

Citations

61

h-index

165

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (248)
Preprint (38)
Book Chapter (35)
Other (10)
Book (7)

Filter by Open Access Type

Open Access (160)
Closed Access (198)

Filter by Authors

Benjamin C. Pierce (358)
Cătălin Hriţcu (29)
J. Nathan Foster (20)
Alan Schmitt (18)
Stephanie Weirich (18)

Filter by Topics

Logic, programming, and type systems (137)
Formal Methods in Verification (60)
Advanced Database Systems and Queries (55)
Security and Verification in Computing (52)
Logic, Reasoning, and Knowledge (43)