sgeir Th. Eirksson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1995–2004
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | HOTI | Network processors: prospects for practical deployment [Panel 2]. | James P. G. Sterbenz, J. Bryan Lyles, sgeir Th. Eirksson, Steve Klinger, Christoph L. Schuba, Jonathan S. Turner, Raj Yavatkar |
| 1998 | FMCAD | The Formal Design of 1M-gate ASICs. | sgeir Th. Eirksson |
| 1996 | DAC | Integrating Formal Verification Methods with A Conventional Project Design Flow. | sgeir Th. Eirksson |
| 1995 | CAV | Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study. | sgeir Th. Eirksson, Kenneth L. McMillan |