Concepedia

Janett Mohnke

JM

Statistics

Publications

8

Citations

258

H-Index

8

Active since

1993

Affiliations

Princeton University(Current)

Martin Luther University Halle-Wittenberg

Cal Poly Humboldt

Humboldt-Universität zu Berlin

Janett Mohnke is an author at Princeton University specializing in computer science, boolean operations, and boolean algebra.

ORCID

Publications per year

1993–2021

8

Publications

8

Detection of symmetry of Boolean functions represented by ROBDDs

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

, , +17

Permutation and phase independent Boolean comparison

Janett Mohnke, Sharad Malik · 2002 · 48 citations

, , +16

Limits of using signatures for permutation independent Boolean comparison

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

, , +9

Permutation and phase independent Boolean comparison

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

, , +16

Limits of Using Signatures for Permutation Independent Boolean Comparison

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

, , +9

1–5 of 8