| 2002 |
|---|
| 5 | | Janett Mohnke,
Paul Molitor,
Sharad Malik:
Limits of Using Signatures for Permutation Independent Boolean Comparison.
Formal Methods in System Design 21(2): 167-191 (2002) |
| 2001 |
|---|
| 4 | EE | Janett Mohnke,
Paul Molitor,
Sharad Malik:
Application of BDDs in Boolean matching techniques for formal logic combinational verification.
STTT 3(2): 207-216 (2001) |
| 1999 |
|---|
| 3 | EE | Janett Mohnke,
Paul Molitor,
Sharad Malik:
Establishing latch correspondence for sequential circuits using distinguishing signatures.
Integration 27(1): 33-46 (1999) |
| 1995 |
|---|
| 2 | EE | Janett Mohnke,
Paul Molitor,
Sharad Malik:
Limits of using signatures for permutation independent Boolean comparison.
ASP-DAC 1995 |
| 1993 |
|---|
| 1 | EE | Dirk Möller,
Janett Mohnke,
Michael Weber:
Detection of symmetry of Boolean functions represented by ROBDDs.
ICCAD 1993: 680-684 |
