NE
Niklas Eén
30
Publications
5,459
Citations
16
h-index
20
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (23)
- Book Chapter (4)
- Preprint (3)
Filter by Open Access Type
- Open Access (6)
- Closed Access (24)
Filter by Authors
- Niklas Eén (30)
- Alan Mishchenko (14)
- Robert K. Brayton (10)
- Niklas Sörensson (7)
- Leonid Ryzhyk (3)
Filter by Topics
- Formal Methods in Verification (24)
- Logic, programming, and type systems (11)
- Embedded Systems Design Techniques (10)
- VLSI and Analog Circuit Testing (6)
- Constraint Satisfaction and Optimization (5)