Concepedia

Janett Mohnke

JM

7

Publications

237

Citations

7

H-Index

1993

Active since

Affiliations

Princeton University(Current)

Martin Luther University Halle-Wittenberg

Humboldt-Universität zu Berlin

Cal Poly Humboldt

Janett Mohnke is an author at Princeton University specializing in engineering, formal verification, and automated reasoning.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceCircuit ComplexityAutomated ReasoningFormal VerificationComputer EngineeringComputational ComplexityDiscrete Mathematics

Publications per year

1993–2002

7

Publications

7

Detection of symmetry of Boolean functions represented by ROBDDs

Dirk Möller, Janett Mohnke, Michael Weber · International Conference on Computer Aided Design · 1993 · 61 citations

Circuit Complexity, Logic Synthesis, Logic Optimization +14

Permutation and phase independent Boolean comparison

Janett Mohnke, Sharad Malik · 2002 · 48 citations

Circuit Complexity, Logic Synthesis, Decision Procedure +15

Limits of using signatures for permutation independent Boolean comparison

Janett Mohnke, Paul Molitor, Sharad Malik · 1995 · 42 citations

Circuit Complexity, Engineering, Boolean Function +7

Permutation and phase independent Boolean comparison

Janett Mohnke, Sharad Malik · Integration · 1993 · 35 citations

Circuit Complexity, Engineering, Boolean Function +6

Limits of Using Signatures for Permutation Independent Boolean Comparison

Janett Mohnke, Paul Molitor, Sharad Malik · Formal Methods in System Design · 2002 · 22 citations

Rows per page

1–5 of 7