Janett Mohnke

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2002
j4		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
j3		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
j2		Janett Mohnke, Paul Molitor, Sharad Malik: Establishing latch correspondence for sequential circuits using distinguishing signatures. Integration 27(1): 33-46 (1999)
	1995
c2		Janett Mohnke, Paul Molitor, Sharad Malik: Limits of using signatures for permutation independent Boolean comparison. ASP-DAC 1995
	1993
j1		Janett Mohnke, Sharad Malik: Permutation and phase independent Boolean comparison. Integration 16(2): 109-129 (1993)
c1		Dirk Möller, Janett Mohnke, Michael Weber: Detection of symmetry of Boolean functions represented by ROBDDs. ICCAD 1993: 680-684

Coauthor Index

Last update Thu May 23 13:08:47 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page