Programmverifikation unter Verwendung der formalisierten Darstellung der algorithmischen Idee. - Horst Friedrich (1984)

Das Verbundprojekt APPLY: Ein modernes und bedarfgerechtes LISP. - Harry Bretthauer; Thomas Christaller; Horst Friedrich; Wolfgang Goerigk; Winfried Heicking; Ulrich Hoffmann 002; Dieter Hovekamp; Heinz Knutzen; Jürgen Kopp; E. Ulrich Kriegel; Ingo Mohr; Rainer Rosenmüller; et al. (Künstliche Intell., 1992)

A Practical Approach to Type Inference for EuLisp. - Andreas Kind; Horst Friedrich (LISP Symb. Comput., 1993)

The FAPU Workbench. - Horst Friedrich; Reiner Witschurke (CSMR, 1997)

Der Weg zum Projekterfolg - Management objektorientierter Software-Entwicklungsprojekte. - Horst Friedrich (HMD Prax. Wirtsch., 1999)

Marktübersicht Wissensportale. - Jan Gottschick; Horst Friedrich; Andreas Billig (Inform. Spektrum, 2005)

Representing Argumentation Schemes with Constraint Handling Rules (CHR). - Thomas F. Gordon; Horst Friedrich (CMNA@ICAIL, 2017)

Wissenserwerb als Teil der "Produktionsumgebung Wissensmanagement" der ÖV. - Horst Friedrich; Dietmar Glachs; Jan M. Pawlowski; Eric Ras; Peter Schilling; Juliane Schmeling; Petra Steffens; Julia Stoffregen; Sonja Trapp; Philippe Vallogia (WM, 2017)

Representing argumentation schemes with Constraint Handling Rules (CHR). - Thomas F. Gordon; Horst Friedrich; Douglas Walton (Argument Comput., 2018)