Nicholas Seegmiller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2004–2007
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | ASPDAC | Symbolic Model Checking of Analog/Mixed-Signal Circuits. | David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda |
| 2006 | ICCAD | Verification of analog/mixed-signal circuits using labeled hybrid petri nets. | Scott Little, Nicholas Seegmiller, David Walter, Chris J. Myers, Tomohiro Yoneda |
| 2004 | ATVA | Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets. | Scott Little, David Walter, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda |