AB
Andrew Butterfield
0000-0002-2337-2101127
Publications
1,899
Citations
15
h-index
32
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (74)
- Book Chapter (26)
- Preprint (18)
- Book (5)
- Letter (2)
Filter by Open Access Type
- Open Access (62)
- Closed Access (65)
Filter by Authors
- Andrew Butterfield (127)
- Sumati Gupta (18)
- Alexis Weston (17)
- Timothy J. Parnell (16)
- Joshua D. Schiffman (16)
Filter by Topics
- Formal Methods in Verification (30)
- Logic, programming, and type systems (28)
- Parallel Computing and Optimization Techniques (17)
- Peptidase Inhibition and Analysis (16)
- Distributed systems and fault tolerance (15)