BA
87
Publications
1,744
Citations
16
h-index
28
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (68)
- Book Chapter (9)
- Preprint (3)
- Report (3)
- Book (2)
Filter by Open Access Type
- Open Access (12)
- Closed Access (75)
Filter by Authors
- Beverly A. Sanders (87)
- Victor F. Lotrich (15)
- Berna L. Massingill (13)
- Erik Deumens (11)
- Timothy G. Mattson (11)
Filter by Topics
- Parallel Computing and Optimization Techniques (33)
- Distributed and Parallel Computing Systems (20)
- Formal Methods in Verification (15)
- Logic, programming, and type systems (12)
- Distributed systems and fault tolerance (11)