RD
20
Publications
1,551
Citations
9
h-index
8
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (12)
- Preprint (6)
- Book (1)
- Dataset (1)
Filter by Open Access Type
- Open Access (10)
- Closed Access (10)
Filter by Authors
- Ross Daly (20)
- Pat Hanrahan (13)
- Clark Barrett (10)
- Caleb Donovick (9)
- Jackson Melchert (7)
Filter by Topics
- Embedded Systems Design Techniques (9)
- Parallel Computing and Optimization Techniques (5)
- Formal Methods in Verification (4)
- VLSI and Analog Circuit Testing (4)
- Radiation Effects in Electronics (3)