Using Formal Specification Techniques for Advanced Counseling Systems in Health Care. - Dominikus Herzberg; Nicola Marsden; Corinna Leonhardt; Peter Kübler; Hartmut Jung; Sabine Thomanek; Annette Becker (USAB, 2007)

Specifying computer-based counseling systems in health care: A new approach to user-interface and interaction design. - Dominikus Herzberg; Nicola Marsden; Peter Kübler; Corinna Leonhardt; Sabine Thomanek; Hartmut Jung; Annette Becker (J. Biomed. Informatics, 2009)

Survey of Biofeedback Interfaces for Pelvic Floor Muscle Training. - Nicola Marsden; Annette Becker (MuC, 2016)

Narrow Linewidth InAs/InP Quantum Dot DFB Laser. - Tali Septon; Sutapa Gosh; Annette Becker; Vitalii Sichkovskyi; Florian Schnabel 003; Anna Rippien; Johann Peter Reithmaier; Gadi Eisenstein (OFC, 2019)

1.5-µm Indium Phosphide-based Quantum Dot Lasers and Optical Amplifiers. - Sven Bauer; Vitalii Sichkovskyi; Ori Eyal; Tali Septon; Annette Becker; Igor Khanonkin; Gadi Eisenstein; Johann Peter Reithmaier (OFC, 2022)