SA
195
Publications
4,451
Citations
28
h-index
61
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (148)
- Book Chapter (38)
- Preprint (3)
- Book (2)
- Editorial (1)
Filter by Open Access Type
- Open Access (87)
- Closed Access (108)
Filter by Authors
- Stephen A. Edwards (195)
- Olivier Tardieu (19)
- Nalini Vasudevan (18)
- Cristian Soviani (13)
- Martha A. Kim (13)
Filter by Topics
- Embedded Systems Design Techniques (118)
- Parallel Computing and Optimization Techniques (100)
- Real-Time Systems Scheduling (50)
- Formal Methods in Verification (37)
- Interconnection Networks and Systems (25)