Statistics
Publications
5
Citations
131
H-Index
5
Active since
2006
Affiliations
Nicholas Seegmiller is an author at University of Utah specializing in analog electronics, electrical engineering, and formal methods.
Publications per year
2006–2008
5
5
Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets
Scott Little, Nicholas Seegmiller, David Walter et al. · Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design · 2006 · 41 citations
Engineering, Computer Engineering, Electrical Engineering +17
Verification of analog/mixed-signal circuits using labeled hybrid petri nets
Scott Little, Nicholas Seegmiller, David Walter et al. · Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design · 2006 · 26 citations
Engineering, Computer Engineering, Electrical Engineering +17
Symbolic Model Checking of Analog/Mixed-Signal Circuits
David Walter, Scott Little, Nicholas Seegmiller et al. · 2007 · 10 citations
Engineering, Computer Engineering, Electrical Engineering +17
1–5 of 5