Modular Workflow Engine for Distributed Services using Lightweight Java Clients - Ralf-Michael Vetter; Werner Lennartz; Jörg-Volker Peetz (CoRR, 2009)

CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances. - Anastasia-Maria Leventi-Peetz; Oliver Zendel 002; Werner Lennartz; Kai Weber 003 (POS@SAT, 2018)

Scope and Sense of Explainability for AI-Systems. - Anastasia-Maria Leventi-Peetz; T. Östreich; Werner Lennartz; Kai Weber 003 (IntelliSys (1), 2021)