Verteilung der Anzahl Hops einer Quelle-Ziel-Übertragung im Multihop-Paketfunknetz. - Klaus Gotthardt (MMB, 1991)

Analyse von Paket-Funknetzen mit Zufalls-Zugriffsprotokollen. - Klaus Gotthardt (Lit, 1992)

Quelle-Ziele-Durchsätze in Multihop-Paketfunknetzen. - Klaus Gotthardt (MMB, 1993)

Stärken und Schwächen formaler Beschreibungstechniken für verteilte Systeme. - Bernd J. Krämer; Norbert Völker; Thomas Koch 001; Klaus Gotthardt (Prax. Inf.verarb. Kommun., 1994)

Verification of Distributed Applications by translating CCS to Binary Decision Diagrams. - Klaus Gotthardt; Reiner Lichtenecker (FBT, 1997)

Automated Verification of Safety Requirements using CCS and Binary Decision Diagrams. - Reiner Lichtenecker; Klaus Gotthardt (SAFECOMP, 1997)

Automated Verification of Communication Protocols Using CCS and BDDs. - Reiner Lichtenecker; Klaus Gotthardt; Janusz Zalewski (IPPS/SPDP Workshops, 1998)

Über den Nutzen interaktiver Lernmedien im Fernstudium. - Klaus Gotthardt; Helga Huppertz; Bernd J. Krämer; Johannes Magenheim; Jonas Neugebauer; Christoph Wöldecke (DeLFI, 2014)