Per Bjesse

	2008
15		Per Bjesse: A Practical Approach to Word Level Model Checking of Industrial Netlists. CAV 2008: 446-458
14		Per Bjesse: Word-Level Sequential Memory Abstraction for Model Checking. FMCAD 2008: 1-9
	2007
13		In-Ho Moon, Per Bjesse, Carl Pixley: A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states. DATE 2007: 1170-1175
	2005
12		Per Bjesse, James H. Kukula: Automatic generalized phase abstraction for formal verification. ICCAD 2005: 1076-1082
	2004
11		Per Bjesse, James H. Kukula: Using Counter Example Guided Abstraction Refinement to Find Complex Bugs. DATE 2004: 156-161
10		Per Bjesse, Arne Borälv: DAG-aware circuit compression for formal verification. ICCAD 2004: 42-49
	2003
9		Per Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu: Guiding SAT Diagnosis with Tree Decompositions. SAT 2003: 315-329
8		Gunnar Andersson, Per Bjesse, Byron Cook, Ziyad Hanna: Design automation with mixtures of proof strategies for propositional logic. IEEE Trans. on CAD of Integrated Circuits and Systems 22(8): 1042-1048 (2003)
	2002
7		Gunnar Andersson, Per Bjesse, Byron Cook, Ziyad Hanna: A proof engine approach to solving combinational design automation problems. DAC 2002: 725-730
6		Per Bjesse: Industrial Model Checking Based on Satisfiability Solvers. SPIN 2002: 240
	2001
5		Per Bjesse, Tim Leonard, Abdel Mokkedem: Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers. CAV 2001: 454-464
	2000
4		Per Bjesse, Koen Claessen: SAT-Based Verification without State Space Traversal. FMCAD 2000: 372-389
3		Parosh Aziz Abdulla, Per Bjesse, Niklas Eén: Symbolic Reachability Analysis Based on SAT-Solvers. TACAS 2000: 411-425
	1999
2		Per Bjesse: Automatic Verification of Combinatorial and Pipelined FFT. CAV 1999: 380-393
	1998
1		Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh: Lava: Hardware Design in Haskell. ICFP 1998: 174-184

Coauthor Index

1	Parosh Aziz Abdulla	[3]
2	Gunnar Andersson	[7] [8]
3	Arne Borälv	[10]
4	Koen Claessen	[1] [4]
5	Byron Cook	[7] [8]
6	Robert F. Damiano	[9]
7	Niklas Eén	[3]
8	Ziyad Hanna	[7] [8]
9	James H. Kukula	[9] [11] [12]
10	Tim Leonard	[5]
11	Abdelillah Mokkedem (Abdel Mokkedem)	[5]
12	In-Ho Moon	[13]
13	Carl Pixley	[13]
14	Mary Sheeran	[1]
15	Satnam Singh	[1]
16	Ted Stanion	[9]
17	Yunshan Zhu	[9]

Colors in the list of coauthors