BibTeX records: Janett Mohnke

• > Home > Persons > Janett Mohnke

@inproceedings{DBLP:conf/hci/BresslerM23,
  author       = {Janine Bre{\ss}ler and
                  Janett Mohnke},
  editor       = {Panayiotis Zaphiris and
                  Andri Ioannou},
  title        = {Can a Humanoid Robot Motivate Children to Read More? Yes, It Can!},
  booktitle    = {Learning and Collaboration Technologies - 10th International Conference,
                  {LCT} 2023, Held as Part of the 25th {HCI} International Conference,
                  {HCII} 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part
                  {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14041},
  pages        = {271--286},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-34550-0\_19},
  doi          = {10.1007/978-3-031-34550-0\_19},
  timestamp    = {Fri, 21 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/BresslerM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijsr/ZhouKMF21,
  author       = {Yuefang Zhou and
                  Tristan Kornher and
                  Janett Mohnke and
                  Martin H. Fischer},
  title        = {Tactile Interaction with a Humanoid Robot: Effects on Physiology and
                  Subjective Impressions},
  journal      = {Int. J. Soc. Robotics},
  volume       = {13},
  number       = {7},
  pages        = {1657--1677},
  year         = {2021},
  url          = {https://doi.org/10.1007/s12369-021-00749-x},
  doi          = {10.1007/S12369-021-00749-X},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijsr/ZhouKMF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/MohnkeMM02,
  author       = {Janett Mohnke and
                  Paul Molitor and
                  Sharad Malik},
  title        = {Limits of Using Signatures for Permutation Independent Boolean Comparison},
  journal      = {Formal Methods Syst. Des.},
  volume       = {21},
  number       = {2},
  pages        = {167--191},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016091418702},
  doi          = {10.1023/A:1016091418702},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/MohnkeMM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/MohnkeMM01,
  author       = {Janett Mohnke and
                  Paul Molitor and
                  Sharad Malik},
  title        = {Application of BDDs in Boolean matching techniques for formal logic
                  combinational verification},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {3},
  number       = {2},
  pages        = {207--216},
  year         = {2001},
  url          = {https://doi.org/10.1007/s100090100039},
  doi          = {10.1007/S100090100039},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/MohnkeMM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/dnb/Mohnke99,
  author       = {Janett Mohnke},
  title        = {A signature-based approach to formal logic verification},
  school       = {Martin Luther University of Halle-Wittenberg, Germany},
  year         = {1999},
  url          = {http://sundoc.bibliothek.uni-halle.de/diss-online/99/99H050/prom.pdf},
  urn          = {urn:nbn:de:gbv:3-000000270},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Mohnke99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/integration/MohnkeMM99,
  author       = {Janett Mohnke and
                  Paul Molitor and
                  Sharad Malik},
  title        = {Establishing latch correspondence for sequential circuits using distinguishing
                  signatures},
  journal      = {Integr.},
  volume       = {27},
  number       = {1},
  pages        = {33--46},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0167-9260(98)00014-5},
  doi          = {10.1016/S0167-9260(98)00014-5},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/integration/MohnkeMM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aspdac/MohnkeMM95,
  author       = {Janett Mohnke and
                  Paul Molitor and
                  Sharad Malik},
  editor       = {Isao Shirakawa},
  title        = {Limits of using signatures for permutation independent Boolean comparison},
  booktitle    = {Proceedings of the 1995 Conference on Asia Pacific Design Automation,
                  Makuhari, Massa, Chiba, Japan, August 29 - September 1, 1995},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/224818.224955},
  doi          = {10.1145/224818.224955},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aspdac/MohnkeMM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/integration/MohnkeM93,
  author       = {Janett Mohnke and
                  Sharad Malik},
  title        = {Permutation and phase independent Boolean comparison},
  journal      = {Integr.},
  volume       = {16},
  number       = {2},
  pages        = {109--129},
  year         = {1993},
  url          = {https://doi.org/10.1016/0167-9260(93)90041-A},
  doi          = {10.1016/0167-9260(93)90041-A},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/integration/MohnkeM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iccad/MollerMW93,
  author       = {Dirk M{\"{o}}ller and
                  Janett Mohnke and
                  Michael Weber},
  editor       = {Michael R. Lightner and
                  Jochen A. G. Jess},
  title        = {Detection of symmetry of Boolean functions represented by ROBDDs},
  booktitle    = {Proceedings of the 1993 {IEEE/ACM} International Conference on Computer-Aided
                  Design, 1993, Santa Clara, California, USA, November 7-11, 1993},
  pages        = {680--684},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {1993},
  url          = {https://doi.org/10.1109/ICCAD.1993.580161},
  doi          = {10.1109/ICCAD.1993.580161},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/MollerMW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}