Modellierung, Spezifikation und korrekte Realisierung von asynchronen Systemen. - Lothar F. Mackert (1983)

R* Optimizer Validation and Performance Evaluation for Local Queries. - Lothar F. Mackert; Guy M. Lohman (SIGMOD Conference, 1986)

R* Optimizer Validation and Performance Evaluation for Distributed Queries. - Lothar F. Mackert; Guy M. Lohman (VLDB, 1986)

Communicating Rule Systems. - Lothar F. Mackert; Iris B. Neumeier-Mackert (PSTV, 1987)

A Generalized Conformance Test Tool for Communication Protocols. - Lothar F. Mackert; Ralf Meyer; Ulrich Scheere; Jürgen M. Schneider; Roelof Jan Velthuys; Jörg Burmeister; Jan de Meer; Ilona Schröer (ICDCS, 1988)

Executable Communicating Rule Systems. - Jürgen M. Schneider; Iris B. Neumeier-Mackert; Lothar F. Mackert; Roelof Jan Velthuys (FORTE, 1989)

Index Scans Using a Finite LRU Buffer: A Validated I/O Model. - Lothar F. Mackert; Guy M. Lohman (ACM Trans. Database Syst., 1989)

High speed and multimedia communication. - Lothar F. Mackert (CASCON, 1991)

Structuring Mechanisms for the Formal Description Technique CRS. - Roelof Jan Velthuys; Lothar F. Mackert; Jürgen M. Schneider; Georg Zörntlein (PSTV, 1991)

An Integrated Environment for Developing Communication Protocols. - Jürgen M. Schneider; Lothar F. Mackert; Georg Zörntlein; Roelof Jan Velthuys; Udo Bär (Comput. Networks ISDN Syst., 1992)

Network Computing. - Lothar F. Mackert (FORTE, 1996)