Ein Verfahren zum Entwurf von asynchronen Schaltwerken mit flankenempfindlichen Speichergliedern. - Reinhard Kirchner (J. Inf. Process. Cybern., 1977)

Ein Drei-Pass-PASCAL-Compiler für Z80. - Reinhard Kirchner; Michael Neaga; Hans-Wilm Wippermann (PASCAL, 1979)

Überblick über die vorliegende Implementierung der Pascal-Spracherweiterung. - Reinhard Kirchner (Wissenschaftliches Rechnen und Programmiersprachen, 1982)

Arithmetic for vector processors. - Reinhard Kirchner; Ulrich W. Kulisch (IEEE Symposium on Computer Arithmetic, 1987)

Accurate Arithmetic for Vector Processors. - Reinhard Kirchner; Ulrich W. Kulisch (J. Parallel Distributed Comput., 1988)

Hardware Support for Interval Arithmetic. - Reinhard Kirchner; Ulrich W. Kulisch (Reliab. Comput., 2006)