Carl-Johan H. Seger
发表
Mark R. Greenstreet,
Trevor Wing Sang Lee,
Carl-Johan H. Seger,
1995,
IEEE Des. Test Comput..
Randal E. Bryant,
Carl-Johan H. Seger,
1994,
Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94).
Carl-Johan H. Seger,
Mark Aagaard,
Robert B. Jones,
1998,
Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
Carl-Johan H. Seger,
Jeffrey J. Joyce,
1994
.
Jeffrey J. Joyce,
Zheng Zhu,
Carl-Johan H. Seger,
1993,
HUG.
Randal E. Bryant,
Carl-Johan H. Seger,
1990,
CAV.
Carl-Johan H. Seger,
Jin Yang,
Jin Yang,
2002,
FMCAD.
Carl-Johan H. Seger,
2000,
ICFP 2000.
Jeffrey J. Joyce,
Carl-Johan H. Seger,
C. Seger,
1991,
CAV.
Carl-Johan H. Seger,
Thomas F. Melham,
Magnus Björk,
2007,
Formal Methods in Computer Aided Design (FMCAD'07).
Carl-Johan H. Seger,
Scott Hazelhurst,
1994,
CAV.
Jeffrey J. Joyce,
Carl-Johan H. Seger,
1993
.
Supratik Chakraborty,
Carl-Johan H. Seger,
Zurab Khasidashvili,
2017,
Formal Methods Syst. Des..
Carl-Johan H. Seger,
1998,
FMCAD.
Carl-Johan H. Seger,
Mark Aagaard,
1995,
ICCAD.
Carl-Johan H. Seger,
Janusz A. Brzozowski,
1986,
ICALP.
Carl-Johan H. Seger,
Janusz A. Brzozowski,
1994,
RAIRO Theor. Informatics Appl..
Carl-Johan H. Seger,
2000,
ICFP '00.
Carl-Johan H. Seger,
Janusz A. Brzozowski,
1995
.
Carl-Johan H. Seger,
Janusz A. Brzozowski,
1995
.
Randal E. Bryant,
Carl-Johan H. Seger,
R. Bryant,
1990,
CAV.
Carl-Johan H. Seger,
Janusz A. Brzozowski,
1995
.
Carl-Johan H. Seger,
Jin Yang,
Jin Yang,
2004,
CAV.
Jeffrey J. Joyce,
Carl-Johan H. Seger,
Sreeranga P. Rajan,
1993,
HUG.
Carl-Johan H. Seger,
David J. Taylor,
1986,
IEEE Transactions on Computers.
Randal E. Bryant,
Carl-Johan H. Seger,
Derek L. Beatty,
1991,
28th ACM/IEEE Design Automation Conference.
Carl-Johan H. Seger,
Mark Aagaard,
Robert B. Jones,
2005,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Carl-Johan H. Seger,
Mark Aagaard,
Robert B. Jones,
1999,
TPHOLs.
Carl-Johan H. Seger,
2000,
CADE.
Mark R. Greenstreet,
Trevor Wing Sang Lee,
Carl-Johan H. Seger,
1994,
Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Carl-Johan H. Seger,
C. Seger,
1989,
1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Carl-Johan H. Seger,
Mark Aagaard,
Robert B. Jones,
1999,
DAC '99.
Carl-Johan H. Seger,
Janusz A. Brzozowski,
1995
.
Carl-Johan H. Seger,
Scott Hazelhurst,
1999,
Log. J. IGPL.
Carl-Johan H. Seger,
Janusz A. Brzozowski,
1995
.
Carl-Johan H. Seger,
Scott Hazelhurst,
S. Hazelhurst,
1997,
Formal Hardware Verification.
Randal E. Bryant,
Carl-Johan H. Seger,
Derek L. Beatty,
1990
.
Carl-Johan H. Seger,
Mark Aagaard,
Robert B. Jones,
2001,
IEEE Des. Test Comput..
Carl-Johan H. Seger,
Mark Aagaard,
C. Seger,
1995,
Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
Carl-Johan H. Seger,
Jin Yang,
Jin Yang,
2003,
IEEE Trans. Very Large Scale Integr. Syst..
Randal E. Bryant,
Carl-Johan H. Seger,
R. Bryant,
1995,
Formal Methods Syst. Des..
Carl-Johan H. Seger,
Janusz A. Brzozowski,
1995
.
Jeffrey J. Joyce,
Carl-Johan H. Seger,
C. Seger,
1993,
HUG.
David L. Dill,
Carl-Johan H. Seger,
Robert B. Jones,
1996,
FMCAD.
Carl-Johan H. Seger,
Mark Aagaard,
Roope Kaivola,
2000,
Proceedings 37th Design Automation Conference.
Carl-Johan H. Seger,
Mark Aagaard,
Robert B. Jones,
2000,
FMCAD.
Carl-Johan H. Seger,
Janusz A. Brzozowski,
1987,
IEEE Transactions on Computers.
Carl-Johan H. Seger,
Janusz A. Brzozowski,
1988,
Theor. Comput. Sci..
Carl-Johan H. Seger,
Janusz A. Brzozowski,
1995
.
Carl-Johan H. Seger,
Jin Yang,
Jin Yang,
2001,
Proceedings 2001 IEEE International Conference on Computer Design: VLSI in Computers and Processors. ICCD 2001.
Supratik Chakraborty,
Carl-Johan H. Seger,
Zurab Khasidashvili,
2015,
CAV.
Carl-Johan H. Seger,
Janusz A. Brzozowski,
Scott Hauck,
1995
.
Carl-Johan H. Seger,
Janusz A. Brzozowski,
1989,
JACM.
Zheng Zhu,
Carl-Johan H. Seger,
1994,
CAV.
Carl-Johan H. Seger,
Scott Hazelhurst,
S. Hazelhurst,
1995,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Carl-Johan H. Seger,
Mark Aagaard,
Robert B. Jones,
1999,
DAC 1999.
Carl-Johan H. Seger,
1998,
PROCOMET.
Jeffrey J. Joyce,
Carl-Johan H. Seger,
C. Seger,
1993,
30th ACM/IEEE Design Automation Conference.
Carl-Johan H. Seger,
Daher Kaiss,
Ziyad Hanna,
2001,
CAV.
Carl-Johan H. Seger,
Janusz A. Brzozowski,
1995,
Monographs in Computer Science.
Tom Melham,
Carl-Johan H. Seger,
Sara Adams,
2007
.
Carl-Johan H. Seger,
2021,
FM.