Die Theorie der Softwarespezifikation, angewandt auf Probleme der Softwarewartung. - Christian Horn (1986)

Deduktive Programmierung. - Christian Horn (1988)

A portable high-speed PASCAL to C Translator. - Klaus Bothe; B. Hohberg; Christian Horn; O. Wikarski (ACM SIGPLAN Notices, 1989)

Übersetzung zwischen höheren Programmiersprachen: eine Lösung des UNCOL-Problems? - Klaus Bothe; Christian Horn (Angew. Inform., 1989)

The Oyster-Clam System. - Alan Bundy; Frank van Harmelen; Christian Horn; Alan Smaill (CADE, 1990)

Oyster-2: Bringing Type Theory into Practice. - Christian Horn (IFIP Congress (1), 1992)

Nominal Associative Anaphors - A Text-Based Analysis at the Semantics-Pragmatics Interface. - Nicolas Kimm; Christian Horn (DAARC, 2011)

Guest Editors' Preface. - Christian Horn; Sebastian Löbner; Markus Werning (J. Semant., 2012)

Enhanced infrastructure security through inter-level anomaly detection. - Christian Horn; Jörg Krüger (IPCCC, 2013)

PRoCeeD: Process State Prediction for CRITIS Using Process Inherent Causal Data and Discrete Event Models. - Christian Horn; Jörg Krüger (CRITIS, 2014)

Control of robots and machine tools with an extended factory cloud. - Axel Vick; Christian Horn; Martin Rudorfer; Jörg Krüger (WFCS, 2015)

Feasibility of connecting machinery and robots to industrial control services in the cloud. - Christian Horn; Jörg Krüger (ETFA, 2016)

A privacy-aware distributed software architecture for automation services in compliance with GDPR. - Tom Kittmann; Jens Lambrecht; Christian Horn (ETFA, 2018)