Klaus Gotthardt

Publication Activity (10 Years)

Years Active: 1991-2014
Publications (10 Years): 0

Top Topics

Vector Quantization

Joint Source And Channel Coding

Top Venues

University of Hagen, Germany (PHD)

Education History

University of Hagen, Germany

PHD

Publications

Klaus Gotthardt, Helga Huppertz, Bernd J. Krämer, Johannes Magenheim, Jonas Neugebauer, Christoph Wöldecke
Über den Nutzen interaktiver Lernmedien im Fernstudium. DeLFI (2014)
Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalewski
Automated Verification of Communication Protocols Using CCS and BDDs. IPPS/SPDP Workshops (1998)
Klaus Gotthardt, Reiner Lichtenecker
Verification of Distributed Applications by translating CCS to Binary Decision Diagrams. FBT (1997)
Reiner Lichtenecker, Klaus Gotthardt
Automated Verification of Safety Requirements using CCS and Binary Decision Diagrams. SAFECOMP (1997)
Bernd J. Krämer, Norbert Völker, Thomas Koch, Klaus Gotthardt
Stärken und Schwächen formaler Beschreibungstechniken für verteilte Systeme. Prax. Inf.verarb. Kommun. 17 (3) (1994)
Klaus Gotthardt
Quelle-Ziele-Durchsätze in Multihop-Paketfunknetzen. MMB (1993)
Klaus Gotthardt
Verteilung der Anzahl Hops einer Quelle-Ziel-Übertragung im Multihop-Paketfunknetz. MMB (1991)