A Pragmatic Type Concept for Prolog Supporting Polymorphism, Subtyping, and Meta-Programming. - Christoph Beierle; Reinhold Kloos; Gregor Meyer (Verification of Logic Programs@ICLP, 1999)

Adaptive Traders for Communication in Cooperative Rooms. - Reinhold Kloos; Rolf Reinema; Michael Schroeder (Int. J. Inf. Technol. Decis. Mak., 2002)

Service Discovery with Semantic Characteristics: ACTAS. - Reinhold Kloos; Rainer Unland; Cherif Branki (SERVICES, 2010)

Liberation of smart grids addressed through SOC: An application of the Service Discovery framework ACTAS. - Reinhold Kloos; Rainer Unland; Cherif Branki (INDIN, 2012)

ACTAS : Adaptive Composition and Trading with Agents for Services. - Reinhold Kloos (2013)