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)