Janett Mohnke

According to our database, Janett Mohnke authored at least 8 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Can a Humanoid Robot Motivate Children to Read More? Yes, It Can!

Janine Breßler, Janett Mohnke

Proceedings of the Learning and Collaboration Technologies, 2023

2021

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

2002

Limits of Using Signatures for Permutation Independent Boolean Comparison.

Janett Mohnke, Paul Molitor, Sharad Malik

Formal Methods Syst. Des., 2002

2001

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

1999

A signature-based approach to formal logic verification.

Janett Mohnke

PhD thesis, 1999

Establishing latch correspondence for sequential circuits using distinguishing signatures.

Janett Mohnke, Paul Molitor, Sharad Malik

Integr., 1999

1993

Permutation and phase independent Boolean comparison.

Janett Mohnke, Sharad Malik

Integr., 1993

Detection of symmetry of Boolean functions represented by ROBDDs.

Dirk Möller, Janett Mohnke, Michael Weber

Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993