Towards the verification of optimizing transformations for imperative programs. - Gerd Kock (Microprocessing and Microprogramming, 1990)

Domesticating Imperative Constructs So That They Can Live in a Functional World. - T. C. Nicholas Graham; Gerd Kock (PLILP, 1991)

Domesticating Imperative Constructs for a Functional World. - T. C. Nicholas Graham; Gerd Kock (Struct. Program., 1992)

Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme. - Gerd Kock (Oldenbourg, 1992)

Neural networks. - Gerd Kock (Microprocess. Microprogramming, 1993)

Connectionist model description: A case study. - Gerd Kock; Nikola B. Serbedzija (Microprocess. Microprogramming, 1993)

The SAND Neurochip and Its Embedding in the MiND System. - Thomas Fischer 007; Wolfgang Eppler; Hartmut Gemmeke; Gerd Kock; Thomas Becher (ICANN, 1997)

Flexible Neuro-fuzzy Simulation Based on Abstract Model and Interface Definitions. - Gerd Kock; Thomas Becher (Cybern. Syst., 1998)

A Connectionist Method to Solve Job Shop Problems. - Marko Fabiunke; Gerd Kock (Cybern. Syst., 2000)

Layer Types: a Concept for Modeling Arrays of Communicating Objects. - Gerd Kock (Cybern. Syst., 2006)

Gestaltung interaktiver Displays mit Hilfe von REFLECT. - Gerd Kock; Manuel Schiewe; Nikola B. Serbedzija (MuC (Workshopband), 2009)

Modelling User-Centric Pervasive Adaptive Systems - The REFLECT Ontology. - Gerd Kock; Marko Ribaric; Nikola B. Serbedzija (Intelligent Systems for Knowledge Management, 2009)

SmartSenior - Intelligent Services for Senior Citizens. - Michael C. Balasch; Martin Schultz; Christine Carius-Düssel; Michael John; Joachim Hänsel; Norbert Pieth; Thilo Ernst; Jörn Kiselev; Gerd Kock; Ben Hennig; Klaus F. Wagner; Marten Haesner; et al. (Handbook of Ambient Assisted Living, 2012)

RehaInterAct - Der sensorbasierte Therapieraum der Zukunft. - Anne Grohnert; Anett Bölke; Benny Häusler; Boris Irmscher; Michael John; Andreas Kliem; Gerd Kock; Jens Piesk; Marco Polak (MuC (Workshopband), 2015)