F. Winkler

CIMS-TR 2005-859 Algorithmic Algebraic Model Checking I: The Case of Biochemical Systems and their Reachability Analysis ?

Carla Piazza, Alberto Policriti, Bud Mishra, 2005 .

Comparison of the TEMPO+ Ear-Level Speech Processor and the CIS PRO+ Body-Worn Processor in Adult MED-EL Cochlear Implant Users

H. Hildmann, M. Zwicknagl, M. Kompis, 2001, ORL.