Detection of symmetry of Boolean functions represented by ROBDDs. - Dirk Möller; Janett Mohnke; Michael Weber (ICCAD, 1993)

Permutation and phase independent Boolean comparison. - Janett Mohnke; Sharad Malik (Integr., 1993)

Establishing latch correspondence for sequential circuits using distinguishing signatures. - Janett Mohnke; Paul Molitor; Sharad Malik (Integr., 1999)

A signature-based approach to formal logic verification. - Janett Mohnke (1999)

Application of BDDs in Boolean matching techniques for formal logic combinational verification. - Janett Mohnke; Paul Molitor; Sharad Malik (Int. J. Softw. Tools Technol. Transf., 2001)

Limits of Using Signatures for Permutation Independent Boolean Comparison. - Janett Mohnke; Paul Molitor; Sharad Malik (Formal Methods Syst. Des., 2002)

Tactile Interaction with a Humanoid Robot: Effects on Physiology and Subjective Impressions. - Yuefang Zhou; Tristan Kornher; Janett Mohnke; Martin H. Fischer (Int. J. Soc. Robotics, 2021)

Can a Humanoid Robot Motivate Children to Read More? Yes, It Can! - Janine Breßler; Janett Mohnke (HCI (31), 2023)