dblp.uni-trier.dewww.uni-trier.de

Janett Mohnke

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
4EEJanett Mohnke, Paul Molitor, Sharad Malik: Application of BDDs in Boolean matching techniques for formal logic combinational verification. STTT 3(2): 207-216 (2001)
1999
3EEJanett Mohnke, Paul Molitor, Sharad Malik: Establishing latch correspondence for sequential circuits using distinguishing signatures. Integration 27(1): 33-46 (1999)
1995
2EEJanett Mohnke, Paul Molitor, Sharad Malik: Limits of using signatures for permutation independent Boolean comparison. ASP-DAC 1995
1993
1EEDirk Möller, Janett Mohnke, Michael Weber: Detection of symmetry of Boolean functions represented by ROBDDs. ICCAD 1993: 680-684

Coauthor Index

1Sharad Malik [2] [3] [4] [5]
2Paul Molitor [2] [3] [4] [5]
3Dirk Möller [1]
4Michael Weber [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)