Niels Thole
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2015–2016
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ETS | A hybrid algorithm to conservatively check the robustness of circuits. | Niels Thole, Lorena Anghel, Grschwin Fey |
| 2016 | FDL | Equivalence checking on ESL utilizing a priori knowledge. | Niels Thole, Heinz Riener, Grschwin Fey |
| 2015 | DDECS | Equivalence Checking on System Level Using a Priori Knowledge. | Niels Thole, Heinz Riener, Grschwin Fey |